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
Add a comment showing where the tests are supposed to go.
2008-12-21
Dan C
a
rpenter
Add a comment showing whe
r
e the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpe
n
ter
This i
s
left over from O
c
tober as part of the im
p
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carp
e
nter
Add get_possibl
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff l
e
ft
o
ver fro
m
Octo
b
er
.
Im
p
l
i
ed
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carpent
e
r
We
c
o
u
ld save so
m
e memory
by n
o
t alloca
t
ing
new
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
t
e
r
Fix m
e
mory l
e
ak
.
Add
mor
e
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
A
d
d a merge hook
.
Handle the situati
o
ns
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp(
)
doesn't
ac
c
e
pt
NU
L
L argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
rename two functions: get_varia
b
le_from_e
x
pr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carp
e
nter
get_variable_from_ex
p
r() uses
a
static buffe
r
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Creat
e
a
chec
k
_te
m
plate
.
c example script th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
ake get_a
l
l_st
a
tes()
n
o
t segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_value() to
return negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
W
e only
ever
p
a
ss o
n
e parameter into
g
et_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Fix get_all_states() to match
t
he function
definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpen
t
er
Remov
e
add_sta
t
e() and state_defined()
d
e
finit
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
ar
p
enter
Cl
e
an
u
p
.
Fi
x
leak
.
My problem i
s
th
a
t I do
n
't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial co
m
mit of the "i
m
p
lied
s
tate pools"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
D
oh
.
We haven't been
using s
m
atch_ex
t
ra
f
or a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Ca
r
penter
Get
rid of
p
a
t
h_history
.
It
'
s never
going
t
o be u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpenter
Speed up merge_s
l
ist now th
a
t
the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff o
n
to l
i
sts in a
sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
elete
an
unus
e
d funct
i
on merge_
s
t
a
t
e
_s
t
ack()
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 Carpen
t
er
kmalloc()
a
n
d friends
don't
a
lways return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks
from here got
m
erged i
n
to ch
e
ck_null_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
pe
n
ter
Move the stuff
from ch
e
ck_derefed_params
.
c into check_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
en
t
er
Fix b
u
g in or_
s
list_st
a
ck()
.
if (a
&
& b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Ca
r
p
e
nter
Add a hook at the end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arp
e
nter
Forgot
another st
r
i
p_e
x
pr()
c
a
ll
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Handle assignmeents inside c
o
n
dit
i
ons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only print something fo
r
a->foo and n
o
t a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpent
e
r
Ignore arr
a
y dec
l
arations
.
Those can
'
t
be NULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpenter
Mak
e
cur_slist static
.
It's only us
e
d in sma
t
ch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Whi
t
e space ch
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
arpenter
Use me
r
ge_slist() instead o
f
tryi
n
g to
handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nt
e
r
_
_
process_continues() is supposed to be
ba
s
ically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
ent
e
r
N
e
w
smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
r
p
e
n
ter
(foo) = 1
i
s
t
h
e same
a
s foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
Generalize stip_casts()
.
It's now ca
l
led s
t
rip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpe
n
ter
Ign
o
re casts
.
foo((int *)
&
bar)
i
s the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Crea
t
ed show_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ignore stuff like f
o
o
.
ba
r
.
We only care
abo
u
t
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Wh
a
t
happens be
f
ore
is that parame
t
ers w
o
uld get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
Missed a
c
rashing
b
ug in the
in
t
=> st
r
u
ct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpent
e
r
I c
a
n't belie
v
e
I was
d
oing stacks w
r
ong this
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Ch
a
n
g
ed sm
a
tch s
t
ate from being an int
to being p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I w
a
n
t to
r
euse the
name
s
match_state
.
The curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
edo the null
path thing
.
So long as th
e
re is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
C
o
m
plicated
i
s just
a
bool
e
an
.
Set
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are complicated so they shouldn'
t
be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
If we call
s
et_
s
tate from i
n
side a
conditi
o
n the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If t
h
e pointer is
i
nitiali
z
ed to non
-
null
t
hen set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
penter
ignore the smatch
b
inary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
arpenter
When we merge 2 s
l
ists we need to deal with the c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carp
e
nter
C
l
ean
up
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
r
p
e
n
ter
Add nullify
t
he p
a
th w
h
e
n yo
u
have fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Merge b
r
anch
'
l
s
'
into ultra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpenter
Merge br
a
n
c
h
'
u
nnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Lots of do while
(
0) loops don't cal
l
break
s
o i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Remove unneed
e
d c
h
eck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n C
a
r
penter
Fix or_sl
i
st_stack()
.
Before it just sav
e
d one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
c
r
ap crap crap
.
do not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
penter
Clea
n
ups a
n
d ad
d
some __un
n
ullify_path stu
f
f
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpe
n
ter
Small cleanu
p
.
goto_stack should only
be used
i
n smatch_st
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
Carpenter
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
b
ug sav
i
ng
t
h
e f
a
lse_only sta
c
k
.
Before code
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
T
his
i
s
the start of the sma
t
ch_
e
xt
r
a stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpen
t
er
Fix
o
verwr
i
te_slist()
s
o
it t
a
k
es a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
Make smatc
h
_extra d
e
p
en
d
on sma
t
ch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan C
a
rpe
n
t
er
Move is_ze
r
o(
)
to smatch_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
F
ix a big b
u
g
.
get_state_
s
list() was always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge
.
.
/
.
.
/smatch/
d
ev
e
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Save
t
he pre conditi
o
ns inside the condition
s
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
T
h
e main change here was
t
o completely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
p
enter
Break things out i
n
t
o
fu
n
ct
i
ons
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arp
e
nter
H
a
ndl
e
w
h
ile and
for loops slightly
b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I re
m
o
v
e
d n
u
llify_path() earlier but
t
h
a
t was a mistak
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
I
d
on't t
h
ink the
special_kernel_macro
s
(
) functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Add a fu
n
ction to do a strcmp() with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Remo
v
e
everything to do
w
i
t
h path_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rep
l
ace the
variable __negate wi
t
h the func
t
ion __neg
a
te()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
p
e
nter
S
m
all clean u
p
.
Move the p
a
ssing
t
he w
h
ole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to
me
r
ge this earlier
w
hen I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpente
r
Mo
v
ed all
the logic for ha
n
dling co
n
dition
s
i
n
t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Oops
.
I guess I d
e
leted
t
h
e
wrong
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't
pass
the contents of sizeof()
to the
client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how the deb
u
g info fo
r
merg
i
ng s
t
ates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Car
p
e
n
ter
T
he
main
thing is to
h
andle zero compariso
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
r
pente
r
Remove
unneeded code
.
T
his stuff is handled in smatch_
f
low
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We nee
d
t
o
be able
t
o break down (foo
!= 0) f
o
r B
U
G_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
I
d
e
n
tif
y
for
(
;;)
t
ype loops a
s
f
o
rever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add su
p
port for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
What I've
s
een is
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
A
n
y
t
hing t
h
at we don't h
a
ndle is obviou
s
ly co
m
plicate
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpe
n
t
er
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add a comment t
o
g
e
t_variable_f
r
om_e
x
pr_
s
im
p
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next