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
"while ((1)) {" is a forever loop. Call strip_expr().
2009-02-18
Dan
Carpenter
"while ((1)) {" is
a
forever loo
p
.
Call strip_expr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
fi
x
es to the ->
possi
b
le setti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Me
r
ge
b
ran
c
h
'
m
aster' into nu
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpen
t
er
Add validation script
f
or check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
Carp
e
nter
Clean
u
p
.
new->
p
ossible is alwa
y
s null
he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oops
.
->poss
i
bles wasn't ge
t
ting set corr
e
ct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Us
e
stri
p
_expr() in
s
p
l
i
t_conditions() instead reprodu
c
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add some m
o
r
e
op
e
rations to
get
_
va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Return &merged instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
m
ake get_value() retu
r
n a v
a
lue
f
or bitwise o
r
exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try ag
a
in re
m
oving
s
tates from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Revert "Remo
v
e
a state fr
o
m it'
s
-
>pool
s
w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpente
r
Elimina
t
e a warning
.
P
robably the
wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
C
omment
s
.
Re
n
ame slist
_
stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha ha
.
I s
t
il
l
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
C
leanups
.
Comment
s
.
Remove debugg
i
ng code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rp
e
n
t
er
C
lean up
.
Also preser
v
e t
h
e
-
>
p
ools in one path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
C
lean up get_s
t
ate_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove
_
_
o
verwrite_cur_slis
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpent
e
r
There wa
s
debugging
o
utput that accide
n
tally got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remove a
s
tate
f
rom it's
-
>
pools when set_state() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Don't
d
elete the
-
>
p
ools on mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
p
e
nter
T
ry understand the implication
s
f
rom
c
o
m
pound cond
i
tion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
ent
e
r
C
re
a
t
e a state &merged
.
Whe
n
we
m
erge
s
t
u
ff i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This time
s
match_im
p
lied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpenter
Ignore csco
p
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
enter
Smal
l
clea
n
ups
.
(Whi
t
e spa
c
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Wh
i
t
e
space c
h
ang
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
F
i
x implied p
o
ols so that at least it doe
s
som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
penter
It seem
e
d lik
e
track
e
r
_list
w
ould be usef
u
l
i
n a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Add a RE
A
DME describing s
m
atc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add script to
find N
U
LL dereferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix u
s
age messa
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
Carpenter
Check for mall
o
c()
a
s well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
Fix
s
e
gfault w
h
e
n
h
andling implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Ca
r
penter
Warn w
h
en we d
o
n't acqu
i
re lo
c
ks when
c
alling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpent
e
r
Try (and fai
l
) to find memor
y
l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
most print a messa
g
e whe
n
yo
u
come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpen
t
er
Ad
d
check to look
for d
o
uble fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add checking
f
or
l
ock_kerne
l
()
/
unlock_kerne
l
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pente
r
Make check_l
o
c
king check
b
o
th sp
i
nlocks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carp
e
nter
Add a new function slis
t
_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
If
t
here is an i++ then t
h
e value
of
'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpenter
Add a new ch
e
c
k_lockin
g
s
cript
t
hat checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ente
r
Save the
p
o
s
s
ible st
a
t
e
s ins
t
ead of just m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore
emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch '
m
as
t
er'
i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix l
i
kely() and unlikely()
handli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an
Carp
e
nter
Add single quotes
a
round the v
a
riable fo
r
cons
i
st
e
ncy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
W
e could s
a
ve s
o
m
e mem
o
ry by not
a
l
l
o
cating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
penter
Add a
c
ommen
t
showing where
t
he
t
ests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s is left over
f
rom October
a
s p
a
rt
o
f the impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
a
r
p
ent
e
r
Add
g
et_pos
s
ible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
Stuff left ov
e
r
f
ro
m
October
.
Implied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could sav
e
s
om
e
memory b
y
n
o
t allocati
n
g new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Ca
r
pen
t
er
Fix memory leak
.
Add more comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Add a merge hook
.
Handle the situati
o
n
s like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
s
t
rcmp
(
)
d
o
esn'
t
acc
e
pt NUL
L
a
r
gu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pe
n
ter
rename two functions: get_variable_from_expr_sim
p
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_variable_from_expr(
)
uses a stati
c
b
uffe
r
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
reate a
c
heck_temp
l
ate
.
c example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get
_
a
l
l_states() not
s
egfault
every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_valu
e
(
)
to
return negative va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpen
t
e
r
W
e
o
n
ly ever pa
s
s
one par
a
mete
r
into get
_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
g
et_all_states() t
o
match the
f
unction def
i
nition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove add_state() and state_
d
efined() d
e
f
initi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Car
p
enter
Clean up
.
Fix leak
.
My p
r
o
blem
i
s that I don't under
s
t
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initi
a
l
commit
o
f
t
he
"implied
state pools"
s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Do
h
.
We haven't
been
using
s
match_ex
t
r
a
for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get rid
of path_hi
s
t
o
ry
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carp
e
nter
Make goto
_
stack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
S
p
eed up m
e
rge_slist now t
h
at the sl
i
st
s
are ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
I
nsert st
u
ff ont
o
lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpent
e
r
Delete a
n
unused
f
unction merge_state_
s
tack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rpenter
kmal
l
oc() and frie
n
ds don't always re
t
urn a no
n
-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an C
a
rpenter
The checks from
here got me
r
ged into che
c
k
_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
ar
p
enter
M
o
ve the
stuff from check_derefed_param
s
.
c in
t
o check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an
C
arpenter
Fix bug in or_slist_stack()
.
if (a && b
)
wasn'
t
being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Ad
d
a hoo
k
at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Forgot an
o
ther strip_expr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carp
e
nter
Handl
e
assignmee
n
ts inside
c
o
ndition
s
be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only print something for a->
f
o
o and no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
n
o
r
e
ar
r
a
y
d
e
cla
r
ations
.
T
h
ose can't be
N
ULL o
b
viously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpe
n
ter
Make
c
ur_sl
i
st sta
t
ic
.
It's
o
nly used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space cha
n
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
U
s
e merge_slist() ins
t
ead of trying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
__pr
o
cess_cont
i
nue
s
() is supposed to
b
e
basicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
New smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(fo
o
)
=
1 is the
same as fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Generalize stip_casts
(
)
.
It's now called st
r
ip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
e
nter
Ignore
casts
.
foo((int
*
)
&bar) is
t
he same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Ignore stu
f
f like foo
.
ba
r
.
W
e o
n
l
y care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
What
h
appens be
f
ore is tha
t
parameters wou
l
d ge
t
a
s
si
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Mis
s
ed a cras
h
ing bug in the int => stru
c
t co
n
ver
s
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I can't
b
elieve
I was doi
n
g stacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch s
t
a
te from bein
g
an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Car
p
enter
I want to
reus
e
the
n
a
me sm
a
tch_s
t
ate
.
T
h
e current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next