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
Add free_trackers_and_list() and free_tracker_list() functions.
2009-03-02
Dan
C
arpenter
Add
free_
t
rackers_and_list
(
) and
fre
e
_trac
k
e
r_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add new free_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpen
t
e
r
renam
e
de
l
_sli
s
t_stack() to
f
r
ee_
s
t
ack_
a
nd
_
slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
rename
del_sli
s
t() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Free all the sm_
s
tates
a
t
the end of
e
ach
f
u
n
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
a
rp
e
nter
Add ->p
o
s
sible to __print_
s
list() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
er
Save all th
e
po
o
ls a state g
o
es
t
hrough
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add and fix sm
a
t
ch implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Prese
r
ve the -
>
po
o
ls and ->p
o
ssible for i
m
pl
i
e
d stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
Ca
r
penter
Fix handling mutually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Get
r
id
o
f redundan
t
harmo
n
i
z
e_st
a
te
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpente
r
Add function __set_t
r
u
e
_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Only save an
impl
i
ed l
i
s
t if
a st
a
t
e has be
e
n
modifi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
On
l
y implied state
s
that
aren't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an
C
a
rpenter
Take a
parame
t
e
r
ins
t
e
a
d of
a
s
s
uming
t
he o
u
tput is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
D
o
n
't check that t
h
ere
a
re b
o
th true and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Thi
s
c
h
eck_orde
r
() seems
s
upe
r
fl
u
ous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New funct
i
on harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __spli
t
_
e
xpr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
remove unneeded calls to __use_cond_true_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carp
e
nter
Don't set the implied
state to &
m
erged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
M
a
k
e cmp_tracker(
)
accessible to
outside fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
A
l
l the st
a
tes a
r
e implied not jus
t
u
nique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Imp
r
ove lock check ou
t
put
.
Add more
v
alidat
i
on samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
A
d
d support for down_interru
p
tible() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix th
e
Unclear lock
i
ng
t
h
i
ng
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Warn on do
u
bl
e
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print few
e
r Un
c
lea
r
locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Car
p
enter
if
(
(
1)) {
.
.
.
is
a kno
w
n_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Add s
u
p
port
for t
h
o
s
e
funny
gcc (
{
.
.
.
}) block s
t
atements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e decla
r
a
t
io
n
s inside switch sta
t
ement
b
loc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Clean
u
p is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
A
d
d
known_co
n
dition_false
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Fix handling
of continue inside do whi
l
e state
m
e
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
D
on't
set l
e
t
people set states f
o
r
u
nreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
a
r
p
ente
r
S
m
all cle
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpente
r
Handle the it
e
ra
t
o
r
s corre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Car
p
e
n
te
r
Add sup
p
ort for "if (a?b:c)
{
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
p
e
n
t
er
Add some su
p
po
r
t for _spin
_
trylo
c
k() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b) { a->foo;
s
h
o
uld print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints o
u
t error messages all the t
i
me that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
A
s
s
i
gn
m
ent alw
a
ys sets &isfre
e
d
t
o
something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Don't p
r
int
c
ross
_
f
unc errors if the c
a
lled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Remove
c
all to all
o
c_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
C
all the merge_hook() instead of
s
e
tti
n
g t
h
e state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Oops
.
M
eant to commit t
h
i
s
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
Add the merge_hook()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Clear the returns li
s
t
s at the end of ea
c
h function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Move the implica
t
ions checking to
after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rewrite completel
y
with new goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Add some fun
c
t
i
ons to handle
t
racker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Don't segfault all th
e
tim
e
when checking for
e
ver loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
e
st to see if we
a
r
e catching
c
ross fu
n
c
tion der
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
U
s
e t
h
e -
>
pos
s
i
b
l
e
states and remove the merge_hoo
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
((1)) {"
i
s a forever loop
.
Call strip
_
expr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
fixes
t
o t
h
e
-
>
poss
i
ble setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
e
rge branch 'm
a
st
e
r
'
into nu
l
l_de
r
ef
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
dd validation
s
cript for check_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Clean up
.
new->po
s
sible i
s
alw
a
ys null her
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->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_conditions() instead repro
d
ucing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carp
e
n
t
er
A
d
d some more oper
a
tions to get_val
u
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Return &m
e
rged in
s
tead o
f
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpent
e
r
m
ake ge
t
_value(
)
ret
u
rn a value for bi
t
wise or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Try again removi
n
g states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpenter
Re
v
ert "Remove a state from it's ->pools
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
El
i
m
inate
a
w
arnin
g
.
Probably the
w
rong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
C
l
e
a
n ups
.
Comme
n
t
s
.
R
e
name slist_sta
c
k
to
n
amed_
s
t
ac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha ha
.
I still suck at
p
oint
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
omme
n
ts
.
Remove
d
ebugging code fro
m
filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also preser
v
e the ->pools in one
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean up get_sta
t
e_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
a
rpenter
Remove
__overwrite
_
cur_sli
s
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
There w
a
s deb
u
gging output tha
t
acci
d
entally
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Rem
o
ve a state from it's ->pools when
set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
D
on't delete
t
he ->pools on mergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand
t
he implications from compound con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a stat
e
&mer
g
ed
.
When we m
e
rge
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
p
enter
O
k
.
This time smatch_
i
mplied _real
l
y_ does
s
omet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
nter
Igno
r
e csco
p
e files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
S
m
all
cleanu
p
s
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
W
hites
p
ace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpente
r
Add some more
l
ock
i
n
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
F
ix impl
i
ed pools so that at leas
t
it does
s
om
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
It
s
eemed like
t
racker_list wo
u
l
d
be useful in
a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Car
p
e
nter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Ca
r
p
e
nter
Add script
t
o f
i
n
d
N
ULL dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
t
er
Fix
u
sage
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck for ma
l
lo
c
() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
r
pe
n
ter
Fix segfault when
handlin
g
impli
c
itly
declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carp
e
nter
Warn when
w
e don'
t
acquire loc
k
s when
c
a
lling certai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try
(
and fail) to find memory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
mo
s
t
print a message when yo
u
c
o
m
e
to unreach
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Car
p
enter
Add c
h
eck to loo
k
for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Add check
i
ng fo
r
lock_kern
e
l()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
M
ake c
h
e
ck
_
locking check both spinlocks
and sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Add a new function
s
lis
t
_
has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
If the
r
e is an
i++
t
hen the val
u
e
of 'i' is undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
A
d
d a new
c
heck_locking script tha
t
check
s
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
the possible sta
t
es instea
d
of
j
u
s
t
mergin
g
t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next