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
Save the possible states instead of just merging them into undefined. The
2009-02-02
D
a
n Carpen
t
er
S
a
ve the p
o
ssi
b
l
e
s
tates i
n
ste
a
d
of just m
e
rging the
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Igno
r
e emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpe
n
ter
Merg
e
bra
n
ch
'mast
e
r' into p
o
o
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Fix likely() and unlikely() h
a
ndling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nter
A
dd single quotes around the variab
l
e for con
s
is
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
penter
W
e
c
o
u
ld save some
memory b
y
no
t
allocati
n
g new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a c
o
m
ment showin
g
wher
e
the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
This is left
over from Oc
t
ober as p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
p
enter
Add ge
t
_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from October
.
Im
p
lied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rp
e
nt
e
r
We could sa
v
e some memory by not al
l
ocat
i
ng n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
Fix
m
e
m
o
ry l
e
a
k
.
Add m
o
re c
o
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpente
r
Add a merge hook
.
H
an
d
l
e the situatio
n
s l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rc
m
p()
d
oesn't ac
c
ep
t
NU
L
L argum
e
nt
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpe
n
ter
rename two
functions:
g
et_var
i
able_
f
rom_expr
_
simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_var
i
a
b
le_from_expr()
u
ses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
reate a check_templa
t
e
.
c example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make
get_all_states() not segfault ev
e
r
y
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
F
ix get_value() t
o
r
e
t
u
rn negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpent
e
r
W
e
only ever pass one paramet
e
r into g
e
t_
v
alu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
Fix get_all_state
s
() to
match th
e
func
t
io
n
defi
n
ition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
pen
t
er
Remo
v
e add_state() a
n
d state_def
i
ned() def
i
n
i
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Clea
n
up
.
Fix
l
e
ak
.
My
problem is that
I d
o
n't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
I
n
i
tial commit
o
f
t
h
e "im
p
li
e
d
s
tate pools" stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We haven't b
e
en using smatch_
e
xt
r
a for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpe
n
ter
Get 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 Carpenter
Mak
e
goto_
s
tack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpe
n
ter
Sp
e
ed up merge_slis
t
now that the sl
i
s
t
s
are
o
rde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n C
a
r
p
enter
Insert stuff
on
t
o
l
ists in a sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unu
s
ed funct
i
o
n
merge_state_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an
Carpenter
fi
x
:
i
f
(*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpenter
kmalloc() and friends don
'
t always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
er
The che
c
ks f
r
om here got me
r
ge
d
into
check_
n
ull_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Move the stuff from check_de
r
ef
e
d_par
a
ms
.
c into check_
n
ull_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Fix b
u
g i
n
or_slist_stack()
.
if (a && b) wasn'
t
b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Add a hook at
t
he end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
a
n
other
s
tri
p
_exp
r
() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Handle assignmeents inside con
d
itions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
O
n
ly prin
t
so
m
ethi
n
g
for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an
Carpente
r
Ignore array
d
eclar
a
tio
n
s
.
Thos
e
can't be NULL
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Carpenter
Make cur
_
slist static
.
It's only
u
sed in
smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an
Carpente
r
U
se merge_slist() instead of trying to
h
andle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Ca
r
pen
t
er
__pr
o
cess_
c
on
t
in
u
e
s
() i
s
supposed to be
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
New smat
c
h_ignore
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the same
a
s foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Gener
a
lize
s
tip_cas
t
s()
.
It's now called str
i
p_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpente
r
Ignore casts
.
foo((int *)&bar) is the same as
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created
s
how_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Ignore stuff
like f
o
o
.
b
a
r
.
We only care abo
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
W
h
a
t
happens before is that
parameters would get assign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an C
a
r
penter
Mi
s
s
e
d a cras
h
ing b
u
g in the int => struc
t
conve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
a
r
penter
I can't believe I wa
s
doing st
a
cks
wr
o
ng th
i
s
w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
Chan
g
ed smatch state from being an int to b
e
ing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
I want to re
u
se
t
h
e name
smatch_state
.
The
c
u
r
rent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Redo the null path thing
.
So
l
on
g
as
t
here
i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Clean up
.
C
o
m
plicated is just a boolean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Arrays are
c
om
p
licated so they sho
u
ldn't
be
returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If we call set_stat
e
from inside a condi
t
i
o
n
t
hen it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer is initialized to non-
n
ull
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpen
t
er
ig
n
ore the smat
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When
we merge 2 sli
s
ts we ne
e
d to deal w
i
th the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Cle
a
n
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nul
l
ify the path whe
n
you
h
ave
f
o
r
(;;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpen
t
e
r
M
e
rge bra
n
ch 'ls' into u
l
tratmp
commit
|
commitdiff
|
tree
2008-09-13
D
an Car
p
enter
Me
r
g
e b
r
anch
'
unnul
l
if
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Lots of do whil
e
(0) lo
o
ps
don
'
t call break
s
o it
does
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove u
n
needed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carpen
t
e
r
Fix or_slist_stack()
.
Befo
r
e
it just s
a
ved one s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
Carpenter
crap
c
rap crap
.
do not
u
se
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clean ups and add some
_
_
un
n
u
llify_pat
h
st
u
ff
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carp
e
nter
Small clea
n
up
.
goto_stack shou
l
d only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
ar
p
en
t
er
Fix b
u
g saving
the
fa
l
se_onl
y
stack
.
Before
c
ode
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This
i
s the s
t
art of the
s
match_extra st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
Fix overwrite_
s
list() so it
t
akes a poi
n
t
e
r to a po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Ca
r
p
enter
Make smatch_extra depen
d
o
n
sm
a
t
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move is_zero(
)
to
smatch
_
helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpen
t
e
r
F
i
x a big bug
.
get
_
state
_
slist() was always get
t
in
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Mer
g
e
.
.
/
.
.
/s
m
atch/d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre
condi
t
ions inside
the co
n
d
itio
n
s so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
T
he main change here was to compl
e
tely rew
r
ite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k
things ou
t
i
n
to functions a
b
it
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
enter
H
a
ndle while
a
nd for loops slightly
b
et
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed n
u
llif
y
_path(
)
earlier bu
t
that wa
s
a
m
ista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpent
e
r
I don't
t
hink t
h
e
s
pecial_kernel_
m
acros() funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpen
t
e
r
Add
a
fun
c
t
ion to
do a s
t
rcmp(
)
with a symb
o
l name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
R
e
move
e
verythin
g
to do with p
a
th
_
id's
.
I could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Rep
l
ace the variable __negate with the
function __negat
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpe
n
te
r
Sma
l
l clean up
.
M
ove
the passing th
e
whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
Crap
.
I meant to merge
t
hi
s
e
a
rli
e
r
w
hen I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Moved
a
l
l th
e
lo
g
i
c
fo
r
handling condition
s
i
n
to a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I
guess I de
l
eted the wro
n
g list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Don't pa
s
s t
h
e co
n
tents of si
z
eof() t
o
the cli
e
n
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Car
p
e
n
t
er
I
m
pro
v
e how the debug inf
o
for mer
g
ing state
s
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
The
m
ain thing is to handle zero comparisons bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Rem
o
ve unne
e
de
d
code
.
This s
t
uff
i
s
handled in smatc
h
_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
We n
e
e
d to be able to br
e
ak down (foo != 0) fo
r
B
UG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next