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
Get rid of redundant harmonize_states()
2008-10-18
Dan Carpenter
Fix
m
emory
l
eak
.
A
d
d more
commen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Add a me
r
ge hook
.
H
andle the sit
u
ations
lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp(
)
does
n
't acc
e
pt NULL
argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nte
r
rename two func
t
ions: get_v
a
riable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
ge
t
_variab
l
e
_from
_
ex
p
r() uses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
pente
r
Cr
e
ate a check_template
.
c
e
xample
s
cr
i
p
t th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Ma
k
e get_all_sta
t
es() not se
g
fault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix get_valu
e
() to return
negativ
e
val
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ev
e
r pa
s
s
one paramet
e
r
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
rpenter
Fix get_all_sta
t
es() to ma
t
ch the function
d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Re
m
ove ad
d
_stat
e
() and state_d
e
f
i
ned() definiti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Ca
r
penter
Cl
e
an u
p
.
Fix
leak
.
My prob
l
em is that I don'
t
understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tial
c
o
m
mit of
the "implied
s
tate
pools"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
D
o
h
.
We haven't bee
n
using sm
a
t
ch
_
extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
G
et rid of path
_
history
.
It's
n
ever going t
o
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
M
a
ke
goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Speed up merge_sli
s
t now that the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff onto lists in
a sorted or
d
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
De
l
ete an un
u
se
d
function
merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpe
n
ter
fix: if (*fo
o
) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rpen
t
er
kma
l
loc() an
d
friends d
o
n't always return a n
o
n-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Ca
r
penter
The
checks fr
o
m here got m
e
rged into c
h
eck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Mov
e
the stuff from chec
k
_de
r
efed_para
m
s
.
c into check_
n
u
ll_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
bug in or_slist_sta
c
k()
.
if (a && b) wasn't
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a
h
o
ok at the
e
nd of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpe
n
ter
Forgot another
s
trip_
e
xpr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Han
d
le
a
ssignmeents inside conditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
ent
e
r
Only
print somet
h
in
g
for a
-
>fo
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nter
Ign
o
re a
r
ray declarat
i
ons
.
Those can't be
N
ULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpenter
Make cur_s
l
ist
s
tatic
.
I
t
'
s only use
d
in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpe
n
ter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpente
r
Use mer
g
e_s
l
ist() in
s
tead of try
i
ng t
o
handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
_
_
p
rocess_
c
ontinues()
i
s
supposed to be bas
i
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ne
w
smatch
_
i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) =
1 is the
s
ame as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
Genera
l
ize stip_casts()
.
I
t's now
c
alled
str
i
p_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
casts
.
f
o
o((int *)&bar) is the same as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Created show_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
nore
st
u
ff like fo
o
.
bar
.
We only
ca
r
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
W
hat happens
before
is t
h
at parameters wo
u
l
d get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carp
e
nter
Mis
s
ed
a
c
r
ashin
g
bug i
n
the i
n
t => str
u
ct
conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Ca
r
p
e
nter
I ca
n
't believe I was doing stac
k
s wrong
t
his wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
C
hanged smatch stat
e
from being an int t
o
bein
g
poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
I
w
ant
to reuse the name
smatch_state
.
The
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Redo the
null p
a
th thing
.
S
o long a
s
t
h
ere
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Clean up
.
Co
m
plicated
i
s
j
ust a
b
oolean
.
S
e
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
Arr
a
ys are
c
ompli
c
ated so they shou
l
dn't b
e
retu
r
ned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
we call set_state
from inside a condition th
e
n it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
If t
h
e
p
ointer i
s
i
n
i
t
i
a
lized to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
C
a
rp
e
nter
i
g
nore
t
h
e smatch binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
penter
When we merge 2 slists we ne
e
d to deal with th
e
c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Ca
r
pente
r
Add nullify the path when
y
o
u
h
ave for(
;
;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
e
r
Merge
branch '
l
s' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Mer
g
e branch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpe
n
ter
Lots of do
while(0)
l
oops don't cal
l
break
so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpe
n
ter
Remove unnee
d
ed
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
F
ix or_slist
_
stack()
.
Before it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap cra
p
cr
a
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
C
l
ean ups an
d
add some __u
n
nullif
y
_
path stuff
.
H
o
pefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small cl
e
anup
.
g
oto_stack should only be us
e
d
in
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpe
n
ter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpent
e
r
Fix b
u
g s
a
ving t
h
e false
_
only st
a
c
k
.
Before code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Th
i
s is the start of
t
he smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix ov
e
rwrite_sli
s
t() so it takes a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Mak
e
smat
c
h_extr
a
d
epend
on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Ca
r
p
en
t
er
M
o
v
e is_ze
r
o()
to sma
t
ch
_
h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
e
nter
Fix a big bug
.
get
_
sta
t
e_sl
i
st()
w
as al
w
ays 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
bra
n
c
h 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpe
n
ter
S
ave the pre
c
onditions insid
e
t
he conditio
n
s
so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpen
t
e
r
The mai
n
change here was to completely rewr
i
t
e how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
pent
e
r
Br
e
a
k
t
hings out into functions a
bit
.
Clean up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle while
and for lo
o
ps sligh
t
ly be
t
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpe
n
t
e
r
I removed
n
ulli
f
y_path
(
) earlier but t
h
at was a mis
t
ake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nter
I don't think
t
he special_k
e
rnel
_
macros
(
)
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
ter
Add a function
to do a strcmp(
)
w
ith a
s
ymbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
e
move
everyth
i
ng to do with pat
h
_id'
s
.
I
could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Repla
c
e the variable
_
_negat
e
with
t
h
e
f
u
nction __ne
g
ate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
m
a
l
l
cl
e
an up
.
M
o
v
e the pas
s
ing th
e
wh
o
le condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
arpenter
Crap
.
I meant to merge
this
e
a
r
lier whe
n
I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpen
t
er
Add a co
m
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Moved all the lo
g
ic for
h
a
ndling
c
o
nditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
O
ops
.
I guess I delet
e
d the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Don't pass the con
t
ents of sizeof(
)
to
the cl
i
e
n
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpent
e
r
Improve how
t
h
e debug i
n
f
o for merging
s
tates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
Th
e
mai
n
thi
n
g is t
o
handle zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carp
e
nte
r
Remove unneeded code
.
Th
i
s stuf
f
is handled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
Carpent
e
r
W
e
need
t
o be
a
b
le to break
down (
f
oo !=
0) f
o
r BUG_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
p
enter
Iden
t
ify f
o
r(;;) type loops as fore
v
er lo
o
p
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support fo
r
BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Car
p
ent
e
r
What I've s
e
en is
stuf
f
like this
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Anythi
n
g
t
hat we don't
h
andle is obvious
l
y complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Merge branch 'de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comm
e
nt to get_v
a
riable_from_e
x
pr_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comme
n
t to get_
v
ariable_from_expr_sim
p
le(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
The nullify_path() her
e
is a bug
.
It over-writes
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpen
t
er
__print_c
u
r_
s
list() is a
useful fu
n
c
t
i
o
n
fo
r
debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
I
f
you hav
e
something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the line num
b
ers
fo
r
each stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next