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
Remove add_state() and state_defined() definitions. add_state() doesn't
2008-10-15
Dan Carpenter
Re
m
ove
add_state
(
) and sta
t
e_defin
e
d() de
f
initi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pente
r
Cle
a
n up
.
Fix leak
.
My pro
b
l
e
m is that I
d
on't u
n
derstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
e
nter
I
n
i
tial commit
of the "implied sta
t
e p
o
ols" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
e
r
Doh
.
W
e
haven
'
t
been
u
sin
g
smatch
_
extr
a
f
or a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Get
rid
o
f path_hist
o
ry
.
It's never goi
n
g to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Spe
e
d up merge_slist now that the slists are
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
nse
r
t stuff onto lis
t
s in
a
sorte
d
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpente
r
Delete an unuse
d
fu
n
c
t
i
o
n merge_state_s
t
ack(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Ca
r
pente
r
fix:
if (*foo) {
(
*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmall
o
c() and fri
e
nds don'
t
always
ret
u
rn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks
fro
m
her
e
got
merged into check_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
Move the stuff
from
c
heck_derefed_params
.
c
into check_n
u
ll_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
i
x bug in or_slis
t
_stack()
.
if (a &&
b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nte
r
Ad
d
a hoo
k
at the e
n
d
o
f a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpe
n
ter
Forgot ano
t
h
e
r strip_
e
xpr()
c
all
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an C
a
rpe
n
ter
Handle assi
g
nm
e
ents inside cond
i
tions be
t
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
p
e
nter
Onl
y
print someth
i
ng for a->foo an
d
not a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ig
n
ore array declarations
.
Those can't be
NULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpen
t
er
M
a
ke
c
ur_
s
l
i
st static
.
It's only u
s
ed in smatch_
s
ta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Us
e
merge_sl
i
st()
inste
a
d of tryin
g
to handle
it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carp
e
nter
__process_cont
i
nues() is supposed to
be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpen
t
er
New
s
match_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
(fo
o
)
=
1 i
s
the same as
foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Genera
l
ize s
t
ip_casts()
.
It's now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
penter
Ignore casts
.
foo((int *
)
&ba
r
)
i
s the
s
ame as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
g
nor
e
s
tuff
l
i
k
e foo
.
b
ar
.
We only
ca
r
e
a
bou
t
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
e
n
ter
Wh
a
t h
a
p
pen
s
before is that p
a
ra
m
eters would get
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
issed
a
c
ras
h
i
n
g
bu
g
in
the in
t
=> struct conv
e
rsion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Ca
r
p
e
n
te
r
I can't believe
I was doing stacks
wrong th
i
s w
h
ol
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
Changed smatch s
t
ate from bei
n
g
a
n
int t
o
be
i
ng point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I w
a
n
t
to
r
e
use
t
he
n
ame smatch
_
state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Redo
t
h
e
n
ull
path thing
.
So long as
t
here is
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpen
t
er
Clean up
.
Complicated is just
a
boo
l
ean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Merge
branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Save the
p
re c
o
nditions inside th
e
co
n
ditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
The
main chang
e
h
e
re was to completely
r
e
w
r
i
te h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break t
h
ings out
into funct
i
ons a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Han
d
le while
a
n
d
for loo
p
s slightly
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpent
e
r
I rem
o
ved nullify_p
a
th
(
)
e
a
rlier but th
a
t was a mist
a
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
I don'
t
think
the special
_
kernel_macros
(
)
fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
A
d
d
a function to do a strcmp(
)
with a
symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Re
m
ove e
v
erything to d
o
with path_id
'
s
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Replace
the variable
__negate with the functi
o
n
_
_negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
S
m
all clean
up
.
Move the
p
a
ssing the whole con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Crap
.
I meant to
m
erge thi
s
earlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Mov
e
d all the logic
for
handling con
d
it
i
ons into
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Oops
.
I
gue
s
s
I
d
e
leted
the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
D
on't
p
ass the
c
onte
n
ts
o
f
s
izeof() to
the clien
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
I
m
prove
how the debug info for merg
i
ng states
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n C
a
r
pent
e
r
The mai
n
t
hi
n
g is to ha
n
dle ze
r
o
co
m
paris
o
ns better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Rem
o
ve unneeded code
.
T
h
i
s st
u
ff is handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
We nee
d
to
be able to break down (f
o
o !
=
0
)
f
o
r BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
dentify for(;;) t
y
pe loops as f
o
re
v
er
loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Car
p
enter
Ad
d
su
p
port for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
W
h
at I've seen is stuff like t
h
is:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Anything th
a
t
w
e
d
o
n
'
t handle is ob
v
iously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Merge branch 'd
e
v
e
l'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
commen
t
to get_va
r
iab
l
e_fr
o
m_expr_simple
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an
Carpenter
Add a comment
to get_va
r
i
able_from_e
x
pr_simp
l
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
T
he nulli
f
y_path() here is a bug
.
I
t
o
v
er
-
w
r
ites all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
p
ente
r
__print_cu
r
_slis
t
() is a useful funct
i
on
f
or debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
If you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Up
d
ate the line
numbe
r
s fo
r
each sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change
the merge rules for custom merg
e
script
s
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DEBUG t
o
a header
so everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom me
r
ge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpenter
Update
t
he
line number at the
very start
o
f the fun
c
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
C
han
g
e
t
he d
e
b
u
g o
u
tput a
bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carp
e
nter
Add a --debug op
t
ion
.
It has
t
o
be the fi
r
st opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Ma
k
e s
u
re
t
he va
r
ia
b
le nam
e
is NULL
t
er
m
inated
o
therwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean
ups
.
No
c
h
a
nge in behav
i
o
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Ca
r
penter
This is an
o
f
f by
o
ne error
r
ea
l
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
T
h
e spars
e
_initialize() function
now ta
k
es a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree