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
make some vars static. other random sparse stuff.
2009-02-20
Dan Ca
r
p
ente
r
Add some
s
upport
for
_spin_trylock
(
)
a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
penter
if (a
|| b) { a-
>
foo; should print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpen
t
er
This print
s
out err
o
r
m
essages all the ti
m
e that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
p
e
nter
Assign
m
ent always sets &
i
s
f
reed
t
o somet
h
ing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Don't p
r
int cross_func errors
i
f the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to
alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
r
pen
t
er
Call the
m
erge_hook() in
s
t
e
a
d of setti
n
g
the stat
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
e
n
ter
O
o
p
s
.
Meant to commit this ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Add the merge_hook
(
) bac
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
Clear
the returns l
i
s
t
s at the end
of eac
h
f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Move the implica
t
ions che
c
king to aft
e
r the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely with
n
ew
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some
f
unctions
t
o handle t
r
acker l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpenter
Don'
t
s
egf
a
ult
a
ll the tim
e
w
h
en checki
n
g forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test t
o
see i
f
we are catch
i
ng cross
f
unction d
e
re
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use the ->possible state
s
an
d
r
e
move the mer
g
e
_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
"whi
l
e (
(
1)) {" is a fore
v
er loo
p
.
Ca
l
l st
r
ip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
fixes
t
o
the
-> possibl
e
setti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Ca
r
penter
Merge branch 'master' into
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
e
n
ter
Ad
d
valida
t
i
on sc
r
ipt fo
r
check_null_
d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clean up
.
new->po
s
sible is always nul
l
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
->possibles wasn't gett
i
ng
s
et
c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Use strip_
e
xpr() in split_co
n
di
t
ions
(
) in
s
t
ead
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add som
e
more operations
t
o get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Return
&merged
instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpen
t
er
make get_value() return a valu
e
for bi
t
wise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
arpenter
Try aga
i
n re
m
oving states f
r
om pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
R
e
v
ert "
R
emove
a
sta
t
e from it's ->pool
s
wh
e
n
s
et_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate
a
w
a
rning
.
Probab
l
y the wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
C
lean ups
.
Comments
.
Rename sl
i
st_stack t
o
n
amed_s
t
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
Ha ha
.
I still suck at pointe
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
er
Cleanups
.
Comments
.
Remove debuggin
g
c
o
de f
r
o
m
f
il
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
.
A
lso preserve the ->poo
l
s in
o
ne path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
C
l
e
an up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove __overwri
t
e
_
cu
r
_
s
lis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
There was debug
g
ing output that accid
e
ntally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
R
e
move
a
state from it's ->pools when s
e
t_st
a
te()
i
s
.
.
.
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
und
e
rs
t
an
d
the implications fr
o
m c
o
mpound co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Create
a
state
&me
r
ged
.
Whe
n
we merge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
his tim
e
s
match_implied _
r
eal
l
y
_ d
o
e
s
s
o
m
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
S
mall cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpen
t
er
W
h
ite
s
pace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
Add s
o
me more
lock
i
ng
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pool
s
so th
a
t at
l
east it d
o
es
s
ometh
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carp
e
nter
It seemed li
k
e tra
c
ker
_
lis
t
would be usefu
l
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describ
i
ng smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d s
c
rip
t
to find
NULL dereference
s
b
etween fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
r
pent
e
r
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Che
c
k for malloc() as well as
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix s
e
g
fault when
h
a
n
dling
implicitly decla
r
ed functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn when we
d
o
n't acquire locks wh
e
n calli
n
g
c
ertai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
ar
p
e
nter
Try (and fai
l
)
t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
en
t
e
r
Almost pri
n
t a me
s
s
age when you come to unreacha
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Car
p
enter
Add check to look fo
r
double
free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add checking for lock_kernel()/unlock_ker
n
el()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpen
t
e
r
M
a
ke c
h
eck_locki
n
g chec
k
bot
h
spinlocks
a
n
d semapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
A
d
d a
n
ew function
s
list_h
a
s_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
If ther
e
i
s
an i++ then the
value of 'i'
i
s undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a new
check
_
lo
c
king script
t
hat checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Car
p
enter
Save the
p
ossible states ins
t
ead of just merging th
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpen
t
e
r
Ignore
e
macs garb
a
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
ar
p
en
t
er
M
erge branch 'mast
e
r' i
n
t
o poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
r
p
e
nter
F
i
x likely() and unlikely() handlin
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
A
d
d single quotes ar
o
und the v
a
riable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpen
t
er
We co
u
l
d save
some memo
r
y by
n
ot
a
l
locati
n
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
A
d
d a comment showing where
the te
s
t
s are
sup
p
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This
i
s le
f
t ove
r
from October as pa
r
t
o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Ca
r
penter
Add get_possible_state
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Stuff left over fro
m
Oc
t
ober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpenter
We could sa
v
e som
e
memory by not allocating new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Ca
r
pent
e
r
Fix memory le
a
k
.
Add more c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
me
r
ge hook
.
Handle the s
i
tuations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
strcmp() d
o
esn't acc
e
pt NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
re
n
ame t
w
o
fu
n
c
ti
o
ns:
get
_
variabl
e
_fr
o
m_expr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get_v
a
r
i
able_from_expr() us
e
s
a static buffer a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
C
r
eate a che
c
k_template
.
c exa
m
ple sc
r
i
p
t that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpen
t
e
r
Make get_
a
ll
_
states() no
t
segfault every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix
get_value() to retur
n
negat
i
ve
v
alues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever p
a
ss one
para
m
eter into get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_a
l
l_
s
t
a
tes
(
) to ma
t
ch the f
u
nction
d
efin
i
ti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpent
e
r
Remove add_state(
)
and
state_defined() defi
n
iti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Clean up
.
Fix leak
.
My prob
l
em is
t
hat I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Initial commit o
f
t
he
"impli
e
d state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arp
e
nter
Doh
.
We h
a
ven't
b
e
e
n using smatch_e
x
tra for a whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpenter
Get rid
o
f p
a
t
h_histo
r
y
.
It's neve
r
goin
g
to be u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Make g
o
t
o_stack
stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed
up
m
erg
e
_
slist now that the
s
lists are o
r
dered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpe
n
ter
Inse
r
t stuff ont
o
li
s
ts in a s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpe
n
ter
Delete a
n
u
nused
f
unction
m
erge_state_
s
t
a
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
f
ix
:
if (*foo)
{ (*
f
oo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kma
l
loc()
a
nd
f
ri
e
nds don't always return a no
n
-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks f
r
o
m
here got mer
g
ed into check_nul
l
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
n
t
e
r
M
ove the stuff from
c
he
c
k_de
r
efed_params
.
c
int
o
check_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n C
a
rp
e
n
t
er
Fix b
u
g in or_slist_stack()
.
if (a &
&
b
)
was
n
't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpe
n
ter
Add a hook at the
e
nd of a fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
ter
Forgot another strip_
e
x
pr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpente
r
Handle as
s
ignmeent
s
in
s
id
e
conditions bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Onl
y
p
rin
t
something for
a
->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next