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 a --debug-implied option
2009-03-05
Dan Carpe
n
ter
Add a --de
b
ug-impli
e
d option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Ca
r
pen
t
er
check_memory: Fix segf
a
ult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
kch
e
ck
e
r
:
helper sc
r
ipt to invok
e
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpen
t
e
r
check_memory:
ne
w
code
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
Fix bug
in
compoun
d
cond
i
tions and a
d
d
v
a
li
d
ation t
e
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locking: h
a
ndle
f
u
n
c
tions wit
h
no ret
u
r
n
s
tatem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Car
p
ente
r
Fix so
security_fixup
_
op
s
(
) doe
s
n't
t
r
igger the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix 'or'ing states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
N
U
LL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpent
e
r
For some rea
s
on smatch can't find these
h
eader files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Car
p
enter
Fix
s
tring
m
e
mo
r
y lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove
unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Remove o
u
tdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't __free_sm_sta
t
e() unt
i
l end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
free
_
slist(
)
after ca
l
ling ge
t
_a
l
l_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpent
e
r
d
o
n
't
reallocate the
-
>
possible s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arp
e
nter
Get
ri
d
of
unused line
h
istory
co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
F
i
x some mem
o
ry lea
k
s
in _
_
i
mplied_states_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpen
t
er
A
d
d free_
t
ra
c
k
e
r
s
_
and
_
list() a
n
d free
_
t
racker_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Add n
e
w
free_stack()
funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
ren
a
m
e
del_slist_stack() to f
r
ee_
s
t
ack_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
renam
e
del_slist(
)
-
>
free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
e
r
Fr
e
e all the sm_s
t
ate
s
at the
e
nd o
f
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpenter
Add
-
>possible to __print_
s
l
i
st() o
u
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arpenter
Save
a
ll t
h
e pools a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
A
d
d
and fix smatch implied
t
ests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
ar
p
enter
Preserve the ->pools and ->
p
ossible
f
or
i
mplied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Fix handling mutually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpen
t
er
Ge
t
rid o
f
redundant harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
t
er
Add function __set
_
true_false
_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only save an implied list
if a
s
t
a
te ha
s
bee
n
m
o
difi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
r
pent
e
r
Only
i
m
plied states t
h
at aren
'
t already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
Tak
e
a
paramet
e
r instead of assuming the
o
utput is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpente
r
Don't c
h
eck that there are both tru
e
a
nd fal
s
e states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Th
i
s check_ord
e
r()
seems
su
p
erflu
o
us
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
New function ha
r
monize_state
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call _
_
spli
t
_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Carpent
e
r
remove unneeded calls to __us
e
_cond_
t
rue_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the implied state
to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Mak
e
cm
p
_tracker() accessibl
e
to
o
utside fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
r
penter
All the states
a
re implied not j
u
st
uniqu
e
o
n
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpen
t
er
Impr
o
ve
lock check
output
.
Add more v
a
lidation sam
p
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
A
d
d
s
uppo
r
t
f
o
r
down_interruptible() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix
t
h
e Unc
l
ear locking
t
h
i
ng
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpe
n
ter
Warn on dou
b
le lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Print fewer Unclear locking
m
e
ssages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
if ((1)) {
.
.
.
is
a
kn
o
wn_conditio
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Add support
f
o
r those fu
n
n
y g
c
c ({
.
.
.
}) block s
t
atements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle dec
l
arations ins
i
de switch
s
tatement
b
lock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rp
e
nter
Cleanup is
_
zero(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
r
penter
Add
known_co
n
diti
o
n_f
a
lse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of con
t
i
n
ue in
s
i
de d
o
wh
i
le stat
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Don't set let
people
set s
t
at
e
s for unreac
h
able
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
mall
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e the iterators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
arpenter
Add
support for "i
f
(a?b:c) {
.
.
.
" terna
r
y
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Ad
d
some support for
_s
p
in_tryl
o
c
k
()
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an
C
arpenter
if (
a
|| b
)
{
a->
f
oo
;
should p
r
int an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpe
n
ter
This prints ou
t
error
mes
s
a
ge
s
all t
h
e time th
a
t are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
C
a
rpenter
Assignment
a
lwa
y
s sets &isf
r
eed to som
e
t
h
ing else
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't print cross_func errors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nt
e
r
Remo
v
e call to
a
lloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Call the merge
_
hook() instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Oops
.
Meant to commit this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Add t
h
e merge_hook
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nte
r
Clear the ret
u
r
ns lists at th
e
end o
f
each fun
c
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implication
s
checking to after the scri
p
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Rewrite completely wi
t
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add some functions t
o
ha
n
dle tr
a
cker list
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Don't segfault al
l
the time when che
c
king for
e
ver lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Car
p
enter
Test to se
e
if we are catching
c
r
o
ss
funct
i
o
n
de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
Use the
->possibl
e
s
t
a
tes and re
m
o
v
e the mer
g
e
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
"while ((1)) {" is a
fore
v
er
l
oop
.
C
all strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
f
ixes to the
-> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branc
h
'ma
s
ter'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
n
ter
Add vali
d
ation
script f
o
r
check_
n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clea
n
up
.
ne
w
->possible is al
w
ays n
u
ll
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
enter
Oo
p
s
.
->possibles wa
s
n't gettin
g
set corr
e
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
Carpenter
Us
e
s
tri
p
_exp
r
() in split_conditions() instea
d
reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Add some more op
e
rat
i
o
n
s to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Ca
r
penter
Retur
n
&merged
i
ns
t
ead o
f
&
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Ca
r
pent
e
r
make get_value() return a value for bitwise or express
i
on
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try again removing states
fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Re
v
ert "Remov
e
a state from it'
s
->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
El
i
minate a w
a
rning
.
Probably the wr
o
ng way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Clean ups
.
C
om
m
ents
.
Rename sl
i
st_stack
t
o named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I still
s
uck at
p
oint
e
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Cle
a
nup
s
.
Comme
n
ts
.
Remove
debu
g
g
ing code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean
u
p
.
Also
p
res
e
rv
e
th
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
C
arpenter
Clean up get_state_
s
list
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove __overwrite_cur_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
There was debu
g
ging
ou
t
put t
h
at accidentally got c
o
m
mitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Remove a st
a
te from it's ->p
o
ols whe
n
set_s
t
ate(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the ->pools on m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand the implicatio
n
s from
compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
pent
e
r
C
reate a s
t
ate
&merged
.
When we
m
e
rge stuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time smatch_implied _reall
y
_ do
e
s s
o
met
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
S
m
a
ll
cleanu
p
s
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
hit
e
spac
e
cha
n
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next