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
This check_order() seems superfluous.
2008-10-15
Dan Carpe
n
ter
Fix get
_
all_s
t
ates
(
) to mat
c
h
the funct
i
o
n
defi
n
it
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_state
(
) and
s
t
a
te_def
i
n
e
d()
d
ef
i
nitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix le
a
k
.
My problem is that I don
'
t
u
nde
r
sta
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Initi
a
l com
m
it
o
f the "implied s
t
ate
poo
l
s" stu
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
arpenter
Doh
.
We haven'
t
been
using smatch_ext
r
a for
a
whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Get rid of pat
h
_history
.
It's never
g
oing to be use
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Make goto_stack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Speed
u
p me
r
ge_slist now
that the slist
s
are or
d
er
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
I
nser
t
stuff onto lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Delete an unused function me
r
ge_sta
t
e_stac
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
if (*
f
oo) { (*foo
)
->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n C
a
rpe
n
ter
km
a
lloc()
an
d
frien
d
s don't a
l
ways ret
u
rn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
an
C
arpent
e
r
The checks fr
o
m
here g
o
t merged into check_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
t
er
M
o
v
e
t
h
e
stuff
f
r
o
m
c
heck
_
deref
e
d
_
para
m
s
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bug in or_slist_st
a
c
k
(
)
.
if (a
&
& b) wasn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
A
d
d a hook at the end of a f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
F
o
rgot anoth
e
r strip_
e
xpr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Handle assignm
e
ents inside conditions bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print so
m
ething
for a->f
o
o
a
nd not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
Ig
n
o
re
a
rray
dec
l
arations
.
Those can't
b
e NULL
o
bvio
u
sly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
en
t
er
Make
c
ur_sl
i
st static
.
It's only used i
n
smatch_st
a
tes
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpent
e
r
White
s
pace cha
n
ge
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Us
e
mer
g
e_slist() instead of trying
to hand
l
e it you
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n C
a
r
p
e
nter
__process
_
continues() is suppo
s
ed to be basical
l
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
New
smatch_i
g
nore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpent
e
r
(foo) =
1
i
s the same as f
o
o = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
General
i
ze
stip_cast
s
()
.
I
t
's now
c
alled strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore casts
.
foo((int *)&bar) is the same as
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
r
ea
t
ed
s
how_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore
s
tuff li
k
e foo
.
bar
.
We on
l
y
care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Car
p
enter
W
h
at
h
app
e
n
s before is
t
hat parameters wou
l
d g
e
t assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
rp
e
nter
Missed a cras
h
ing bug
i
n the int =>
struct conver
s
io
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
r
p
enter
I can't believe I
w
as do
i
n
g
st
a
cks wrong this
w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
rpen
t
er
Ch
a
nged sm
a
tch sta
t
e fro
m
being an in
t
to be
i
ng p
o
i
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want
to reu
s
e the
name smatch_sta
t
e
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
pen
t
er
Redo the null path
th
i
ng
.
So l
o
ng as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Clean up
.
Complicated
i
s just a b
o
olean
.
Se
t
it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Mer
g
e
b
ranch 'd
e
v
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the p
r
e conditions in
s
ide the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carp
e
nter
The
m
ain change
here
was
t
o completely rewrite
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
Brea
k
th
i
n
g
s out into func
t
ions a
b
it
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an C
a
r
p
e
nt
e
r
Handle while and for lo
o
p
s
slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rp
e
nter
I
removed n
u
llif
y
_p
a
th()
earl
i
er but that was
a
m
i
stake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think the special_kernel_m
a
cros() fun
c
ti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a funct
i
on to d
o
a
strcmp
(
) with a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
t
er
Remove ever
y
thin
g
to
do with p
a
t
h_
i
d's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
arpent
e
r
Repl
a
c
e
t
he variable _
_
negate with the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
mall clean up
.
M
ove the passing
the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Ca
r
penter
Crap
.
I
meant to merg
e
this ea
r
lier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Mov
e
d all the logic f
o
r hand
l
ing con
d
i
t
i
ons
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Oop
s
.
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
pa
s
s the
c
onten
t
s of sizeo
f
() to the
c
l
i
e
n
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
Impr
o
ve ho
w
the debug info for merging states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpent
e
r
Th
e
main thing is to handle zero
c
om
p
ari
s
ons be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Remo
v
e u
n
needed code
.
T
his stuff is handled
i
n smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need
t
o be a
b
l
e to b
r
eak do
w
n (foo !=
0
) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Identify for(;;) ty
p
e loops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
dd support for BUG_ON(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What
I
've se
e
n is stuff like
this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpent
e
r
Anything that we don't handle is obviously
c
ompli
c
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
p
e
nter
Merg
e
branch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
nter
Add a comment to g
e
t_
v
aria
b
le_from_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
A
dd
a
comment to get_variable_from_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpen
t
e
r
The nullify_path() her
e
is a bug
.
It
o
ver
-
w
r
ites all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
ar
p
enter
_
_pr
i
n
t
_cur_slist(
)
is a useful function for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
f yo
u
hav
e
something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Update t
h
e li
n
e numbers for ea
c
h statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
pent
e
r
Change the mer
g
e rule
s
for cu
s
t
o
m merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Move SM
_
DEBUG to a header so everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
e
n
t
e
r
Add a custom merge funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpenter
Updat
e
th
e
line
n
umbe
r
at the very star
t
of the fu
n
c
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpente
r
Change the debug output a
bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
A
dd a --debug option
.
I
t has
t
o be
t
he firs
t
opti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n
C
a
rpente
r
Make sure the variable n
a
m
e
is NULL termina
t
e
d
otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Da
n
Carpe
n
ter
S
mall clean ups
.
No cha
n
ge in behav
i
or
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is
a
n off
b
y o
n
e err
o
r
rea
l
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Da
n
Carp
e
nter
The spa
r
s
e
_
i
nitialize() functio
n
now tak
e
s a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree