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
Fix bug in compound conditions and add validation test.
2009-03-04
Dan Carpenter
Fix bug in
c
ompou
n
d
condition
s
a
nd add
v
a
l
idation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nter
ch
e
ck_
l
ocking
:
h
an
d
le functions with no r
e
turn statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpe
n
t
er
Fix so
secu
r
ity_fix
u
p_ops() do
e
s
n
't
t
ri
g
g
e
r the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
e
n
ter
Fix 'or'
i
n
g s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpe
n
ter
Fix NULL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some re
a
son sm
a
tch ca
n
't f
i
nd th
e
se
header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix str
i
ng memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unneeded allo
c
ation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
rp
e
nter
Remov
e
outdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
arpenter
Don't __f
r
ee_sm_state() until end of functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Car
p
enter
free
_
slist
(
) a
f
ter call
i
ng get_all_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
d
o
n't
reallocate the ->possibl
e
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
Get rid of unu
s
ed line history code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Fix som
e
memory leaks
i
n _
_
implied_states_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d free_trackers_and_list() and
fr
e
e_trac
k
e
r_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
pen
t
er
Add ne
w
free
_
stack(
)
functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpenter
ren
a
m
e
del
_
slist_
s
tack() to free_st
a
ck_and_sli
s
ts
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
er
rename del_s
l
ist()
-> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Free al
l
th
e
sm_sta
t
es at the end of
e
ach
f
uncti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add ->possible to __
p
r
i
nt_
s
list() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
rpe
n
ter
Save all t
h
e pool
s
a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Add a
n
d fix smatch implie
d
te
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nt
e
r
Pr
e
s
erve
t
he ->
p
ools
and ->possible fo
r
implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
F
ix
ha
n
dling mutuall
y
exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an
Carpenter
Get rid of
redundant harmonize_states(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpenter
A
d
d
function __set_true_fa
l
se
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
O
n
ly save an implied lis
t
i
f
a st
a
te has bee
n
modifie
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
ent
e
r
Only
i
m
p
lied state
s
that a
r
en't
already
t
rue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpenter
Take a parameter in
s
tead of assuming the outpu
t
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
C
a
rpenter
Don't che
c
k that
t
here are both true and f
a
ls
e
states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
p
enter
T
his check_order() seems s
u
perfluou
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
New func
t
ion
h
a
rm
o
ni
z
e_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
Carpenter
call __s
p
lit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an
C
arpe
n
ter
remove
unneeded calls
t
o __use_cond_true_states(
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the impli
e
d state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Car
p
enter
Make cmp_tra
c
ker() acce
s
sible to outside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
e
nt
e
r
All
the
s
tates are implied not ju
s
t uniqu
e
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Impr
o
ve l
o
c
k check ou
t
p
ut
.
A
d
d more validation s
a
mp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
A
dd su
p
port for down_interruptible() a
n
d
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Fix the Unclear lo
c
k
ing thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Warn on do
u
bl
e
loc
k
/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Print
fewer Unclear lo
c
king messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
if ((1)) {
.
.
.
is
a
known_c
o
ndition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Add supp
o
r
t
for those
f
u
nny gcc ({
.
.
.
}) block statemen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle
declarations insid
e
switch statemen
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Cleanup
i
s_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Fix han
d
ling of continue inside do
w
h
ile statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
D
o
n't
set let people set sta
t
es for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Car
p
enter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
H
a
ndle
t
h
e
ite
r
ators
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
A
dd support for "if (a?
b
:
c) {
.
.
.
"
t
er
n
a
ry co
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
Add some support
f
or
_
spin_trylock() and
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Car
p
e
n
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 Carp
e
nter
This
p
rints out error messa
g
es al
l
the time
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Ass
i
gnment always sets &isf
r
ee
d
to
something else l
i
ke
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpenter
Don'
t
print cross_func errors if the
c
alled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nte
r
Remove call to alloc
_
sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Call the merge_hook() ins
t
e
a
d
of setting the stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rp
e
n
t
er
Oops
.
Meant to co
m
m
it this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Add the merge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the ret
u
r
n
s
lists at
the
e
nd of e
a
ch
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
M
o
v
e the implications
checking
t
o afte
r
t
h
e
s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpen
t
er
Rewrite com
p
lete
l
y with new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Add
s
ome function
s
to handle tracker l
i
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
D
o
n't
segfaul
t
al
l
the tim
e
w
h
en checking forever loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Test
t
o se
e
if we
a
re catching cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Use the
->pos
s
ibl
e
states and remove
t
h
e merge_ho
o
k
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
"while
((1)) {" is
a
f
o
rever loop
.
C
a
l
l
s
tri
p
_expr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
f
i
xe
s
to t
h
e -> po
s
sible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge b
r
anch 'master'
i
nto nul
l
_de
r
ef
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pe
n
ter
A
d
d v
a
lidation
s
c
ript for c
h
eck_nul
l
_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
ente
r
Clean up
.
new->possible
i
s a
l
w
a
ys null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Oops
.
->possibles w
a
sn't ge
t
tin
g
set co
r
rectl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
e
r
Use strip_exp
r
(
)
i
n
split_c
o
ndit
i
o
n
s
()
i
n
s
te
a
d rep
r
oduc
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
A
dd som
e
more operations t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Return &mer
g
e
d
instead of &u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carp
e
nter
make
g
et_value() ret
u
r
n
a
value for bitwise or
e
x
press
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
rpenter
T
ry
again re
m
oving st
a
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Revert "Remo
v
e a stat
e
f
r
om it's ->pool
s
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Eliminate a
w
a
rning
.
Prob
a
bly the wrong
w
ay t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cl
e
a
n
ups
.
Comments
.
R
ename slist_stack to named_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha ha
.
I sti
l
l suck
at po
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Cleanups
.
Comments
.
Remove debugging code from filter
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an up
.
Also
preserv
e
the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
Clean
u
p get_state_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move __o
v
erwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
T
h
ere was debugging outpu
t
that
accidenta
l
ly got comm
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
emove a state f
r
o
m
it's ->pool
s
wh
e
n set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Don't
del
e
te the ->pools
o
n me
r
ging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
e
r
Try understand the implications from
c
ompo
u
n
d
conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a state &merged
.
When we merge stuff i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_implied _
r
eally_ does so
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
rpenter
Ignore cscope
fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
e
r
Wh
i
tespac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add
s
ome mor
e
locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Fi
x
implied pools
so
t
hat at least it does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It seemed
like tracke
r
_list would be
u
se
f
ul in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add
a
README describing sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next