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 support for "if (a?b:c) { ..." ternary conditions
2008-09-28
Dan Car
p
ente
r
O
n
ly
print something for a->foo a
n
d not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ignore array declarations
.
Th
o
se ca
n
't be NU
L
L
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpenter
Make
cur_
s
list
s
tatic
.
It's
on
l
y used
i
n sm
a
t
c
h_
s
t
a
tes
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpente
r
White s
p
ace c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist() i
n
stead of trying to handl
e
it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
r
p
en
t
er
__process_continues() is
s
u
pposed to b
e
basic
a
l
ly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
(foo) = 1 is the same
a
s foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize s
t
ip_cast
s
()
.
I
t
's now called st
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
gnore cast
s
.
foo((in
t
*)&bar) is the same
a
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Created
s
h
o
w_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ignore stuff like
foo
.
bar
.
We only care about
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
What ha
p
pens before is that par
a
meter
s
would get assi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Ca
r
p
e
nt
e
r
Miss
e
d a crashing bug in the
i
nt => st
r
uct conver
s
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
I can'
t
believe I was
doing stacks wrong
this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Changed smatch sta
t
e fro
m
b
e
i
ng an int to being point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I wa
n
t to r
e
u
s
e the name smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpente
r
Redo
the null path t
h
in
g
.
So lo
n
g as there
i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean up
.
Comp
l
icated is
j
u
st a boolean
.
S
e
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
r
rays are compl
i
ca
t
ed so they shouldn't be ret
u
rned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
w
e
call set_s
t
ate from inside
a
con
d
ition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
If the
p
ointe
r
is initialize
d
t
o
no
n
-null the
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
i
g
nore the smatch
b
inary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carp
e
nt
e
r
When we merge 2 slists we need to dea
l
with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Carpen
t
er
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpe
n
ter
Add
nullify the p
a
th when y
o
u have for(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
Mer
g
e
bran
c
h 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
M
erge branch 'unnul
l
i
f
y
'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Lots of do wh
i
le(0) loops don't
c
all br
e
ak so it doe
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
R
emov
e
u
nneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carpente
r
Fix or
_
slist_stack()
.
Before it ju
s
t
s
aved one st
a
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Ca
r
penter
crap crap
c
rap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpente
r
Clean ups and add
s
ome __unnullify_path stuff
.
Hopef
u
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Small
c
leanup
.
g
o
to_sta
c
k
sho
u
ld
only be
u
sed in smat
c
h_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix bug savi
n
g the fal
s
e_only stac
k
.
Before c
o
de
like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an
Carp
e
n
t
e
r
T
his is the start of t
h
e smatch_
e
x
tra stuf
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpente
r
F
i
x ov
e
rwrite_slist() s
o
it takes
a
p
oint
e
r
t
o a po
i
nte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Car
p
e
n
t
e
r
Make smatch
_
e
xtra depe
n
d on
smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
Carpenter
Move is_zero
(
)
to
s
match_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpe
n
t
e
r
Fix a bi
g
bug
.
get_state_slist() was
a
lway
s
gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pen
t
er
Me
r
ge
.
.
/
.
.
/sm
a
tc
h
/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Save the pre conditions in
s
ide
t
h
e
c
onditions so th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
The
m
ain change here was to comple
t
e
ly rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
B
reak things out into functions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle whi
l
e
and for loops s
l
i
g
htly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Car
p
enter
I
r
e
m
oved nullify
_
p
a
th() earlie
r
but that was
a m
i
sta
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
I don't think the spe
c
i
al_kernel_macros()
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a function to
d
o a
strcmp() with a symb
o
l name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Remove everything
to do wit
h
p
a
th_
i
d's
.
I coul
d
n't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Rep
l
ace the varia
b
le __negate wit
h
t
he functi
o
n
_
_ne
g
ate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
nt
e
r
Sma
l
l
clean up
.
M
o
v
e
the pas
s
ing the whole condi
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
C
rap
.
I me
a
nt to mer
g
e
this earlier
when I
div
i
d
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Ad
d
a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Mo
v
ed all the
l
o
g
ic for handling
c
ond
i
t
i
o
ns
i
nto a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I dele
t
ed
t
he wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Don
'
t pass
the c
o
ntents of
siz
e
of()
t
o
the
c
lient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Impro
v
e how
the debug in
f
o for merging states
get
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pe
n
te
r
The main
t
hing is
t
o handle zer
o
c
o
mparisons
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
Remove
unneeded cod
e
.
This stu
f
f is ha
n
dle
d
i
n smatch
_
flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
n
eed
t
o
be a
b
le to break do
w
n (foo != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Ide
n
t
i
fy
for(;;) type loops as forever loo
p
s
.
Th
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpen
t
er
Add suppor
t
for
BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
What I'v
e
seen is s
t
uff like
thi
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpente
r
Anything that we don't hand
l
e is ob
v
iously complic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
er
Merge
b
r
a
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
ent
e
r
Add a comment to get
_
va
r
iable_from_expr
_
s
imple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
A
d
d a comment t
o
get_variable_fr
o
m_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
Th
e
nu
l
lify_path() h
e
re is a bug
.
It
o
ver-wr
i
te
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
pente
r
__print_cur_sl
i
st
(
) is a
useful function for de
b
ugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
I
f you have s
o
met
h
ing like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Update the line numbers for eac
h
s
ta
t
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Change the
m
erge rules for cust
o
m
m
er
g
e scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM
_
D
EBUG to a he
a
der
s
o everyone
ca
n
use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a
c
u
s
tom merge
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
penter
Update the l
i
ne number
a
t
t
h
e very start of the func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carpen
t
er
Change th
e
d
ebug o
u
tpu
t
a b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Ca
r
pe
n
ter
Add a --debug opti
o
n
.
It has to b
e
the
f
irst option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rpe
n
ter
Make sure
t
he
v
ariable n
a
me is NULL terminate
d
otherwi
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpe
n
ter
Small clean ups
.
No c
h
an
g
e
i
n
b
ehavi
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan C
a
rpenter
This i
s
an
off by
o
ne error rea
l
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_init
i
alize() function now
t
akes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an
Carpenter
Re
m
ove an off by one error detecting
the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
enter
Pat
c
h
i
t with the s
t
uff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
r
p
en
t
e
r
T
his
i
s an unmodif
i
ed tar ball
.
commit
|
commitdiff
|
tree