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
rename del_slist_stack() to free_stack_and_slists()
2009-01-16
Dan Car
p
enter
We
could save
s
ome me
m
ory by
n
ot alloc
a
t
ing new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a com
m
ent s
h
o
w
ing where the tes
t
s a
r
e s
u
p
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s
is le
f
t over fro
m
October as part
o
f the i
m
p
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpe
n
te
r
Add get
_
possible
_
states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
uff le
f
t over from O
c
t
ober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some
memor
y
by not
a
ll
o
c
atin
g
new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carp
e
nter
Fix memory le
a
k
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
r
p
e
nter
Add a merg
e
h
ook
.
Handle
the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
s
trcmp() doesn't
a
c
c
ept NULL argu
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
rename t
w
o
f
un
c
tions:
get_varia
b
le_from_expr
_
sim
p
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
ge
t
_variab
l
e_fr
o
m_
e
xpr() use
s
a s
t
ati
c
b
uffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arp
e
nter
C
reate a
check
_
templa
t
e
.
c example script that l
o
o
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make
g
et_all_states() not s
e
gfault every ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
rpenter
F
i
x g
e
t_
v
alu
e
() to return negative
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pass on
e
parame
t
er into
g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
nter
Fix
g
e
t_a
l
l_
s
tates() to
mat
c
h
t
he
function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
R
e
move
a
dd_state() and s
t
ate_defined() defini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Car
p
ent
e
r
Clean up
.
Fix
leak
.
M
y probl
e
m
i
s that I don't unders
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Initia
l
commi
t
of t
h
e "
i
mp
l
ied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Doh
.
W
e hav
e
n't been using smatch_extra
f
o
r
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get
r
id of path_history
.
It's neve
r
going to be
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
Mak
e
g
oto_stack st
a
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rp
e
nter
Speed u
p
me
r
ge_slist now
that the slists
a
re ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Ins
e
rt
stuff onto lists i
n
a
sorted o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
De
l
ete a
n
u
n
used function m
e
r
g
e_s
t
ate_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
enter
f
ix: if (*foo
)
{ (*foo)->
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
kmalloc(
)
a
n
d frien
d
s don't always
r
eturn a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
T
h
e
checks from he
r
e g
o
t m
e
r
g
ed into check_nul
l
_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Ca
r
penter
M
o
ve the stuff
f
r
om
c
heck_de
r
efed_p
a
rams
.
c
into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
ix
bug in or_sl
i
st_st
a
c
k()
.
if (a && b)
w
a
sn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpe
n
t
er
Add a hook at th
e
e
n
d of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
orgot another strip_exp
r
() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
Hand
l
e assign
m
eents
insid
e
conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Only p
r
int
s
o
met
h
ing for a->foo and no
t
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore ar
r
ay declar
a
tions
.
T
hos
e
can't
b
e NU
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Mak
e
cur_slist static
.
It's only used in sm
a
t
c
h_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
t
e
r
White sp
a
ce chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
Us
e
me
r
ge_sl
i
st() ins
t
ead of trying to
handle
it
y
ourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
__pr
o
cess_continu
e
s() is
s
upp
o
sed to b
e
bas
i
cally the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpen
t
er
(
f
o
o) = 1 is
the same
a
s fo
o
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Generalize
s
tip_casts(
)
.
It's now calle
d
stri
p
_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Ignore cast
s
.
foo((int
*)&ba
r
)
is the
same as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpent
e
r
Created show_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
t
er
Ig
n
ore stu
f
f lik
e
f
oo
.
bar
.
We only care abo
u
t f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pe
n
ter
What
hap
p
ens before is that parameters would get assig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a crashing bug i
n
the
int
=
>
struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpe
n
ter
I
c
an't believ
e
I was doing stacks wrong this wh
o
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Car
p
ente
r
Changed smatch state from being an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
I
w
ant to reuse the name smatc
h
_
s
tate
.
Th
e
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Re
d
o the null p
a
th thing
.
So
l
ong as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Cle
a
n
u
p
.
C
omplicated
is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Me
r
ge br
a
nch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre conditions insid
e
t
h
e c
o
nditions s
o
tha
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
T
h
e ma
i
n ch
a
ng
e
here was to c
o
mpl
e
tely re
w
ri
t
e how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an
C
arpenter
Br
e
ak thi
n
g
s ou
t
into f
u
nctions a bit
.
Cle
a
n ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
ar
p
en
t
e
r
H
a
n
dle wh
i
le and for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
moved nullify_p
a
th() earlie
r
but th
a
t was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
I don't thin
k
the
special_
k
ernel_macro
s
(
)
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
d
d
a
function to do a strcmp() with a
s
ymbol nam
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpen
t
er
R
e
m
ove everythin
g
to d
o
with path_id's
.
I cou
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
R
e
pla
c
e the variabl
e
__negate with t
h
e function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Sma
l
l clean
u
p
.
M
o
ve the pas
s
ing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Crap
.
I
meant to merge t
h
is
e
arlier when I d
i
vided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
pen
t
er
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
M
oved a
l
l th
e
log
i
c for ha
n
dling co
n
ditions int
o
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpe
n
ter
O
ops
.
I guess I d
e
leted the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
D
on
'
t p
a
ss the conte
n
ts of
s
izeof(
)
to
t
he
c
lient
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
I
m
prove how the d
e
bug info for
merging s
t
a
t
es gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Th
e
main t
h
in
g
is to
h
a
n
dle z
e
ro comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
Remove unne
e
ded code
.
This
stu
f
f
is
handled in sm
a
tch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
W
e need to
b
e able to break down
(foo !
=
0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Iden
t
ify for(;;) type loops
a
s forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add
su
p
p
o
rt for BU
G
_O
N
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What
I've se
e
n
is stuff
l
i
k
e this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything
t
hat we don't handle i
s
obvi
o
usly complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge b
r
anch 'devel
'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
A
dd
a comment to g
e
t_variable_fr
o
m_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment
t
o get_variable_from_
e
xpr_s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
T
h
e
n
ul
l
if
y
_path(
)
here is a bug
.
It over-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
_
_
print_cur_sli
s
t
()
i
s
a useful function for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
I
f you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Upd
a
te the lin
e
numbers for each stat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Change the me
r
g
e
rules for custom merge scripts
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpe
n
te
r
Move
S
M
_
DEBUG to a header so ever
y
one can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Add a custom
m
erge
f
unctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Updat
e
the line numbe
r
at the very start
o
f the fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Da
n
C
a
rpen
t
er
Chan
g
e the de
b
u
g
output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpe
n
ter
Ad
d
a
--
d
ebug opt
i
on
.
It has to be the first
o
ption
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Ca
r
p
e
n
ter
Make sure t
h
e
variable name is NU
L
L t
e
rminated
o
ther
w
ise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Smal
l
c
lean ups
.
No
ch
a
nge in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is an off by one error
r
eally
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The
s
par
s
e_initialize() func
t
ion now takes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree