repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
check_locks: add raw_local_irq_enable()
2009-12-12
Dan Carpent
e
r
check_locks:
a
dd raw_l
o
c
a
l_irq_enab
l
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
C
arpenter
add check
f
or preced
e
nce err
o
rs l
i
ke if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n C
a
rp
e
n
t
er
fix
s
elect hand
l
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
change
s
to comme
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
a
d
d __smatch
_
not
e
(
"hello w
o
rld")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
patch
u
p
t
he ne
w
check_l
o
c
ki
n
g
.
c repla
c
ement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_wine_lock
i
n
g
.
c ove
r
check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
d
elete t
h
e old c
h
eck_l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix crashi
n
g bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separate out the
*
_bh
(
) lo
c
k ha
n
dling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rpenter
fixes fo
r
unified wine & kernel
l
o
cking s
c
ript
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_type() re
t
u
r
n p
o
inter
f
or &
f
oo type ex
p
res
s
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
p
r
int m
e
ssage on false compares b
e
cause of signed
v
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
s
u
ppre
s
s gc
c
warnin
g
.
white
s
pace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
Merge branch 'master' of
/
home/dcarpenter
/
progs/s
p
arse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
c
l
e
an up
k
f
re
e
_s
k
b() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
add __smatch_cur_sli
s
t
(
) de
b
u
g function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
i
d
is
su
p
posed to be unsigned short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
fix crashing
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
rpenter
Start cari
n
g about the
t
y
pes
a littl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
ter
cleanu
p
: uses ARRA
Y
_SIZE()
m
acro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
P
rint name in
s
tead
o
f ID in debug ou
t
put
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --proj
e
ct=kern
e
l to kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Start merg
i
ng the k
e
rnel locking and win
e
lock
i
ng
checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
h
andle if (*ptr
=
= 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
d
e
clare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
arpen
t
er
M
ore range fixes
.
(
D
e
lete a
n
d merge d
u
p
l
icates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpen
t
er
Po
p
the pre_condition_stack
a
t
t
he co
r
rect poin
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Da
n
C
arpenter
fi
x
issue wit
h
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan
Carpenter
Fix get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x
negate
b
ug
.
(Dereferenci
n
g undefined false positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
an
Carpenter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: wi
n
e_checker
.
sh
f
or che
c
kin
g
indi
v
idual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
t
e
r
wine:
a
dd more f
u
nctions that don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
revert
p
art of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sma
t
c
h_extra: imp
r
ove and fix
a
ssignment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_s
t
ate() make the parameter ord
e
r
m
atch everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check
s
: remove some show_spe
c
ial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
smatch
_
helper
.
c remove ma
n
y
c
alls
t
o show_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpe
n
ter
s
mall clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rp
e
nter
fix bug with funct
i
on im
p
lic
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
ex
i
t and ExitProcess
d
on't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sma
t
ch
_
extra
.
c: remo
v
e some show_special() ca
l
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpen
t
er
check_
d
eref_check: get r
i
d o
f
some false
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spe
l
l
i
ng: memery => memo
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgus
t
ing hack to
s
top false posi
t
i
ve buffer
o
v
erflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix += and -= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
wine: f
i
x
some lock
na
m
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
w
ine: Rp
c
RaiseExce
p
t
i
on never ret
u
r
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
p
e
nter
add option --full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Micha
e
l Stef
a
n
i
uc
Fix
a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine
:
che
c
k fo
r
locking bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Carp
e
n
t
e
r
Fix some reve
r
s
e
d if co
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
fr
e
e can handle null poin
t
ers: if (foo) free(fo
o
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: check for WtoA cross calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add INVALID
_
HANDLE_VALUE chec
k
for
w
ine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recomp
i
le all t
h
e checks if
smatch_
e
x
t
r
a
.
h
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[p
a
t
ch 9/9]
l
ast patch to remove UNDE
F
INED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[p
a
tch
8
/ma
n
y] dea
l
with
v
ariable_non_
z
ero() (U
N
DEFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an
Carpent
e
r
[patch 7/many] no UNDEFINED
fr
o
m get
_
v
a
l
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
enter
[patch 6/many] remove UNDEFINED from last_stmt
_
v
a
l
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[
patc
h
5/many] get
rid o
f
a few more UNDEFINEs s
m
atc
h
_
e
xtra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 4/many]
g
et rid
of UNDE
F
I
N
ED in s
m
at
c
h_rang
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 3/many] remov
e
UND
E
FINED from get_imp
l
i
ed_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Car
p
en
t
er
[patch
2/many] get_implied_value(
)
should
n
ot return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
C
a
r
p
enter
[patch 1/many
]
get r
i
d of
UND
E
FIN
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Add validation test for check_h
e
ld_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
M
ake some kern
e
l specific
s
t
uff depend
o
n -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon to be m
a
n
d
atory) --pro
j
e
c
t= op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
M
ake smatc
h
installab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
t
ry handle
d
o {} while (i-- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
t
ry handle ++
and
-
- b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an C
a
rpenter
Improve handl
i
ng
:
do {} while (
-
-cont
i
nue >= 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Ca
r
pent
e
r
S
mall
c
lea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
kfr
e
e
_
s
k
b() w
a
rnings are not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
nter
Handle der
e
ferences like *foo not
j
u
s
t
foo->ba
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
G
e
t
rid
of the bit
w
i
s
e o
r
check
.
It did
n
'
t find
bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpe
n
ter
a
d
d
__raw_spin_lo
c
k/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
M
a
ke
r
a
nged func
t
ions
pass the assignm
e
n
t
e
x
pre
s
sion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carp
e
nter
Make variable
i
nitializat
i
o
n
into
a
ssignm
e
nt
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpent
e
r
D
e
l
ete check_
i
nitia
l
i
z
er_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
D
an
Carpenter
Modify the
r
eturn hook to pass an expressio
n
instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carpenter
D
o
clear
the range info
s
o ea
r
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan
Carpente
r
i
n
t
rodu
c
e is_error
_
retur
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make funct
i
on de
c
laration static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n Carpenter
Do not
a
ccidenta
l
ly delete
.
h
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New
missing dev_put(
)
c
he
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n Carpenter
H
a
ndle if ((dev = foo()) ==
N
ULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carp
e
nter
silly fa
l
se pos
i
ti
v
e
: return
foo; <- foo possibl
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Updat
e
smat
c
h_data to
2
.
6
.
32-rc6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add some comments and copyri
g
ht
notic
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpe
n
t
e
r
smal
l
clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n
C
a
r
p
enter
F
ix
s
egfa
u
lt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carp
e
nt
e
r
Allow peop
l
e to use kc
h
ec
k
er file
.
o as well as
.
c f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Ca
r
pent
e
r
Init
i
alize values properly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
Turn the t
w
o pass system off by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan
Carpenter
Optimiz
a
tion:
p
repend() -> appe
n
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Da
n
Carp
e
nter
Print an er
r
or for this: if (a | b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpent
e
r
D
ual
p
ass system
[
pa
t
c
h #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpen
t
er
Dual pass
s
ystem
[
pat
c
h
#1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next