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
Remove outdated comment.
2009-03-02
Dan
C
arpenter
R
e
m
o
v
e outdated commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Ca
r
pent
e
r
Don't __free_s
m
_state(
)
until end of f
u
nct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
ree
_
slist() aft
e
r calling get_all_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
don't reallocate
t
he ->possibl
e
s
t
ate
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
e
nter
Get r
i
d
of unuse
d
line hist
o
ry code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpen
t
er
Fix s
o
me
memory leaks i
n
_
_implied_states_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
Ca
r
p
ent
e
r
Ad
d
fr
e
e_tr
a
ck
e
rs_and_list() an
d
free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Add new fr
e
e_stack() functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
rename del_slist_s
t
ack()
t
o
free_s
t
ack_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_slist() ->
f
ree_slis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all the
s
m_states at the end of each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add ->possible to __prin
t
_slist() ou
t
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpenter
Save al
l
the
p
o
ols a stat
e
goe
s
throug
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and fix sm
a
t
c
h
i
mplied te
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
ente
r
Preserve
t
h
e ->p
o
ols an
d
->
p
ossi
b
le
for i
m
pli
e
d states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
a
rpente
r
Fix
h
andlin
g
mutu
a
lly exclusive
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Ge
t
ri
d
o
f
r
edundant harmonize_
s
tate
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Ca
r
penter
Add function __set_true_f
a
l
s
e_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpente
r
O
n
ly
save an implied
l
ist if a state has be
e
n mod
i
fie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
Only implied state
s
th
a
t
are
n
't alread
y
true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
pent
e
r
Take a paramet
e
r instead of
a
ssum
i
ng the o
u
tput is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
e
n
ter
Don'
t
check
tha
t
there are both true and false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
arpenter
This
check_ord
e
r
() see
m
s superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpe
n
t
er
New fu
n
c
t
io
n
ha
r
mo
n
ize_stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
c
all __split_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
r
emove
u
nneeded calls to _
_
use_cond_tru
e
_states()
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n C
a
r
penter
D
o
n
't set the implied
s
tate to &
m
e
r
ged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Mak
e
cmp_tracke
r
(
)
acce
s
sible to
outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpent
e
r
All the stat
e
s are implied not ju
s
t unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpe
n
ter
Impr
o
ve lock check outpu
t
.
A
dd more valid
a
t
ion sampl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support for
d
o
w
n_in
t
er
r
uptible() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
r
n
o
n d
o
uble lock/u
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Pri
n
t
fewer
Unclear lo
c
ki
n
g mess
a
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if (
(
1)
)
{
.
.
.
is a k
n
own_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Ca
r
pente
r
A
dd su
p
port for those fu
n
n
y gcc ({
.
.
.
}
) block st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle declarations inside swi
t
ch statement b
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arp
e
nter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Add known
_
condition_f
a
lse()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of
continue inside do while sta
t
ement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
D
on't
s
et let people
s
et states fo
r
u
n
re
a
chable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpen
t
e
r
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the i
t
erator
s
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
A
d
d supp
o
rt for "if
(a?b:c) {
.
.
.
"
t
ernar
y
co
n
dit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Car
p
e
n
t
er
Ad
d
some support for _spin_tr
y
l
oc
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
ould print a
n
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Thi
s
prints out er
r
or messages all th
e
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
a
r
p
enter
A
s
signment always set
s
&isfreed to somet
h
in
g
els
e
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
D
o
n
'
t print cross_fu
n
c er
r
ors if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Remove ca
l
l
to
a
lloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Ca
l
l
t
he merge_hook() instead of
s
etting the
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Mean
t
to
c
om
m
it
this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
A
dd the me
r
ge_h
o
ok()
b
ack in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns lists at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Mov
e
t
he impl
i
cations
c
hecking to after
t
he scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Rewrit
e
comp
l
etely wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Ad
d
some functions
t
o
ha
n
dle
tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
D
on't segfau
l
t all th
e
time when
check
i
n
g forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Test to see
if we
are catching
cro
s
s
f
unc
t
ion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Use the ->possible states and re
m
ove
t
he
m
e
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
p
e
nter
"whil
e
((1)) {" is a forever
loop
.
Call str
i
p_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
t
er
fixes to th
e
-
> possible
setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
M
erge
branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add val
i
dation
s
cri
p
t
for
c
heck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible is always null
he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oop
s
.
->poss
i
b
l
e
s
w
asn't getting set cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in split_c
o
nditions() instea
d
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Add some mor
e
operatio
n
s to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
t
urn &merge
d
instead of &undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
m
a
ke get_value() ret
u
rn a
v
a
lue for bitwise
o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rpenter
Try again removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
r
p
enter
Revert "R
e
m
ove a state from it's ->pools when s
e
t_
s
t
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Eliminate a wa
r
ning
.
Probably the wrong wa
y
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
C
l
ean ups
.
Comments
.
Renam
e
slist_s
t
ack to
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
Ha ha
.
I s
t
ill
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cl
e
anups
.
Comments
.
R
e
move debugging c
o
de f
r
o
m
filte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Clean up
.
Als
o
p
res
e
r
ve t
h
e
-
>pools in o
n
e
p
a
t
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
Remove __overw
r
ite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debuggin
g
output that accid
e
ntally got comm
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Remov
e
a state from it's ->poo
l
s
w
hen s
e
t_state(
)
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
Don't delet
e
the
-
>
pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Try understand t
h
e
imp
l
ic
a
tions from
c
o
mpound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create a st
a
t
e &merged
.
W
hen we merge st
u
ff i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
Ok
.
This time smatch
_
implie
d
_re
a
lly
_
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
t
e
r
I
gnore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Small
c
leanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
Add
s
ome more locking function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools
s
o that at leas
t
it d
o
es so
m
ethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like track
e
r_
l
is
t
w
ould be u
s
efu
l
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
A
d
d a
README d
e
scribing smatc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
a
r
pe
n
ter
Ad
d
script to find NULL dereferences between fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpe
n
te
r
F
i
x usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
C
heck
for malloc() as
well as kma
l
l
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
F
ix segfaul
t
when handling impl
i
citly decla
r
ed functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
w
hen we do
n
't acquire locks whe
n
c
a
l
ling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
penter
Try (and fail) to find
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Car
p
enter
Almost pri
n
t a message w
h
en you come
t
o un
r
eacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
ent
e
r
A
d
d check
t
o
l
o
o
k for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next