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
Handle declarations inside switch statement blocks.
2009-02-22
Dan C
a
rpenter
Han
d
le declarations ins
i
de
sw
i
tch stat
e
men
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Add known_condit
i
on_fals
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Fix
hand
l
ing o
f
continue inside do while
s
tateme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an C
a
rpenter
Don'
t
set le
t
people set states for unrea
c
hable
cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small clea
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle t
h
e
ite
r
ato
r
s correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpe
n
ter
Add
s
upport for "if (a
?
b:c)
{
.
.
.
" ternary condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
A
d
d some suppo
r
t for
_
sp
i
n_
t
rylock()
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
penter
i
f (a || b)
{ a->fo
o
;
should
p
ri
n
t an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
This p
r
ints out error message
s
al
l
th
e
time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignmen
t
always set
s
&isfreed to som
e
t
hing else l
i
k
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print cross
_
func e
r
rors if th
e
c
a
lled
f
unct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rem
o
v
e
call to al
l
oc_st
a
te
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
C
a
ll th
e
merge
_
h
ook() instead of s
e
t
t
ing
t
he state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
M
e
an
t
to commit t
h
is earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the m
e
rge_hoo
k
() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Cl
e
ar the retur
n
s li
s
t
s
at the end of
e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
M
ove the implications
c
hecking to
a
fter the scr
i
pt
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Rewrite completel
y
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpe
n
ter
Add some functions to ha
n
d
l
e
track
e
r
l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Don't segfault all the
time whe
n
check
i
n
g
for
e
ve
r
lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see
i
f
w
e
a
r
e catc
h
ing cross
func
t
ion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
Use t
h
e ->possible states a
n
d
r
emove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"while ((1)) {"
i
s a for
e
ver l
o
op
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
fixes to
the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge br
a
nch 'mas
t
er' i
n
to n
u
ll_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arp
e
n
t
er
Add validation scrip
t
fo
r
check
_
n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpenter
Clea
n
up
.
n
e
w->possi
b
le is always
n
ull here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Oops
.
->
p
oss
i
ble
s
wasn't getting set
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use strip_expr() in
spli
t
_conditions() ins
t
e
a
d rep
r
oducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
Carpenter
A
d
d some more ope
r
at
i
o
ns to
ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
ter
R
eturn &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
enter
make get_value() return a value for
bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
arpenter
Try again remov
i
ng
s
tate
s
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Revert
"Remove a state fro
m
it's ->pools when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Eli
m
inate
a
w
arning
.
Probably
t
he wrong w
a
y t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
an ups
.
Comments
.
Rename
s
list_sta
c
k t
o
named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Ha
h
a
.
I still suck a
t
p
o
inters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Cle
a
nups
.
Commen
t
s
.
Remove debuggi
n
g code from
f
i
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Clean
u
p
.
Als
o
prese
r
ve th
e
->pools
in one pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
n up get_s
t
ate
_
sli
s
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Remove __
o
verwrite_cu
r
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There was debugging
output th
a
t accidentally got comm
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Rem
o
ve
a
state fro
m
it's
->pools wh
e
n set_s
t
at
e
(
) is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on
'
t delet
e
the
-
>pools on m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Try und
e
rstand the i
m
plication
s
from compound
c
o
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
reate a s
t
at
e
&merged
.
When we m
e
rge stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
penter
Ok
.
T
h
is time smat
c
h_implie
d
_r
e
ally_ d
o
es
s
omethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpen
t
er
Ign
o
re cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Small cleanu
p
s
.
(
White sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whi
t
e
space ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some
mo
r
e
lockin
g
f
unctio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpente
r
Fix implie
d
pools so that at lea
s
t
it does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Car
p
enter
It seemed
lik
e
t
r
acker_list would be u
s
eful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
a REA
D
ME
d
es
c
ribing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Add
script to find NULL dereferences between fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpen
t
er
Fix
usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Check for
ma
l
loc() as well as kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pe
n
t
e
r
Fix segf
a
u
l
t whe
n
ha
n
dling
implicitly decla
r
ed fun
c
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn
when we don't acquire locks
w
h
en calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rp
e
nter
Try (and
fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print
a
message w
h
en you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Add check to look f
o
r d
o
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
p
en
t
er
Add ch
e
c
kin
g
f
o
r
lock_kernel()/
u
nlock_k
e
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
M
ake check_loc
k
i
n
g
check bo
t
h spi
n
locks and
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpenter
Add a
new fu
n
c
tion sl
i
s
t
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If there i
s
an i++ then the value of 'i' is und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locki
n
g script that
c
h
e
cks
s
pinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible states instead of just m
e
rging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpen
t
er
Ignore emac
s
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpe
n
t
e
r
M
erge branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
ter
Add a
c
o
m
ment showing wher
e
t
h
e
tests are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is l
e
ft
o
v
er from Oc
t
ober as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add get_poss
i
ble_stat
e
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff
l
ef
t
over from October
.
Implied poo
l
s wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We
could sav
e
some memory
b
y no
t
allocating ne
w
m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
i
x memory lea
k
.
Add more
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Add a merge
h
ook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strc
m
p() doesn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rena
m
e t
w
o
f
unct
i
ons:
g
e
t
_
vari
a
ble_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_vari
a
b
le_from_expr
(
) us
e
s a static buffer and y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
C
r
eate
a check_template
.
c
example script that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Make g
e
t_all_states
(
) not segf
a
ult every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fix get_va
l
ue() to return negative val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We only ever
p
ass
one parameter
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
g
et_all_states(
)
t
o
match the func
t
io
n
defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Remove add_
s
ta
t
e()
a
nd state_defined()
d
efinitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Cle
a
n up
.
Fix leak
.
My
pro
b
le
m
i
s
t
h
at I don
'
t under
s
tand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial c
o
mmit of
t
he "implied state poo
l
s" st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Car
p
enter
Doh
.
We haven't been u
s
ing smatch_e
x
t
ra
f
or a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Get rid of path
_
history
.
It's neve
r
g
o
ing to
b
e
use
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
e
nt
e
r
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Carp
e
nter
Spe
e
d up merge_slist now that
t
he
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Insert stuff onto lis
t
s in
a
sorte
d
o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pe
n
ter
D
e
l
ete an unus
e
d function
m
erg
e
_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpenter
fix: if (
*
foo) { (*foo)
-
>
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
kmallo
c
() and friends don't
alw
a
ys return a
non-n
u
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
an Carpenter
The chec
k
s
from here got mer
g
e
d
i
nto che
c
k_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move
t
he stuff fro
m
check_derefed_par
a
ms
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next