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
Handle declarations inside switch statement blocks.
2008-10-04
Dan Carpenter
Fix b
u
g in or_slis
t
_stack()
.
if
(
a && b)
wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a
hook at the end o
f
a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Forgo
t
another strip_expr(
)
c
a
l
l
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Handle assignmeen
t
s inside con
d
itions
bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only
p
rint som
e
thin
g
for
a
->foo
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpente
r
Ignor
e
array declarations
.
Those can't be NULL obv
i
ou
s
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Carpenter
M
ak
e
cur_
s
list s
t
a
tic
.
I
t's only used
i
n smatch_stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Whit
e
space cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
U
se merge_slist() instead of try
i
ng to han
d
le
i
t
y
ou
r
s
e
lf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
__
p
r
o
c
ess_contin
u
es() is supp
o
sed
to b
e
b
asically
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
New smatch_ignore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(fo
o
) = 1 i
s
th
e
sa
m
e as f
o
o = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
e
n
ter
Gener
a
lize stip_casts()
.
I
t's now
called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
I
g
nore casts
.
foo((int *)&bar) is th
e
sa
m
e as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Create
d
show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore stuff like foo
.
b
a
r
.
We only care abou
t
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
n
ter
What happens be
f
or
e
is that parame
t
ers w
o
u
ld get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
Mi
s
sed a cra
s
hing bu
g
in the int => struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpente
r
I can't believe I
was doing stacks wr
o
ng this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
nged smatch stat
e
from being an in
t
to be
i
ng
p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
I want to reuse
t
he name
s
match_s
t
ate
.
The curre
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an
C
arpenter
Redo the null path
th
i
ng
.
So long as the
r
e
i
s one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Cle
a
n up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rp
e
n
t
er
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an
C
arpen
t
er
Save the
pre condition
s
inside the co
n
ditions so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpen
t
e
r
T
h
e main chan
g
e here
w
as to complet
e
ly rewrite h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break t
h
ings
o
ut in
t
o fu
n
ct
i
ons a
b
it
.
Clea
n
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Ha
n
dle whil
e
a
n
d for loops s
l
igh
t
ly b
e
tte
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
a
r
penter
I re
m
o
v
ed
nullify_path() earlier but that was
a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
I
d
on't think the special_k
e
rnel_macro
s
() funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
te
r
Add a
function to do a s
t
r
cmp
(
) with a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Remove ev
e
ryt
h
ing
to do with path_id's
.
I c
o
uldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace t
h
e v
a
riable __negate with the fu
n
c
tion __ne
g
ate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
S
m
al
l
clean up
.
Move the pa
s
sing the who
l
e condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Cra
p
.
I meant to
merg
e
this e
a
rli
e
r when
I divi
d
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
A
d
d a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the
logic for h
a
ndling condition
s
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Oops
.
I guess I deleted
the
w
rong li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Don't pass the contents of sizeof() to
t
he client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improv
e
how the debug info for mergi
n
g stat
e
s
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
The main thing is to handle ze
r
o
comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpenter
Remove unneeded
c
od
e
.
This stuff is handl
e
d
i
n smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need to
b
e
able to break down (f
o
o != 0) for
BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
I
d
entify fo
r
(;;) type loops as forever
loop
s
.
Th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add support for BU
G
_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
What
I
've seen is stuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpent
e
r
Anything that we
don'
t
h
andle is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comm
e
nt to get_va
r
i
a
ble_from_
e
xp
r
_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
A
dd a commen
t
t
o get_v
a
riable_
f
rom_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpen
t
er
The nul
l
i
f
y
_pat
h
() h
e
r
e
is a bug
.
It over-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arp
e
nter
__print_cur_slist() is a useful
f
unction for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
te
r
If you have something lik
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
Ca
r
penter
Update
the l
i
ne numbers f
o
r ea
c
h
s
tatement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpent
e
r
Change the me
r
ge ru
l
es
f
or c
u
stom merge
s
cripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Move SM_DEBUG to a header so everyone can
u
se it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Add a cus
t
om
m
er
g
e
f
un
c
ti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
D
a
n Ca
r
penter
U
p
d
ate t
h
e lin
e
n
u
mb
e
r
a
t the very start of th
e
f
u
nc
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Da
n
C
a
rpent
e
r
Change
the debug o
u
tput a
b
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add
a
-
-
d
ebug option
.
It h
a
s to
be
the fir
s
t opti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make s
u
re the variable name is NULL
t
e
rminated otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small
clean
u
ps
.
No
c
hange in b
e
havior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n
C
a
rpe
n
te
r
Th
i
s is an off by
o
ne error
r
eally
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpenter
T
he sparse_i
n
it
i
a
lize() function now takes a file
l
ist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree