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 new free_stack() function.
2009-03-02
Dan Carpenter
Add new free_stack() func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
rename del_slist_stack() to free
_
stack_and_s
l
i
s
ts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpen
t
er
re
n
ame
d
el_slis
t
() -
>
f
ree_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free
a
ll the s
m
_st
a
t
e
s at the
end
o
f ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Ad
d
-
>
p
oss
i
ble to __print_slist() o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
an Carpen
t
e
r
Sa
v
e all the p
o
ols
a state goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
a
rp
e
nt
e
r
A
dd an
d
fix smatch impl
i
ed tes
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
P
reserve
the ->
p
ool
s
and ->possi
b
le for implied st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpe
n
ter
Fix handlin
g
mutually exclusi
v
e
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid
o
f redundant
harmonize_stat
e
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
Add function __set_true_fal
s
e_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Only save an implied list if a state has been
m
odified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpe
n
t
er
O
n
ly
i
mplied
s
tate
s
t
h
at
aren't a
l
ready tru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
r
p
enter
Take a parameter
i
n
s
tea
d
of
assu
m
i
ng the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't
c
heck that ther
e
are bot
h
true and fals
e
s
t
a
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This check_o
r
der() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpente
r
New func
t
ion
h
armonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpen
t
er
c
a
ll _
_
split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
remove un
n
eede
d
calls
to
__use_cond_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpe
n
ter
Don't set the implie
d
st
a
te to &m
e
rged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make
cmp_t
r
acker(
)
access
i
bl
e
to
outside file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpente
r
All the states are
i
mplied not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
I
mprov
e
lock check output
.
Add
m
o
r
e validat
i
on sam
p
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpent
e
r
Add
support for
d
o
w
n
_interrupti
b
le(
)
and
f
riends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Fi
x
the Unc
l
ear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpente
r
Warn on d
o
ubl
e
l
o
c
k
/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fe
w
er Uncl
e
ar locking mes
s
ages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpen
t
e
r
if ((1)) {
.
.
.
is a kn
o
wn_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Ca
r
penter
A
dd support for those funny gcc ({
.
.
.
}
)
block state
m
e
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
er
Handle
d
eclarations ins
i
de switch statement
b
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Ca
r
p
e
nter
Cleanu
p
i
s_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
A
dd know
n
_con
d
ition_fa
l
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Fix
h
andling of continue inside do while sta
t
ements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pen
t
er
Don't set let people set states
for unre
a
chable c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanu
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the itera
t
ors cor
r
ect
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
A
d
d supp
o
rt for "if (a?
b
:c) {
.
.
.
" ternary condi
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
some support
for _spin
_
tryl
o
c
k() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Car
p
enter
if (a
|
| b)
{
a-
>
foo; should print an err
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Thi
s
prints out error m
e
ssages all the time that a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
p
e
nt
e
r
Assignm
e
nt always
s
ets &isfreed to something e
l
se like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
Don't p
r
int
cross_func errors if
t
he calle
d
funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Remove c
a
ll to a
l
loc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Ca
l
l
the me
r
ge_hook()
i
nste
a
d
of s
e
tting th
e
s
t
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
penter
Oops
.
Meant to commit
this earlie
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pent
e
r
Add the
m
e
rge_h
o
ok() b
a
ck in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Clear t
h
e 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
Da
n
Car
p
enter
Move t
h
e implications che
c
kin
g
to afte
r
the sc
r
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite
compl
e
tely wi
t
h new
goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
A
dd some function
s
to
h
andle tracker l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
D
on't segfaul
t
all
t
he tim
e
when checking forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test to see if w
e
are catch
i
n
g cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Use
t
he ->possible states
a
n
d r
e
move the
m
e
r
ge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nte
r
"
w
hile ((1)) {" is a forever l
o
op
.
C
a
ll
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
to the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpen
t
er
M
erg
e
branch 'master' i
n
to null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
e
r
Add validation script for c
h
eck_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
ent
e
r
Cl
e
an
up
.
new->possible is a
l
ways
n
ull here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an
Carp
e
n
t
er
Oops
.
->possibles
wasn't gett
i
ng set corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
a
r
p
en
t
er
Use st
r
ip_ex
p
r() in split_conditions(
)
in
s
tead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Add s
o
me more
o
perat
i
ons to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&me
r
ge
d
inst
e
ad of
&undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make
g
et_v
a
lue() return
a value
f
or bitwise or ex
p
r
e
s
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again removing state
s
from pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Rever
t
"Remove a
s
t
at
e
f
r
om it's ->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpe
n
t
er
Eliminate
a
w
a
r
n
i
ng
.
Proba
b
ly th
e
wrong way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
C
l
ean ups
.
Comment
s
.
Rename slist_stac
k
to named_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
H
a
ha
.
I
sti
l
l
s
uck at
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cleanups
.
Comments
.
R
e
move debuggin
g
c
o
de fro
m
filt
e
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n up
.
Al
s
o p
r
eserv
e
t
h
e
-
>pools
i
n one path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Clea
n
up get_st
a
te_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Remove __overwrite_
c
ur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
There was debugging
o
u
tput that a
c
ci
d
e
ntally got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove
a
state fr
o
m
i
t
's ->
p
ool
s
when s
e
t_state
(
)
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on't d
e
lete
t
he ->pools
o
n mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y un
d
erstand
t
h
e
im
p
l
i
cations from compound
c
o
n
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Create
a state
&
m
e
r
ged
.
Whe
n
we merge s
t
uff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
nt
e
r
Ok
.
This time smatch_
i
mplied _really_ does som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
clean
u
p
s
.
(White s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an C
a
rpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Add some
m
ore lo
c
k
ing functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
Fix
i
mp
l
ied pools so tha
t
at
lea
s
t i
t
d
oes som
e
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpen
t
er
It seem
e
d
like
tra
c
ke
r
_
l
i
s
t
would b
e
us
e
ful in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a READM
E
describing
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add
scrip
t
to find NULL dere
f
erences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fix usage
m
essage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Che
c
k for
m
a
lloc() as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
e
n
ter
Fix segfault when
h
andli
n
g implicit
l
y decl
a
red functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
War
n
when we don
'
t a
c
qui
r
e locks when calling certa
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Try (and fail) to find
memo
r
y
l
e
a
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Alm
o
st prin
t
a me
s
sage when
you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add check t
o
look for
d
ouble fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checki
n
g for lock_kernel()/unlock_
k
ernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carp
e
nter
Make
c
heck_locking chec
k
both spi
n
locks
a
nd
s
emaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Car
p
enter
Add a new function sli
s
t_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is an
i
++ th
e
n
t
h
e
value of
'
i' is un
d
efi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
er
Add a new check_
l
ock
i
n
g
script
that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
ent
e
r
Sav
e
the possible stat
e
s
instead of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Ignore
e
macs
ga
r
bag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next