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
D
a
n
C
a
r
pent
e
r
Only implied
sta
t
e
s
tha
t
aren'
t
a
l
r
eady true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Take a parameter instead of assuming
t
he output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
arpenter
D
o
n
'
t
check that ther
e
are bot
h
t
r
ue and
false
stat
e
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
T
his
check_order() seems s
u
per
f
luous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
New function harmonize_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
rem
o
ve
u
n
needed
calls to __u
s
e_c
o
n
d
_true_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
Don
'
t set the impli
e
d
s
tate t
o
&m
e
rg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpen
t
er
M
a
ke c
m
p_trac
k
er() ac
c
e
s
si
b
l
e
to ou
t
side files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All
t
h
e
s
t
a
t
es are impli
e
d
not just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improv
e
lock check
o
utput
.
Add more validation
samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carp
e
nter
Add suppo
r
t for
d
own_inter
r
uptible()
a
nd f
r
iends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
F
ix the Unclear
l
o
cking
t
hin
g
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carp
e
nter
Wa
r
n on double
lock/unl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
r
p
enter
Pr
i
nt few
e
r Unclear l
o
ck
i
ng messag
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
if ((1)) {
.
.
.
is a known_condi
t
i
o
n_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
A
d
d s
u
p
p
ort for those funny
gcc ({
.
.
.
}
)
bl
o
ck s
t
a
tements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Car
p
ente
r
Handle dec
l
arations i
n
side switch statement bl
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nte
r
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
i
x
handling of conti
n
ue inside do while
s
tat
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Don't s
e
t let people set states for
unre
a
c
hable cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
ar
p
enter
Sma
l
l clean
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Handl
e
the iterators corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add su
p
port for "if (
a
?b:
c
) {
.
.
.
" ternary condi
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Car
p
enter
Add
some supp
o
rt for _spin_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
penter
i
f
(a || b) { a->foo
;
should print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
h
is prints out error
m
essa
g
e
s
al
l
the
t
ime that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
Ass
i
g
nment alw
a
ys sets &
i
sfr
e
ed to something el
s
e like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Don't print cross_
f
unc error
s
i
f
t
h
e called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove
c
a
ll t
o
all
o
c
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
C
a
ll the merge_hook() i
n
stead of set
t
in
g
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Oops
.
Meant
to commit t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add t
h
e
m
erge_hoo
k
() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Cl
e
a
r the r
e
tur
n
s lists at the end
of each
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Move the implications checking to after
t
he
s
cripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
R
e
wr
i
t
e completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
Add s
o
me functions to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpente
r
Don't segfault all the time when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpen
t
er
Test to
see if we
are catching c
r
o
s
s
fu
n
ction der
e
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
U
se the -
>
po
s
s
i
b
l
e states and remove the me
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"whil
e
((1)) {" i
s
a forever lo
o
p
.
Call st
r
ip_ex
p
r()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
fixes t
o
the
-
> p
o
ssible s
e
tting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpente
r
Me
r
ge branch 'master' into nul
l
_d
e
re
f
commit
|
commitdiff
|
tree
2009-02-17
Da
n
C
arpent
e
r
Ad
d
val
i
dation script fo
r
check_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nt
e
r
Clean up
.
new->pos
s
ible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
O
ops
.
->possibles wasn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Use strip_expr() in split_c
o
n
d
itions()
instead
repro
d
u
c
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Add so
m
e more o
p
erations to get_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged instead of &u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make ge
t
_value() return a value for
b
itwise
o
r expr
e
ssio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try
a
gain rem
o
ving state
s
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
v
e
r
t "Remove
a
state
f
rom
it's
->pools when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Eliminate a
w
arn
i
n
g
.
Probably
th
e
wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
Rename slis
t
_stac
k
to
n
amed_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
nu
p
s
.
C
o
mments
.
Rem
o
v
e
d
e
bug
g
ing code from
f
i
l
te
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean up
.
Als
o
pre
s
erve the
->pool
s
in one pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n u
p
g
et_state_
s
li
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Remove __overwrite_cur_s
l
ist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
There was
d
eb
u
ggin
g
o
u
tput that accidental
l
y
got co
m
m
itte
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a sta
t
e fr
o
m it's ->po
o
ls when set_sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
D
on't
d
elete the
-
>p
o
ols
on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
T
ry unders
t
and the implications fro
m
co
m
pound condi
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Create a
state
&merged
.
When we
m
e
r
g
e stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch
_
implied _re
a
lly_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ig
n
ore
c
scope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
W
hitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
A
d
d
s
ome more
locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
F
i
x imp
l
ied pools
so that
a
t lea
s
t it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
It seemed
l
ike track
e
r_list would be us
e
ful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Add a README desc
r
ibing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
A
d
d
script to find N
U
LL dereferences
b
et
w
een
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
Fi
x
us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for
m
alloc() as well as kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
p
enter
Fix segfault when
h
a
ndling imp
l
icitly declar
e
d
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Car
p
ente
r
Warn wh
e
n we don't ac
q
uire l
o
cks whe
n
c
a
lling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpen
t
e
r
T
r
y
(and
f
ail
)
t
o
find
memo
r
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rp
e
n
t
e
r
Almo
s
t print
a mes
s
age 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
Add check to look for doub
l
e
fr
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for l
o
ck_kernel
(
)/unlo
c
k_ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking che
c
k
b
oth
sp
i
nlocks and sem
a
phor
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a ne
w
f
unc
t
ion slist_has
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there
i
s an i++ th
e
n
the value of '
i
' is und
e
fi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
Add a
n
ew check_locking script that checks spin
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible sta
t
es
i
nstea
d
of just merging
t
he
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ignore emacs garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Merg
e
branch 'mas
t
e
r
'
into
pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Ad
d
a
comment sho
w
i
n
g where the tes
t
s are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left o
v
e
r
from
O
ctober
a
s
part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
A
d
d
get_p
o
ssible_s
t
at
e
s(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuf
f
l
ef
t
ov
e
r from
October
.
Impl
i
ed pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
Carpenter
We
could save s
o
me memory by not
a
lloca
t
ing
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
Fix
m
emo
r
y leak
.
Add more
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
A
d
d a mer
g
e h
o
o
k
.
Han
d
le the si
t
uations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
strcmp() doesn
'
t a
c
cept NULL
ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
renam
e
two f
u
n
c
ti
o
ns: get_
v
ar
i
abl
e
_f
r
om_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nter
ge
t
_var
i
abl
e
_
from_
e
xpr() uses
a
static
b
uffer a
n
d yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Creat
e
a check_template
.
c
example scri
p
t t
h
at loo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next