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 free_trackers_and_list() and free_tracker_list() functions.
2009-01-28
Dan Ca
r
p
enter
Ignore emacs garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Merge branch 'master'
i
nto p
o
ols
5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
W
e
co
u
ld s
a
ve some m
e
mory by not allocating new me
m
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add a co
m
ment sh
o
win
g
w
h
ere the
t
ests are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
This is left over from October
a
s part
o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpe
n
ter
Add
g
et_p
o
ssible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Stuff
l
eft o
v
er from
October
.
Implied pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
W
e
could save som
e
memory by not
a
llocating
n
e
w
m
emor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix
memory leak
.
Add
more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge
hoo
k
.
Handle the sit
u
ations lik
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpe
n
t
e
r
str
c
mp() doesn't acce
p
t NULL arg
u
me
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ren
a
me two functions:
g
e
t_var
i
ab
l
e_fr
o
m_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
g
e
t
_varia
b
l
e
_fro
m
_exp
r
() u
s
es a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
C
reate
a
check_templa
t
e
.
c
exa
m
ple scrip
t
that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
Mak
e
g
et_al
l
_states() not s
e
gfault ev
e
r
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_valu
e
()
to
return ne
g
ativ
e
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We o
n
ly ever p
a
ss
one param
e
ter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix get_
a
ll
_
s
t
ates()
t
o match
the
f
unction defi
n
iti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state(
)
an
d
state_defined(
)
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Clean
up
.
Fix leak
.
My pro
b
lem i
s
that
I do
n
't unders
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Initial
c
ommit
of
t
he
"
implied sta
t
e pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
h
aven't been using smat
c
h
_
e
x
tra for a
w
hile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpen
t
er
Get r
i
d
o
f path_history
.
It's
nev
e
r goin
g
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pen
t
er
Make goto_stack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed up merge_
s
list now
t
hat th
e
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Ca
r
pen
t
e
r
In
s
ert stuff ont
o
lists in
a sorted or
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Ca
r
penter
Delet
e
an unused fun
c
tion m
e
rge_state_stack
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
a
r
penter
fix: if (*foo) { (*fo
o
)
->b
a
r; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmal
l
oc()
a
n
d
fr
i
ends don't
a
lw
a
ys return a n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks fro
m
here got me
r
ged into chec
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
p
e
nter
M
ove the stuff from
c
h
eck_derefed_params
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
Fix bug in or_slist_sta
c
k()
.
i
f
(
a && b) wasn't
b
eing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add a hook at the e
n
d of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpent
e
r
Forgot another
strip_expr
(
) call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pente
r
H
andle assignmeents inside conditio
n
s b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Only
p
rint something for a->foo and
n
o
t
a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Ignore ar
r
ay
d
ecl
a
rations
.
Thos
e
can
'
t
b
e
N
U
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
I
t
's only used in smatch
_
s
t
ates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
White space c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge
_
slist(
)
instead
of tr
y
ing t
o
ha
n
dle it you
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Ca
r
p
ente
r
_
_
process_
c
ontinues() is s
u
pposed to be basic
a
ll
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
t
e
r
New sm
a
t
c
h_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo)
= 1 is the same as foo
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
Ge
n
e
r
a
lize stip_
c
asts()
.
I
t
's now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rp
e
n
t
e
r
Ignore cast
s
.
foo((int *)
&
bar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
ated
show_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Ignore st
u
ff
l
ike foo
.
bar
.
We only care
a
b
out foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an C
a
rpenter
What happe
n
s
b
efore is t
h
a
t para
m
eters would
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
Mis
s
ed a crashing bug in
t
he int =
>
stru
c
t
c
onversi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
I can'
t
b
elieve
I
was doin
g
stacks
wrong
thi
s
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpen
t
e
r
Changed
sma
t
ch
s
tate f
r
om b
e
ing an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpent
e
r
I want to reuse the name smatch_
s
tate
.
The
cur
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
ar
p
ente
r
R
edo th
e
n
ul
l
path thing
.
S
o long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Ca
r
penter
Clean up
.
Complica
t
e
d is
j
u
s
t
a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
ter
Save th
e
pre con
d
itions inside the cond
i
tions so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
The main change here was to completely re
w
rit
e
h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Br
e
ak th
i
ng
s
out into functions
a
b
i
t
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Ca
r
penter
H
andle
while and for loops slightly be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carpenter
I
r
emoved nullif
y
_path() earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
I don't
t
hink
the sp
e
cial_k
e
r
n
el
_
macr
o
s
(
)
f
u
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Add a
function to d
o
a strcmp() wit
h
a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remov
e
ever
y
t
h
ing to do w
i
th path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpe
n
t
e
r
Replac
e
the variable __ne
g
ate wit
h
the func
t
ion __
n
egate
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
S
m
all clean up
.
Move t
h
e passing the whole con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpent
e
r
C
rap
.
I mea
n
t
t
o m
e
rge thi
s
earlie
r
whe
n
I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
dd a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Moved
all the logic for han
d
ling
c
onditi
o
n
s
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I gue
s
s I
d
e
l
eted the wro
n
g list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Do
n
't pass
t
h
e
c
o
n
tents of siz
e
of() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
e
r
I
mprove how the debug info for merging sta
t
es gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Ca
r
penter
The
main thin
g
is to handle zero co
m
parisons be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
Remove unneeded code
.
This stuf
f
is hand
l
e
d
in smatch_
f
low
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
W
e
nee
d
to be
a
b
le to break down
(
fo
o
!
=
0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Identif
y
for(;;)
t
ype loops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Add su
p
port fo
r
BUG_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
n
t
e
r
What I've seen is stu
f
f like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
A
nything
that we
d
on't ha
n
dle i
s
o
b
viously compli
c
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
er
Add a comment to g
e
t
_variable_from_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
a c
o
mment to ge
t
_v
a
riable_from_
e
xpr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
n
ter
T
h
e
nullify_path()
h
ere is a bu
g
.
It
o
v
e
r-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
t
e
r
_
_print_cur_sl
i
st() is
a useful fun
c
t
i
on for debuggi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Car
p
enter
I
f you
ha
v
e so
m
e
t
hing
l
i
k
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
U
pdat
e
the
line numbers
f
or e
a
c
h
stat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Change the merge r
u
les fo
r
c
ustom
m
erge scripts
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Move SM_DEBUG to a he
a
der so e
v
eryone can u
s
e it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Add a custom merg
e
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpent
e
r
Upda
t
e
t
he lin
e
n
u
m
b
er at the very s
t
a
r
t
o
f the
fun
c
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
a
rpenter
Change
the debu
g
o
utput a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debug option
.
It has to be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
an Ca
r
penter
Mak
e
sure t
h
e variabl
e
name is NULL term
i
na
t
ed
o
therwis
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpen
t
er
Sma
l
l clean ups
.
No
change in beha
v
io
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpent
e
r
T
his is an
o
f
f by one error rea
l
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpe
n
ter
The spa
r
se_initi
a
lize() function now tak
e
s a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree