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 unneeded calls to __use_cond_true_states();
2008-10-15
Dan Carp
e
nter
Fix get
_
all_states() to ma
t
ch the function de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove add_state() and s
t
ate_de
f
i
n
ed() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clean u
p
.
Fix leak
.
My problem is that
I don't
under
s
t
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
n
itia
l
commit
of th
e
"
i
mpli
e
d
s
t
a
t
e
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
D
oh
.
W
e hav
e
n
't bee
n
using smatch_ex
t
r
a f
o
r
a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Get
r
id of
p
ath_
h
istory
.
It's never go
i
ng
t
o be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
a
ke goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carp
e
nter
Speed up merge_slist now that the sli
s
ts are or
d
er
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
e
r
Insert s
t
uff onto lists in a sorted orde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carpenter
Del
e
te an u
n
u
s
e
d function m
e
rg
e
_
st
a
te_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix:
if (*f
o
o) { (*foo)->bar
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
kmalloc() and frie
n
ds don't always ret
u
rn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
The che
c
ks f
r
om here got merg
e
d
into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carp
e
nter
M
o
ve the st
u
ff from check_derefed_par
a
ms
.
c
into check
_
null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Fix bug
i
n or_slist_stack(
)
.
if (a && b) wasn't be
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carpenter
Ad
d
a ho
o
k
at the en
d
of a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Fo
r
got another strip_expr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Handle assignmeents inside c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
On
l
y print something for a->foo and
not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
I
gnore array declarat
i
ons
.
Those
c
an't be NULL obvio
u
sl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Ma
k
e
cur_sl
i
st s
t
at
i
c
.
It
'
s o
n
ly used in sm
a
tch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpen
t
e
r
W
h
ite
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
Use merge_slist() instead of tryin
g
to
handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
__process_con
t
inues
(
) is supposed to be basi
c
a
lly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New smat
c
h_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
(f
o
o) = 1 is
t
he
same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
s
tip_casts()
.
It'
s
n
o
w called strip
_
expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n C
a
rpenter
Ign
o
r
e 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
Carp
e
n
ter
Cre
a
ted s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Igno
r
e stuff
l
ike foo
.
bar
.
We only care
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
nter
What happe
n
s before is
t
h
a
t parameters wo
u
ld get a
s
sig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Missed a cras
h
ing bug in the
i
nt => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n C
a
rpent
e
r
I c
a
n
't believe I was
do
i
ng stack
s
wrong this w
h
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpente
r
Changed smatch
s
tat
e
f
rom being an
i
nt to
b
ein
g
p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pent
e
r
I
want to reuse
t
he n
a
m
e
sma
t
ch_s
t
ate
.
The
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpe
n
ter
R
e
do the
n
u
l
l pat
h
thing
.
So long as
t
here i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Complic
a
ted is just a boolean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
nt
e
r
A
r
rays are co
m
plicated
s
o
they shouldn't be
returned
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
If we call set_sta
t
e fr
o
m in
s
i
d
e
a condition
t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If th
e
pointe
r
is initiali
z
ed to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ignore the sm
a
tc
h
bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
Wh
e
n we mer
g
e
2
s
lists we n
e
ed to deal w
i
th the
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Add nulli
f
y the path when
y
ou have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge
bra
n
c
h 'ls' i
n
to
u
ltratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Mer
g
e b
r
anch '
u
nn
u
llify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carp
e
nter
Lots
of do wh
i
le(0)
l
oop
s
don
'
t call break so it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Rem
o
ve
u
nneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpente
r
Fix
o
r_
s
list_stack()
.
Before it just saved one sta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpenter
crap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Cl
e
an u
p
s
and add s
o
me __unnullify_pat
h
s
tu
f
f
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Sm
a
ll cleanup
.
goto_stack should only be u
s
e
d
i
n smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpente
r
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nter
Fix
b
u
g s
a
ving
t
he false_
o
nly stack
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
C
arpenter
T
h
is is the
st
a
rt of the smatch_e
x
tra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overwrite
_
slist
(
) so it
takes a p
o
in
t
er to a
p
o
i
nte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Make sma
t
ch_
e
xtra depend
o
n
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Da
n
Carpenter
Move is_zero()
t
o
smatch
_
helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Fix a
b
i
g b
u
g
.
g
et_st
a
te_slis
t
()
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 Car
p
enter
Merge branch 'deve
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre conditions inside
th
e
conditio
n
s so tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carp
e
nter
The main c
h
a
ng
e
her
e
was
t
o completely rewr
i
te how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
reak things o
u
t into fun
c
tions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
an
d
l
e while a
n
d for loops
slight
l
y better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpente
r
I
removed nullify_
p
ath() earlier
b
ut
t
h
at was a mista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
penter
I don't
t
hink t
h
e
special_kernel
_
macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add
a function to do a
s
trcmp() wit
h
a symbol
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpe
n
ter
Remove every
t
hing 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 Carpente
r
Repl
a
c
e
t
he variable __negate with the funct
i
on __ne
g
a
te()
.
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 who
l
e
condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Crap
.
I m
e
ant
t
o m
e
rge
this earl
i
er
w
hen I
d
ivided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
A
dd a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
t
er
Moved all the logic fo
r
handling conditions in
t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n C
a
rpenter
Oops
.
I guess I deleted
the
wrong
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pas
s
the contents o
f
s
i
z
eof()
t
o th
e
client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
Impr
o
ve how the debu
g
inf
o
for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Th
e
main thin
g
i
s
t
o han
d
l
e zero compar
i
sons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
R
emove u
n
needed cod
e
.
This stuff is ha
n
d
le
d
in
s
match_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need
t
o be able
t
o brea
k
dow
n
(foo != 0) fo
r
BUG_
O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Id
e
n
tify for(;
;
)
t
ype loops
as forever loops
.
T
h
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
A
d
d sup
p
or
t
for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Wha
t
I've
s
e
en is stuff
l
ike t
h
is:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
ny
t
hi
n
g that
we
don'
t
h
andle i
s
obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Merge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment to
g
et_variable_from_ex
p
r
_
si
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add a
c
omment to
get_variabl
e
_fr
o
m
_
exp
r
_sim
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
The nullify_pat
h
() here is a
b
ug
.
It over-
w
r
i
t
es a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
ter
__print_cur_slist() is a useful function f
o
r debuggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you have
s
o
m
ething
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpe
n
ter
Update the line numbers for each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
a
rpente
r
Chan
g
e the merge rules
for custom
m
erge
s
c
r
ipts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpen
t
er
Move SM_
D
E
BUG to a
h
e
a
de
r
so everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
A
dd a custom me
r
ge fu
n
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update
the line number a
t
the ve
r
y s
t
art of
t
h
e funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
an C
a
rpente
r
Change
t
h
e
debu
g
o
u
t
pu
t
a
bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Carpenter
Add
a --debug optio
n
.
It h
a
s t
o
be t
h
e
f
i
rst option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Mak
e
sure the variab
l
e name is
N
U
L
L t
e
rminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
Sm
a
ll cl
e
an ups
.
No change
i
n behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carp
e
nter
T
h
i
s
is an off by o
n
e
error rea
l
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next