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 C
a
rpen
t
er
Only implied stat
e
s that are
n
'
t
alre
a
d
y
t
rue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
T
ak
e
a parameter instead
o
f assuming
th
e
ou
t
p
u
t is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check
that
t
here are
b
oth t
r
ue
a
nd
false stat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpent
e
r
T
h
is check_orde
r
() seems
s
u
perfl
u
o
us
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
New function harmonize_s
t
at
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
Carp
e
nter
call
__split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneed
e
d calls
to __use_cond
_
t
rue_s
t
ates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Car
p
e
n
ter
Don't set the
i
m
p
l
ied state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
M
a
k
e cmp_trac
k
er() accessibl
e
to outside file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the states are
i
mplie
d
not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Imp
r
ove l
o
ck check output
.
Add m
o
re
val
i
datio
n
samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
pe
n
ter
Add support for do
w
n_inter
r
uptible()
and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fi
x
the Unclear locking t
h
ing
.
Ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n C
a
rpenter
Warn o
n
double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Pr
i
nt fewer Unclear locki
n
g
m
essages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is a kno
w
n_c
o
ndition_tru
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add sup
p
ort for those funny
gc
c
({
.
.
.
}) bloc
k
statemen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Handle declara
t
i
o
ns inside switch
state
m
e
n
t blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Cleanup is_zer
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_condi
t
ion_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
ix handl
i
ng o
f
continue insid
e
do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
n
te
r
Don'
t
set let
peo
p
le se
t
stat
e
s for unreach
a
ble code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the iterators corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpe
n
ter
Add supp
o
rt for "if
(a?b:c) {
.
.
.
" ter
n
ar
y
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
o
me
s
upp
o
rt f
o
r
_spin_try
l
ock
(
) and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if (a || b)
{
a->foo; should print an
e
rro
r
.
Als
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Thi
s
prints
o
ut erro
r
mes
s
ages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
A
ssignment
a
l
w
a
y
s se
t
s &isfreed
t
o
somethin
g
e
l
s
e
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't print
cr
o
ss_func errors if the called
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
emove
c
all to allo
c
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
t
he merge
_
hook() ins
t
ead o
f
setti
n
g
t
h
e state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Oops
.
Meant to comm
i
t this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add t
h
e merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Clear th
e
returns lists
a
t
the end o
f
each
f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
pent
e
r
Move
t
he implications
che
c
kin
g
to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rewrite completely with new goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add so
m
e func
t
ions to
h
a
ndle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Don't segfault all the
time when checking for
e
v
er loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to se
e
i
f
we
a
re
c
atching cro
s
s
f
unction de
r
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Use the ->possible sta
t
es an
d
remove
the
m
e
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1)) {" is a for
e
v
e
r
loo
p
.
Ca
l
l st
r
ip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fi
x
es to the -> possibl
e
setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpente
r
Merge branch 'master
'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
ar
p
e
n
t
e
r
Add va
l
idation scrip
t
for check_null_d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
C
lean up
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpe
n
ter
Oops
.
->p
o
ssibles
w
asn't getti
n
g
s
e
t
correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in split_cond
i
t
i
ons() i
n
stead r
e
p
r
oducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpe
n
ter
Ad
d
some
mo
r
e oper
a
tions
t
o get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged in
s
tea
d
of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
m
a
ke ge
t
_val
u
e() retur
n
a
v
a
l
ue for bitwise or ex
p
ressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
T
r
y aga
i
n removing states from p
o
ols
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carp
e
nter
Revert "
R
emove a state
f
rom
it's ->pools w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Eliminate
a
warning
.
P
r
o
bably th
e
wrong way
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n ups
.
Comments
.
Renam
e
sl
i
st_
s
tack
t
o
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
H
a
h
a
.
I sti
l
l suck at
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Co
m
ments
.
Re
m
ove d
e
b
uggin
g
code fr
o
m fi
l
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
e
r
Cl
e
a
n
up
.
Also
preserve t
h
e ->
p
ools
i
n one pat
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up
get_sta
t
e_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pent
e
r
Remo
v
e __
o
verwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
T
h
ere was
d
e
b
u
gging outp
u
t that accidenta
l
ly got c
o
mmitt
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
n
ter
Remove a
s
tat
e
from it's ->pools
when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpe
n
ter
Don'
t
d
e
lete the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
pe
n
t
er
Try
u
n
d
erstand
the implica
t
i
o
ns from compound c
o
ndit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Create a state
&merged
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch
_
implied _r
e
ally_ doe
s
s
ometh
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ignore cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small cleanups
.
(Wh
i
te space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Whit
e
space
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpen
t
er
Add
some more loc
k
ing functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpenter
F
i
x implied pools so that at least it does somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
seemed li
k
e tracker_lis
t
would be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
ent
e
r
Add a REA
D
ME
d
esc
r
ibing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add scrip
t
to find NU
L
L dereferences betwe
e
n func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carp
e
nter
Fix usage mess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc(
)
as well
a
s kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix segfault wh
e
n h
a
ndling implicitly de
c
lared f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Warn
when we don't acquire
locks
whe
n
calling c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpent
e
r
Try
(and fa
i
l) to f
i
nd mem
o
ry
l
eak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carp
e
n
t
er
Al
m
ost print a message whe
n
you c
o
me
t
o
unrea
c
habl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add ch
e
ck to lo
o
k for double fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
A
dd chec
k
ing for l
o
ck_kernel()/unlo
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make che
c
k_lock
i
ng check both spi
n
locks and semapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nte
r
A
dd a new function sli
s
t_has_st
a
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
If
t
her
e
is
an i++
then the value of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a new che
c
k_l
o
ck
i
ng script
t
hat checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
S
a
ve the
possible
states instead of
j
ust m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Car
p
enter
Ignore
emacs g
a
rba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master'
i
n
to po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
Fix l
i
kely()
a
nd unlik
e
ly() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
er
Add single q
u
o
tes around th
e
vari
a
ble
f
o
r consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
p
enter
We could
s
ave some memory by not allocati
n
g ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a commen
t
showing
where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
This
i
s left over from Octobe
r
as
p
art
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
A
d
d get_possible_stat
e
s
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
t
e
r
Stuff left o
v
er from October
.
Implie
d
p
ools
wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some
m
emor
y
b
y
n
ot allo
c
ating ne
w
m
emor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
r
p
e
nter
F
i
x memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpent
e
r
Ad
d
a merg
e
hook
.
Hand
l
e th
e
situations
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
s
t
rcmp() doe
s
n
'
t
a
ccept NULL
a
rgum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next