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
We could save some memory by not allocating new memory for every foo = 0
2008-10-19
Dan Carpenter
We cou
l
d save some m
e
mory by not allocatin
g
ne
w
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
penter
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add
a m
e
rge ho
o
k
.
H
andle the si
t
uations li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
s
trcmp
(
)
doesn't accept N
U
LL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpent
e
r
ren
a
me two fu
n
c
t
io
n
s:
get_variable_from_expr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variabl
e
_from_expr() uses a static
b
uffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cr
e
a
te a
c
he
c
k_tem
p
late
.
c ex
a
mple script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_al
l
_states(
)
not segfault
every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nte
r
Fix g
e
t_value() to return negat
i
ve val
u
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We only
e
ver pass on
e
parameter in
t
o ge
t
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fi
x
ge
t
_all_st
a
tes() to mat
c
h the function defin
i
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
a
rpen
t
er
Remove
add_state() and state
_
def
i
n
ed() definitio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean u
p
.
Fix leak
.
My problem is
that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tia
l
commit o
f
the "implied
state pool
s
"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Do
h
.
W
e haven't been using sm
a
tch_e
x
tra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Get rid of path_histo
r
y
.
I
t's
never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpent
e
r
Make
goto_sta
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merg
e
_slist now that
the slists ar
e
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Insert st
u
ff onto lis
t
s in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
ar
p
enter
De
l
et
e
an unuse
d
f
u
nction me
r
ge_state_stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix:
if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
n
t
e
r
kmallo
c
(
)
a
nd friends
don't alway
s
return a no
n
-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carp
e
nter
The
checks from here got merged into check
_
null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the
s
t
u
ff
f
rom
c
heck_dere
f
ed
_
p
a
r
ams
.
c into ch
e
ck_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
F
i
x
bug
in or_slist_stack()
.
if (a && b) wasn't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a
h
ook at t
h
e end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Forgot anothe
r
st
r
ip
_
ex
p
r() c
a
ll
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Han
d
le assignmeents ins
i
de conditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Only print so
m
ething
for a->
f
oo and not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
rpenter
Ignore array d
e
clarat
i
ons
.
Th
o
se can't
b
e NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpent
e
r
Make cur_slist stati
c
.
It
'
s only use
d
in sm
a
t
ch_sta
t
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pente
r
Whit
e
space chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpente
r
Use mer
g
e_s
l
ist() in
s
tead of trying to
han
d
le it
y
o
u
rsel
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
a
r
pente
r
__process
_
continues() is supposed to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
New
smat
c
h_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(fo
o
) = 1
is th
e
same as
foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpent
e
r
Gen
e
ralize
stip_c
a
sts
(
)
.
It's now
c
alled
stri
p
_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpen
t
er
Ignore cas
t
s
.
fo
o
((in
t
*)&bar
)
is the sam
e
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
ated show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpen
t
er
I
g
nor
e
stuff like fo
o
.
bar
.
We on
l
y ca
r
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
t
er
What
h
a
ppe
n
s b
e
fore is
th
a
t par
a
meters woul
d
get
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
ar
p
e
n
ter
Misse
d
a crashing bug in the in
t
=> str
u
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
c
a
n'
t
bel
i
eve I was doing stacks wro
n
g
t
his who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Chan
g
e
d s
m
a
tch state f
r
om be
i
ng an int t
o
bei
n
g poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I w
a
nt
t
o reuse the name
smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
e
do th
e
null path thing
.
So lon
g
as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean u
p
.
Complicated
is j
u
st a
b
oolean
.
S
e
t i
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Arrays
ar
e
compli
c
ated so they sho
u
ldn't be return
e
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If we call se
t
_
s
tate
f
rom in
s
ide
a condition
then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If the pointer is initialized to n
o
n-null th
e
n
s
et
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ig
n
ore
the smatch binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpenter
When we merg
e
2 slists we need to deal
wit
h
the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
a
n Ca
r
penter
Cl
e
a
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Add nul
l
i
f
y
the path w
h
en you have
f
or(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Me
r
ge branch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpenter
Merge
b
r
a
n
ch 'unnullify' int
o
ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots o
f
do while(0)
l
o
ops don't call break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Remove
un
n
eeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an C
a
rpenter
Fix or_slist
_
stac
k
(
)
.
Be
f
ore it ju
s
t saved
o
n
e
s
tac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
rap crap crap
.
do n
o
t use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
C
lean ups and add some
_
_unnullif
y
_path st
u
ff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpe
n
t
e
r
S
m
all clean
u
p
.
goto_stack sho
u
l
d
on
l
y be
u
sed in
smatch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
arpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
ente
r
Fix b
u
g saving the f
a
lse_only s
t
a
c
k
.
B
e
f
o
re code
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Thi
s
i
s the
s
tar
t
of th
e
smatch_extra st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Fix
overwrit
e
_slist() so it ta
k
es
a poi
n
ter to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpente
r
Make smatch_extra
d
epend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Car
p
enter
Move is_zero
(
)
t
o sm
a
tch_
h
e
l
pe
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
Fi
x
a
b
ig bug
.
get_state
_
slist() was always ge
t
tin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
M
e
rge
.
.
/
.
.
/
smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Ca
r
penter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
a
r
p
e
n
t
er
Save the pre conditions inside t
h
e c
o
nditions so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
The main
change here was t
o
co
m
ple
t
ely r
e
write ho
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
B
reak things out into f
u
ncti
o
ns
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
Handle
while and fo
r
loops slig
h
tly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I rem
o
ved n
u
l
l
ify_path() e
a
r
lier
but that
w
as a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
I don't thin
k
the special_ke
r
nel_mac
r
os()
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
nter
Add a funct
i
on to do a strcm
p
(
)
w
i
th a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
Remove everyt
h
ing to
d
o
with path_i
d
's
.
I coul
d
n'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Replace the
v
ari
a
b
l
e __nega
t
e wi
t
h the function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Car
p
e
n
ter
Small c
l
ean up
.
Move the passi
n
g the whole
c
ondition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
C
rap
.
I
meant to mer
g
e this earlier when
I
d
ivided
.
.
.
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 Carpen
t
e
r
M
oved a
l
l
t
he
logic
f
o
r
han
d
ling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpe
n
ter
Oops
.
I g
u
ess I de
l
ete
d
the wro
n
g lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
ter
Don't pa
s
s the contents of s
i
zeof() to t
h
e client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpent
e
r
Improve how the debug info for mergin
g
states g
e
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pente
r
The ma
i
n
th
i
ng is
to handle zero
co
m
pariso
n
s be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Remove unn
e
eded code
.
This stuff is h
a
ndled in smatch
_
flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
We
nee
d
to be abl
e
t
o
break down (foo !
=
0) for BUG_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify
f
or(
;
;) typ
e
loops a
s
forever
l
oops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add suppor
t
for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I
'
ve seen is s
t
uff like
t
his:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Any
t
hing that we don't ha
n
dle is obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Merge br
a
nc
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpente
r
Add a commen
t
to g
e
t_var
i
able_
f
rom_expr_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add a
c
omment to get_variable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nulli
f
y_path()
h
ere is a bug
.
It over-writes
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
__
p
rin
t
_
cur_slist() is a useful function for debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rp
e
n
t
er
I
f
you have something l
i
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next