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
Only implied states that aren't already true.
2009-02-26
Dan Carpenter
Only implied states that a
r
en't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpen
t
er
T
a
ke a pa
r
ameter instead o
f
assuming the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpen
t
er
Don't check
that
there are b
o
th true and false st
a
tes
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
r
penter
This
c
h
e
ck
_
order()
s
eems supe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New function harmonize_
s
t
ates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Carpenter
call
_
_split_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
C
arpenter
remove unneeded
calls
to __use_c
o
nd_true_s
t
a
t
es();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Do
n
'
t
set the implied state
t
o &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
r
penter
M
a
k
e cm
p
_tracker() accessible t
o
outside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the
stat
e
s are impli
e
d n
o
t
just un
i
que ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
p
e
nter
Improve lo
c
k check ou
t
p
u
t
.
Add
mor
e
validatio
n
samp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Add
s
up
p
ort for
d
own_in
t
erruptible()
a
n
d
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear locking
t
hing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Warn on
doub
l
e loc
k
/
u
nlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear locking mes
s
a
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is
a
kno
w
n_conditio
n
_true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Add support
f
or those
funny gcc (
{
.
.
.
}) b
l
ock stateme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpe
n
ter
Handl
e
declarations in
s
i
de switch state
m
ent blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanu
p
is_zero
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add
known
_
c
ondition_
f
alse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Fix han
d
l
i
ng of continue inside do while
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carp
e
nter
Don't
s
et let people set states for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andle t
h
e iterators correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
Add supp
o
rt for "if (a?b:c) {
.
.
.
" tern
a
ry conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d some
s
uppor
t
for _spin_trylock() and
friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a ||
b) { a->foo; shou
l
d print a
n
error
.
A
l
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
pente
r
T
h
i
s
prints
out error me
s
s
ages all the ti
m
e
t
hat are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment
always sets &isfreed to some
t
hing
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
D
o
n't pri
n
t cr
o
ss_f
u
nc errors if t
h
e called
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Remove cal
l
to alloc_sta
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Call
t
he mer
g
e_h
o
ok() instead of setti
n
g the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oo
p
s
.
Meant to commit
t
his earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add the merge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns li
s
ts at the end of
e
a
c
h fu
n
c
t
io
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Move the implicati
o
ns chec
k
i
n
g to af
t
er the s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
r
p
ent
e
r
Rewrit
e
completely wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Add some func
t
i
o
ns to h
a
n
d
l
e trac
k
er l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Do
n
'
t segfault all the time when chec
k
i
ng forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Te
s
t to see if we a
r
e catc
h
ing cross function dere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
the -
>
p
oss
i
ble states
and remove the
m
erge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
"
whil
e
((
1
)) {" is a fo
r
ever loop
.
Call st
r
ip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to t
h
e -> po
s
s
i
ble setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
e
rge branch
'
mast
e
r' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Ca
r
pe
n
t
er
Add
v
alidation scr
i
pt for
check_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Clean up
.
new->p
o
ssible is
alway
s
nul
l
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
-
>possi
b
les
w
asn't getting set co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rp
e
nter
Use str
i
p_e
x
pr()
i
n
s
plit_conditions() instead
r
e
producing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Add
s
ome more opera
t
ions
to get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
ter
Return &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make g
e
t_v
a
lue() retur
n
a val
u
e for bit
w
ise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Try
a
ga
i
n remov
i
ng states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpen
t
er
R
evert "Remo
v
e a
s
tate
from it's ->
p
o
ols
whe
n
set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
e
nter
Eliminate a
w
arn
i
ng
.
Pr
o
bably the wro
n
g
w
a
y to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Com
m
ents
.
Rename sl
i
st_stack to named_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha ha
.
I
still suck at
point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
eanups
.
Comments
.
Remove debugging cod
e
from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Cle
a
n up
.
Also preserve
the ->po
o
ls in
o
ne path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean
u
p get_s
t
ate_
s
li
s
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emove
_
_overwrite_
c
ur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
There was debuggin
g
output that accidentally got commit
t
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a s
t
ate from it's
->poo
l
s w
h
e
n
set_st
a
t
e
() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
D
o
n't delete the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Ca
r
p
en
t
e
r
Try
understand th
e
im
p
l
ications
fro
m
compo
u
n
d
conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Create a st
a
te &
m
erged
.
When we m
e
rge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
h
i
s
time smatch_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nt
e
r
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Sm
a
ll cleanup
s
.
(
White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more
l
ocki
n
g
fu
n
cti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Fix implied poo
l
s
s
o tha
t
at least i
t
doe
s
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
It seemed
like tracker_list woul
d
be useful in
a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add scrip
t
t
o fin
d
NULL dere
f
erenc
e
s betwee
n
fu
n
ction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpen
t
e
r
Fix usage
m
essage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Check for malloc() as well as
kmal
l
oc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix segfault wh
e
n handl
i
ng
i
mplicitly declared functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpent
e
r
War
n
when we don't acqui
r
e locks when callin
g
c
erta
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n C
a
rpent
e
r
Tr
y
(and f
a
il) to fi
n
d memory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Al
m
ost print a
m
e
ssage when you c
o
me to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
d
d c
h
e
c
k
to look for do
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
checking for loc
k
_kernel()/unlock_k
e
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_
l
ocking ch
e
ck
b
oth
s
p
inlocks and s
e
maphore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add a new f
u
nction
sli
s
t_ha
s
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there
i
s an i++ then
t
he value
o
f 'i' is undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpen
t
e
r
Add a
new
check_lockin
g
scrip
t
tha
t
c
hecks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the
possib
l
e
states instead of jus
t
merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Ig
n
o
r
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master' i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rp
e
nter
We coul
d
save some
m
em
o
ry
by not
a
llocating new m
e
m
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a comm
e
nt showi
n
g
w
he
r
e the tests
a
re
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Ca
r
penter
This is left over f
r
om October as
part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
get_p
o
ssible_s
t
ate
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from October
.
Imp
l
ied po
o
l
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpenter
We
c
ould save some
memory by not alloca
t
ing new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carpe
n
ter
Fix me
m
ory leak
.
A
dd more c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Add a merge hook
.
Handle the situat
i
ons li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't accept N
U
L
L
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
rena
m
e
t
wo
f
unctions: get_varia
b
l
e_from_expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_variabl
e
_
from_expr() u
s
e
s
a sta
t
ic b
u
ffer and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next