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
call __split_expr()
2009-02-25
Dan Carpent
e
r
c
all __split_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpent
e
r
r
e
move unneeded
ca
l
ls t
o
__use_c
o
nd_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set t
h
e implied state
t
o &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Mak
e
cm
p
_
tra
c
ker() accessible
t
o outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
All
the
st
a
tes ar
e
implied
n
ot just unique
o
nes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
e
n
ter
Improv
e
lock chec
k
output
.
Add more validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Car
p
en
t
er
Add suppo
r
t
for dow
n
_
interruptible
(
) a
n
d frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carp
e
nter
F
i
x
the Un
c
le
a
r locking thin
g
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpent
e
r
Warn on
d
ouble lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
P
r
int fewer U
n
clear
lo
c
king messa
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
if
(
(1))
{
.
.
.
is a know
n
_c
o
nd
i
tion_
t
r
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
s
upp
o
rt fo
r
tho
s
e
funny gcc ({
.
.
.
})
b
lo
c
k state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Hand
l
e declarations inside
swi
t
ch statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
C
le
a
nup i
s
_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add know
n
_c
o
n
dition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Fix handl
i
ng of
c
ontinue inside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Don't set let
p
e
op
l
e set states for
unreachable cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Ha
n
dl
e
t
he iterators correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
Add support for
"if (a?b:c)
{
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Add s
o
me
s
upp
o
rt for _spin
_
tryloc
k
() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
ent
e
r
i
f
(a || b) { a->foo; should print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
his prints out
e
rror
m
essag
e
s
al
l
the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
a
rpenter
Assignment always sets &isfreed to
s
ometh
i
n
g
else li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ente
r
Don't pr
i
nt cross_f
u
nc errors if the cal
l
ed func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
R
em
o
ve
c
a
ll to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
Call the
m
e
rge_hook
(
)
ins
t
ead
of setting the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Oops
.
Meant
t
o
c
omm
i
t this
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpe
n
ter
Add the
m
erge
_
hook()
b
ac
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
l
e
ar t
h
e
r
e
turns
lists at
t
he end o
f
ea
c
h
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ove the imp
l
icati
o
ns checki
n
g
t
o
a
f
ter
t
he
s
cripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completel
y
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
n
t
er
Add some f
u
nctions
to handle track
e
r lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Don't segfault a
l
l the time when ch
e
cking fo
r
ever l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
T
est to see if w
e
a
r
e
catch
i
ng cross fun
c
tion
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Use
th
e
-
>
possible st
a
tes and r
e
m
ove the me
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
"while ((1)) {" is a for
e
ve
r
loop
.
Call s
t
rip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
fixe
s
to the -
>
possible sett
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
penter
M
e
r
ge branc
h
'm
a
ster' into null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Add
validat
i
on script for
check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new
-
>poss
i
b
le is always null h
e
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oops
.
-
>po
s
s
i
b
l
es wasn't gett
i
ng
set corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr(
)
i
n
spli
t
_
co
n
ditio
n
s()
i
nstead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
A
dd
s
ome
more
o
pera
t
i
o
ns to get_
v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Return &m
e
rged
i
n
s
tead
of &unde
f
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
pente
r
mak
e
get
_
value() return a
value
for
b
itwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try again removing states from
pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
R
e
vert "R
e
m
o
ve a state f
r
o
m
it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably
t
he
w
rong wa
y
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
ps
.
Comments
.
Rename
sli
s
t_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha ha
.
I s
t
ill suck
a
t point
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Cleanu
p
s
.
Comment
s
.
R
e
m
ov
e
deb
u
gging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Clean up
.
A
l
so preserve the ->pools
i
n
o
ne path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n up get_state_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove
_
_overwrite
_
c
ur_
s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
The
r
e
wa
s
debugging output
t
hat
accidentally go
t
c
o
m
mit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Re
m
ove a sta
t
e from
it's ->poo
l
s when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
elete the ->pool
s
o
n
mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Try u
n
de
r
stand t
h
e impli
c
ations
f
rom compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cre
a
te a state &merge
d
.
When we merge
s
t
u
ff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
n
ter
Ok
.
This time smatch_implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
ter
Igno
r
e cs
c
ope f
i
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ent
e
r
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpenter
Whitespac
e
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Add some more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Fix i
m
plied pools so that at
lea
s
t i
t
does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
It se
e
med l
i
ke t
r
ac
k
er_
l
ist wo
u
ld be useful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpe
n
ter
Add a
R
EAD
M
E describ
i
ng smatc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add script to find NULL dereferences b
e
tween functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Fix usage me
s
s
a
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Check f
o
r m
a
lloc() as well as kmal
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpent
e
r
Fix se
g
fault when
h
andlin
g
implicitly dec
l
ared f
u
n
ct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
arpe
n
ter
Warn whe
n
we don't ac
q
uire
l
o
c
ks when calling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
rp
e
nt
e
r
T
r
y (a
n
d fail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpente
r
Almost pri
n
t a message wh
e
n yo
u
come to unrea
c
h
ab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
h
eck to
l
ook for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add
checking fo
r
lock_ke
r
nel()/unlock_k
e
r
n
el()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make c
h
ec
k
_locking c
h
eck both spinlocks
a
n
d semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
r
penter
Add a new function s
l
is
t
_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Ca
r
pen
t
er
If there is an i
+
+ then the
val
u
e
o
f 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
ew check_lockin
g
scr
i
pt that
c
heck
s
spinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible states instead of j
u
st mer
g
in
g
t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpen
t
er
I
g
n
ore emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch
'
mast
e
r
'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carpe
n
ter
Fix likely() and u
n
like
l
y
() han
d
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpent
e
r
Add single quote
s
a
r
ou
n
d the
varia
b
le for consis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n
Carp
e
n
t
er
W
e could
s
a
v
e some memo
r
y by
n
ot alloca
t
ing new
memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add
a comment showing wh
e
re the
tests are suppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
ter
Thi
s
is
l
e
ft over from
Octob
e
r as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t
_poss
i
ble_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff lef
t
over from October
.
I
m
plied poo
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save so
m
e m
e
mory by not alloc
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix m
e
mory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ent
e
r
Add a merge h
o
o
k
.
Handle
t
he sit
u
ations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't ac
c
ept NULL a
r
g
uments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two functi
o
ns: get_variabl
e
_from
_
expr_s
i
mple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
ge
t
_va
r
i
a
ble_from_
e
x
pr() u
s
es a st
a
tic buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check
_
template
.
c exa
m
ple s
c
r
i
p
t
that look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
M
a
ke get_all_state
s
()
not segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_value
(
) to return n
e
gative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next