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
All along I was adding the pools to the wrong place.
2009-03-06
Da
n
Ca
r
penter
Al
l
al
o
n
g
I was adding the pool
s
to the
w
r
ong pla
c
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
C
a
r
penter
Clean up
.
Move a coup
l
e
ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
A
d
d a sanity
che
c
k t
h
at ->possible has a
->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpenter
Clean u
p
.
Fre
e
ing th
e
sm_s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
O
ring the slis
t
s seems
like m
e
rge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a --debug-implie
d
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
penter
check_
m
e
mory:
Fix segfa
u
lt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
k
checker: helper sc
r
ipt to invoke
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Carpe
n
te
r
che
c
k_m
e
m
ory: new code
.
not
u
sed
y
et
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an C
a
rpen
t
er
Fix bug in c
o
m
p
o
u
nd con
d
itions and
a
dd val
i
dation
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
check_l
o
cking:
h
andle funct
i
ons w
i
t
h n
o
re
t
urn st
a
tem
e
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
Fi
x
so
s
e
cur
i
ty_
f
ixup_ops
(
) d
o
esn't trigger the OO
M
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carp
e
nter
F
ix 'or'ing
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rp
e
nt
e
r
Fix
N
ULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an C
a
r
p
ente
r
For som
e
reason smatch can't
f
ind these header f
i
les
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
Fix st
r
i
n
g me
m
o
r
y leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
R
e
move
unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
R
e
move outdat
e
d com
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
er
Don't __free_s
m
_stat
e
() until end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n C
a
r
p
enter
free_slist() after calling get_all
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
d
o
n
't reallocate the
->po
s
sibl
e
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carp
e
nt
e
r
Ge
t
r
i
d of
u
nused line history c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
F
ix s
o
me me
m
ory l
e
a
ks i
n
__
i
mp
l
ied_state
s
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Add free_
t
rackers_a
n
d_list() and free_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Add new fre
e
_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
rename del_s
l
i
st_stack() to free_stack_and
_
slis
t
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename
d
el_slist() -> f
r
ee_sl
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all the sm_stat
e
s
at the
e
nd of
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
A
d
d
->possible
to __print_slist() out
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
a
rpenter
Save
a
l
l the pools a state goes
through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Add and fix smatch
implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preserve th
e
->pools and ->
p
ossible for
implied stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n C
a
rpenter
Fix
handling mutually exc
l
us
i
ve states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
a
r
penter
Get ri
d
o
f re
d
undant harmoniz
e
_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add function __se
t
_
t
rue_fals
e
_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carp
e
nt
e
r
Only save an im
p
lied
l
ist if a stat
e
has been modi
f
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only i
m
plied states t
h
at aren't already
t
r
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Ca
r
penter
Ta
k
e a parameter instead
o
f assuming the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n C
a
rpenter
Don't
ch
e
ck th
a
t there a
r
e both true and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpen
t
er
This check_order() seems
supe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
New function har
m
o
nize_
s
tates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
c
all __split_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
rem
o
ve unneeded calls t
o
__use_cond_true_states
(
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Don't set th
e
implied state to &merg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
e
r
Make
c
mp_
t
r
a
cker() accessib
l
e to o
u
tside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Ca
r
penter
A
l
l t
h
e sta
t
es are
implied not
j
ust unique
o
nes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Ca
r
penter
Improve lock check o
u
tput
.
Add more
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpe
n
ter
Add
s
u
p
port for down_inte
r
rupti
b
le() and fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpen
t
er
F
ix the Unclear locking th
i
ng
.
Agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
r
n on doubl
e
lo
c
k/unl
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Car
p
enter
Pr
i
nt
f
e
wer Unclear locking
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
n
t
er
if ((1
)
) {
.
.
.
is
a
known_condit
i
on_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d supp
o
rt fo
r
th
o
se funny gcc ({
.
.
.
}) block stat
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Hand
l
e
declarations inside switch statement
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Clea
n
up
i
s_ze
r
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Add know
n
_co
n
ditio
n
_
f
a
ls
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
ix
handling of conti
n
u
e
i
n
side do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpent
e
r
Don't
s
et let people set stat
e
s for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l c
l
eanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle th
e
iterat
o
r
s
correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpenter
Add support for "if (a?b:c) {
.
.
.
" ternary cond
i
ti
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpente
r
A
d
d some suppo
r
t for _spin_trylock() a
n
d friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpen
t
er
if (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
This prints
o
ut
e
rror message
s
all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpe
n
ter
Assignment always sets
&
isfr
e
ed to
somethi
n
g
else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Don't print cross_fu
n
c error
s
if the ca
l
le
d
f
u
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Remov
e
call t
o
al
l
o
c_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Call the merge_
h
ook() inste
a
d of setting the
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpenter
Oops
.
M
e
a
nt to com
m
it
this ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
dd the me
r
ge_hook
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clear the re
t
ur
n
s lists a
t
the end of
each
fun
c
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpen
t
e
r
M
o
ve
t
h
e i
m
plic
a
t
i
ons checking to
a
fter th
e
scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite co
m
pletely with ne
w
goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add s
o
me
f
u
nctions to handle tr
a
cker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't
s
egfault all the time when che
c
king forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Test to see if we
a
re
catching cross f
u
n
c
t
ion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Use
t
he ->pos
s
ible
s
tat
e
s and rem
o
ve the mer
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
"while ((1)) {"
i
s
a
forever loop
.
Call str
i
p
_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes
t
o
the -> pos
s
ible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge b
r
anch 'master'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Add vali
d
ation
s
c
r
ipt for check_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
n
ew->possib
l
e is
a
lways
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpente
r
O
ops
.
->pos
s
ibles w
a
sn
'
t getting se
t
cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use strip
_
expr() in split_con
d
ition
s
() instead reprodu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
arpenter
Add some more
op
e
rations to get
_
val
u
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Return &merged instead
o
f &unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
mak
e
get_value() retu
r
n a va
l
u
e for bitw
i
se or expr
e
s
s
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
an
Carpenter
Try again
r
em
o
ving states from po
o
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Re
v
ert "
R
emove a state f
r
om it
'
s
->pools when se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Elimin
a
te a warning
.
P
robabl
y
the wrong way to
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
C
omme
n
ts
.
Rename slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at poin
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comm
e
n
ts
.
Remove debugging c
o
de from fi
l
te
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Clean up
.
Also pr
e
serve the ->pools in one p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean up get_
s
tate_s
l
is
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
R
em
o
ve __overwri
t
e_c
u
r_
s
l
i
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Th
e
re was
de
b
ugging out
p
ut
t
hat accidentally
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
e
m
o
v
e a state from it's ->poo
l
s when set
_
s
tate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Don't delete the ->
p
ools
o
n
m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try understand
the implications
from comp
o
und condit
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next