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
Add known_condition_false()
2009-02-22
Dan Carpenter
Add kno
w
n_condi
t
ion
_
f
a
lse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
nter
Fix handling of conti
n
ue ins
i
de do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
D
on't set
l
et
p
e
ople s
e
t states for unreach
a
ble code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpe
n
ter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
a
r
penter
Handle the iter
a
to
r
s correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support f
o
r "i
f
(a?b:c) {
.
.
.
" ternar
y
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support for _spin_t
r
ylock() and frie
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if
(
a || b) { a-
>
fo
o
; shou
l
d print a
n
e
rror
.
A
lso
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpen
t
er
Thi
s
prints ou
t
error message
s
a
ll the ti
m
e that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
As
s
ignment al
w
ays se
t
s
&
i
s
freed to something else
l
ike
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Don't print
c
ross_
f
unc err
o
rs if
the called fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
emove call to alloc
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpente
r
Call the merge_hook()
inst
e
ad
o
f setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Oops
.
M
e
ant
to commit this
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Add the
merge_hook()
bac
k
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
C
l
ear the r
e
tu
r
ns lists at the
e
nd of
each
f
un
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
e
r
Move the implicati
o
ns
checking to
after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Ca
r
pe
n
ter
Rewrite
c
ompletely wi
t
h ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add s
o
m
e functions to
h
andle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don
'
t segfault all the
t
ime when checking forever loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Te
s
t
t
o
see i
f
we are cat
c
hing cross fu
n
c
t
ion de
r
e
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
p
enter
Use the
->possible stat
e
s and remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"
while
((1)) {" is a forever loop
.
Ca
l
l
strip_
e
xp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
fixes to the ->
possible se
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merg
e
b
r
anch 'm
a
ster' into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
D
an
Ca
r
penter
Add vali
d
ation scr
i
pt for
check_
n
u
l
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Ca
r
penter
Clean
u
p
.
n
e
w->possible is
always
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
r
penter
Oops
.
->possibles w
a
s
n
't ge
t
ti
n
g
set
c
o
r
re
c
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use str
i
p_e
x
pr() in spl
i
t
_
cond
i
tions() in
s
tead rep
r
oducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Ca
r
pente
r
Add some more operations
to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Ret
u
r
n &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
n
te
r
make get_value() return a
v
alue for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
T
r
y again remov
i
n
g stat
e
s from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
v
er
t
"Remov
e
a state
from i
t
'
s
-
>
pools when se
t
_s
t
at
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Elimi
n
ate a w
a
r
n
in
g
.
Probably the wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Cl
e
an u
p
s
.
Comments
.
Rena
m
e sli
s
t_stack
t
o
named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
Ha ha
.
I still suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanups
.
Comments
.
Re
m
ove debugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
nter
Clean up
.
Als
o
preserve
t
he ->pools
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Clean u
p
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remov
e
__ove
r
write_cur_slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Ca
r
pent
e
r
T
here was debugging o
u
tput tha
t
a
cci
d
entally
go
t
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Rem
o
v
e a s
t
ate f
r
om i
t
's ->po
o
ls when
s
e
t
_stat
e
() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Don't
delete the ->pools on
m
erging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Try understan
d
the implications
f
r
om
c
o
mpou
n
d conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
er
Create a state &merged
.
When we mer
g
e
s
tuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
er
Ok
.
This time smatch_implied _really_
d
oes something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ignor
e
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
nups
.
(White spa
c
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Add
so
m
e m
o
re locki
n
g fun
c
ti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix im
p
lied pools
s
o that
a
t leas
t
it do
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed
l
ike tracker_
l
ist would b
e
us
e
ful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpente
r
Add
a
README d
e
scribing
s
m
atch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
script to find NUL
L
derefere
n
ce
s
between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
F
ix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for mal
l
oc() as well
as k
m
a
lloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nter
Fix
s
egfault w
h
en
hand
l
ing i
m
p
licitly declared
f
unctio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Warn
w
hen
w
e don't acqui
r
e l
o
cks when
c
alling c
e
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
ent
e
r
Try (and fail)
t
o find m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Almost
p
rint a message when you c
o
me to
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
hec
k
to
l
o
ok
f
or doubl
e
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
c
h
e
c
k
ing for lock_kernel()/unlock
_
ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Ca
r
p
enter
Make
c
hec
k
_l
o
cking c
h
eck
b
o
t
h spinlock
s
and semaphor
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new function slist_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is an i++ then
the value of 'i' is undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
nter
Add a new check_locking
s
cr
i
pt that c
h
eck
s
spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpent
e
r
Save the possible
s
t
a
te
s
instead of jus
t
merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ignore em
a
cs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Merge branch 'mast
e
r' into pools5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpente
r
W
e
co
u
ld
save some
m
emory by not all
o
cating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Ca
r
pen
t
e
r
Add a comment showi
n
g where the
t
ests ar
e
suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
Th
i
s is left o
v
er
f
rom
O
ctober as part of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Add get_possibl
e
_s
t
ate
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rp
e
nter
Stuff
l
e
ft over f
r
o
m October
.
Implied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
We coul
d
s
a
v
e
s
ome
me
m
ory
by not allocating new m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Car
p
enter
Fix memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
enter
Add a merge hook
.
Hand
l
e the
s
ituation
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nter
strcmp() doesn't
a
ccept NU
L
L arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
r
e
n
a
me two
f
unctions:
g
e
t
_
va
r
iable_from_ex
p
r_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Car
p
enter
get_vari
a
ble_from_ex
p
r() uses a static buffer
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rpenter
Create a
check_temp
l
ate
.
c ex
a
mp
l
e scr
i
pt that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
M
a
k
e
g
e
t
_
a
ll_states() not
segfault eve
r
y
t
im
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to
return nega
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carp
e
nter
We only e
v
e
r
p
ass o
n
e
parameter into
g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_all_states() to match the f
u
nctio
n
defin
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
ove add_state() and state_defined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Cl
e
an up
.
Fix leak
.
My
p
r
oblem
i
s
t
hat
I
do
n
't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Car
p
enter
Initial commit of t
h
e "implied
s
tate pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
arpenter
Doh
.
We haven't been
u
sin
g
smatch_extra for a w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpenter
Get rid
of p
a
th_history
.
It's never going to
b
e used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
p
ente
r
Make
goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carp
e
nter
Speed up merg
e
_sli
s
t now that t
h
e s
l
ist
s
are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Car
p
enter
Inse
r
t stuff onto
lists i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
e
lete an unused function merge_sta
t
e_st
a
c
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpen
t
er
fix: if (*foo)
{ (
*
foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
kma
l
loc() and friends don't always return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The
checks from here got merged into check_
n
ul
l
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Car
p
ent
e
r
Move the stuff
f
rom check_de
r
efed_params
.
c into check
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
p
enter
F
i
x bug in
o
r_slis
t
_stack()
.
i
f (a && b) wa
s
n
't bei
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next