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
Clean ups. Comments. Rename slist_stack to named_stack.
2009-02-11
Dan
C
arpenter
Clean ups
.
Comments
.
R
ename
slist_stac
k
to
named_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha ha
.
I still suck a
t
p
o
in
t
ers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Clea
n
ups
.
Com
m
e
n
t
s
.
Remove
debugging
c
ode fro
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cle
a
n up
.
Also pres
e
rve
the ->pools
i
n
one p
a
th o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
C
l
ea
n
up ge
t
_s
t
a
t
e
_
slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove __overwr
i
te_c
u
r_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
There w
a
s debugging outpu
t
that accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
R
e
move a state from it's ->pools when
s
et_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don
'
t
delete the ->pools
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Try understand the impli
c
ations
fr
o
m compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Create a
state &me
r
ged
.
When we merge s
t
u
ff it i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch
_
implied _r
e
a
lly_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Ignor
e
cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Smal
l
c
leanups
.
(Wh
i
t
e
spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Whitespac
e
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ad
d
some m
o
re
lock
i
ng functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied
pools so that
at least
it does so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
I
t seemed li
k
e
tracker_list would be us
e
ful in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add
a README describin
g
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Add s
c
ript to
f
ind NULL derefer
e
n
c
es between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Fix u
s
age message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
a
r
pente
r
Chec
k
for
m
alloc(
)
as w
e
ll as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix segfaul
t
when
h
andling
im
p
licitly
d
eclar
e
d functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
W
a
r
n when we don't acquire locks when c
a
lling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (and fail) to
fi
n
d memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Almost print a message when you c
o
me
to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Ad
d
check to l
o
ok for double
f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpen
t
er
Add checking for
l
o
ck_
k
e
rnel(
)
/unlo
c
k_kern
e
l(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
c
h
e
ck_locking che
c
k both spinlocks and sem
a
ph
o
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
A
d
d
a new
f
u
nc
t
ion slist_has_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
I
f
there
is
an i++ t
h
e
n
the va
l
ue of 'i' is unde
f
i
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ent
e
r
Add
a
new che
c
k_
l
ocking scri
p
t tha
t
checks s
p
inlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Save the possible sta
t
es in
s
tead of just merging
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arp
e
nter
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
rpenter
M
erge branch 'master' into
poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely() and
u
nli
k
ely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpente
r
Add si
n
gle quote
s
around the
v
ariable
f
o
r
consistenc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n
Carpenter
W
e
could save some
m
emory b
y
not allocating new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
A
dd a comment showing where the tests are
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over from October a
s
par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add ge
t
_possi
b
le_s
t
a
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Stuff left
o
v
e
r
f
rom O
c
tober
.
Imp
l
i
e
d poo
l
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We
could save some memory by
n
ot alloca
t
ing new
memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
C
arpenter
Fix m
e
mory leak
.
A
dd more
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Add a m
e
rge h
o
o
k
.
Handl
e
th
e
situatio
n
s li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
p
e
nt
e
r
strcmp()
doesn't accept NULL argume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
re
n
am
e
two func
t
ions:
g
et_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpen
t
er
get_variable
_
from_expr()
uses a st
a
tic buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Creat
e
a che
c
k_template
.
c example
s
c
ri
p
t tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make get_all_states() not segfault
e
very t
i
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
get_va
l
ue()
to r
e
turn negative v
a
lue
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
p
ass one param
e
ter i
n
to g
e
t_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
g
e
t_all_states() t
o
ma
t
ch th
e
functio
n
definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remove add_s
t
a
t
e() a
n
d s
t
at
e
_defined
(
) defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
Clean up
.
Fix leak
.
M
y
problem is that I don't
u
n
d
e
r
s
t
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
of the
"
impli
e
d
state pools
"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
e
nt
e
r
Doh
.
We haven'
t
been using smatch_extra f
o
r a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_his
t
ory
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
S
peed
up merge_sl
i
st now that the s
l
ists are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Insert
s
tuff o
n
to lis
t
s in a sorted
o
rde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete an unused
functi
o
n me
r
ge_st
a
te_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
f
ix:
i
f
(
*fo
o
) { (*
f
oo)
-
>bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
t
e
r
kmall
o
c
(
)
a
nd fri
e
n
ds don
'
t always ret
u
rn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpenter
The checks from
h
e
r
e got merg
e
d into che
c
k_
n
ul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Move the
stuff from check_deref
e
d_params
.
c into che
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Fix bug
i
n
o
r_sli
s
t_stac
k
()
.
if (a &&
b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpent
e
r
Add a
hook
at the
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
For
g
ot
another strip_
e
xp
r
()
c
all
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rpenter
Handle assi
g
nmee
n
ts inside conditi
o
ns better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Only print something for a->
f
o
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
rpenter
Ignore
ar
r
a
y
declarations
.
Those can't be NULL obvi
o
usly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make c
u
r
_
slist stati
c
.
It's only use
d
i
n
s
m
a
t
ch_state
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
W
hite
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arp
e
nte
r
Use merge
_
slist() instead of tr
y
ing to handle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues() is supposed to be basical
l
y th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
a
rpenter
New
smatch_i
g
n
o
re
.
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
Da
n
Carpenter
G
eneralize stip_casts()
.
It's now c
a
lled
s
tr
i
p_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pent
e
r
I
g
nore casts
.
foo(
(
i
nt *)&bar)
is the
s
a
me as
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cre
a
ted
show
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Igno
r
e st
u
ff like foo
.
bar
.
We only car
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before is th
a
t p
a
ramet
e
rs would get
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Misse
d
a c
r
ashing bug in
th
e
int =
>
struct conv
e
r
s
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can'
t
believ
e
I w
a
s
d
oin
g
stacks wron
g
this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Ca
r
penter
Changed smatch state fro
m
being an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
wan
t
to
re
u
se th
e
nam
e
smatch_state
.
The
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an
C
arpenter
Redo the null
p
ath thing
.
S
o
lo
n
g as the
r
e is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Car
p
e
n
t
er
Clean up
.
Complicat
e
d 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
Array
s
are complicate
d
so th
e
y
s
hou
l
dn't
b
e
returne
d
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we call set_state from inside
a
condi
t
ion then
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If
t
he
pointer
i
s i
n
iti
a
l
ized to no
n
-n
u
ll
then
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nte
r
ignore th
e
smatch b
i
n
ary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpen
t
er
When
w
e me
r
ge 2 slists w
e
need to deal
with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Add
n
ullify the path
when you have fo
r
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Mer
g
e
bran
c
h 'ls' into u
l
t
ratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
M
e
rge branch 'unnulli
f
y'
i
n
to
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
pent
e
r
Lots of do whi
l
e
(0)
loops don't call brea
k
so it do
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next