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
Remove add_stat
e
() and state_d
e
f
i
ned() de
f
i
nit
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Clean up
.
Fix
leak
.
My pro
b
lem
i
s that I don
'
t
u
n
d
erstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpen
t
er
Ini
t
ial
commit of the "implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
ente
r
Doh
.
We haven't been using smatch_extra
for
a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
te
r
G
et r
i
d
of path_hist
o
ry
.
I
t's never going to be
use
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Make got
o
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Speed 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
n
s
e
rt stuff on
t
o lists in a sort
e
d
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Delete an unuse
d
f
u
nction merge_
s
tate_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix: if
(*fo
o
) { (*foo)->b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kma
l
loc() and
f
r
i
ends don't always ret
u
rn a
n
on
-
n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The
c
hecks
f
rom here go
t
merged into ch
e
ck_null_
d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff from check_derefed_params
.
c into
c
heck_nul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpenter
Fix bu
g
in or_slist_sta
c
k()
.
if (a &&
b) wasn'
t
being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
pent
e
r
Add a h
o
ok at the end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot
a
n
other str
i
p
_e
x
pr() ca
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pe
n
ter
Handle
a
s
s
i
gnmeents insid
e
c
ond
i
tions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Only p
r
int
s
omething for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
n
t
er
Ig
n
ore array decl
a
rat
i
ons
.
Those can't b
e
NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
an
Carpenter
Make cur_slis
t
sta
t
ic
.
It's
o
nly used in sm
a
tch
_
s
tates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
te
r
White spa
c
e chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Use merge_
s
list
(
) instead of trying
to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
te
r
__process_c
o
nt
i
nu
e
s
(
) is
supposed to be basic
a
lly
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the same as foo
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize sti
p
_
c
asts()
.
It's now called st
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
nter
Ig
n
o
re
c
asts
.
foo((int *)
&
b
a
r) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carp
e
nte
r
C
r
e
a
ted show_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
gnore stuff like foo
.
bar
.
We
only care about fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
What
h
appens bef
o
re is that
p
arameters w
o
u
l
d get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Missed a
c
r
ashing
bug
in t
h
e int
=
> struc
t
conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpente
r
I
c
a
n't believe I
w
as doi
n
g sta
c
ks wrong
t
h
is wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
Changed smatch s
t
ate from being an in
t
to bein
g
point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I want to r
e
use
t
he name s
m
atch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
t
e
r
Redo
th
e
null path thin
g
.
So long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Clea
n
u
p
.
C
omp
l
icated is
just a bool
e
an
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Arrays are c
o
mplicated so they
s
h
o
uldn't be
returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If we
c
all set_s
t
ate fr
o
m ins
i
d
e a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If th
e
poi
n
ter is
i
n
itialized t
o
non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore th
e
smatch bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
W
h
e
n
we merg
e
2 slists
we need
to deal wi
t
h
t
he ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Car
p
e
nter
Clean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Add nul
l
ify the path
w
hen yo
u
have
f
or(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge b
r
anch 'ls
'
into
ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Merge bra
n
ch 'un
n
ulli
f
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
te
r
Lots of d
o
whil
e
(0) loops don't call brea
k
s
o
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remov
e
unne
e
de
d
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Carpenter
Fix
o
r
_
sli
s
t
_
s
t
ac
k
()
.
Before it just sa
v
ed one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
crap c
r
ap crap
.
do no
t
use
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
Carpente
r
C
l
ean ups and add some _
_
u
nnu
l
lify_pat
h
stuff
.
H
ope
f
u
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
C
a
r
pent
e
r
Small c
l
eanup
.
goto_stack should only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pent
e
r
Fix b
u
g
s
aving the false_only
stack
.
B
ef
o
re code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpen
t
er
T
h
is
i
s t
h
e start of the smatch_
e
x
t
ra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overwr
i
te_s
l
ist() so it t
a
ke
s
a point
e
r
to a point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpent
e
r
Make
smatch
_
extra dep
e
n
d
o
n sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Mov
e
is_zer
o
()
t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carp
e
nter
F
ix
a big bug
.
get_st
a
te_slist() was alwa
y
s getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Merge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpent
e
r
Save the
p
re cond
i
ti
o
ns inside t
h
e conditi
o
ns s
o
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ent
e
r
The main change
h
ere was to compl
e
tely rewri
t
e how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nte
r
Break thi
n
gs out into f
u
ncti
o
n
s a bit
.
C
l
ean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpe
n
ter
H
an
d
le while and for loops sl
i
g
htly b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
Carp
e
nter
I remov
e
d null
i
f
y
_path() earli
e
r but t
h
at was
a mist
a
ke
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
I
don'
t
think the specia
l
_kernel_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
dd a fun
c
t
ion to do
a
strc
m
p() with a sy
m
bol
n
am
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Remove everything to do with p
a
th_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Replace
t
he variable __nega
t
e with the functio
n
__
n
ega
t
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpen
t
er
Small clean up
.
Mo
v
e the
p
a
ssing
the w
h
ole con
d
ition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Crap
.
I
meant to merge this e
a
rlier when I
d
iv
i
d
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
com
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Move
d
all
t
he l
o
gic for handli
n
g cond
i
tions in
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Car
p
ent
e
r
O
o
ps
.
I g
u
ess
I
d
eleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Don'
t
pas
s
t
h
e
contents
o
f
sizeof() to
t
h
e clien
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
e
r
Improve h
o
w the debug info fo
r
merging states g
e
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
Th
e
m
a
in thing is to ha
n
d
l
e
zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove u
n
needed code
.
This stuff is handle
d
in smatc
h
_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need to be able
t
o break down (foo != 0) for
B
U
G
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Identify for(;;) type
l
oops as forever
l
oops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support for
B
U
G_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I've s
e
en is
s
tuff l
i
ke t
h
is:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Ca
r
penter
Anything that we don't handle is
o
bv
i
ously co
m
p
l
icated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Add a comment to
get_
v
ariab
l
e
_from_expr_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a com
m
e
nt
to get_
v
ariable_f
r
om_exp
r
_s
i
m
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
The
n
ulli
f
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 Carpe
n
ter
__print_cur_slist() is a usef
u
l func
t
ion for
d
ebu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
If you hav
e
so
m
ethi
n
g like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
U
p
da
t
e the line
numbers f
o
r
e
ach
s
t
atement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
C
h
ange the merge rules for
custom merge s
c
ripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpen
t
er
Move SM_DEBUG to a he
a
der so everyone can use
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
A
dd a custom
merge
f
unct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpenter
U
p
d
ate the line number at the very s
t
art
of the functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan
Carpenter
Ch
a
nge the debug o
u
t
p
ut a
b
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a
--debug opt
i
o
n
.
It h
a
s
to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpente
r
M
ake sure the variable na
m
e is
NULL term
i
n
ated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpen
t
er
S
m
all c
l
ean ups
.
No
change in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This
is a
n
of
f
by one er
r
or r
e
ally
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n
C
arpenter
The
s
par
s
e_initialize() functi
o
n n
o
w
t
akes a fileli
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next