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
check_memory: Fix segfault
2009-03-04
Dan Carpenter
check_me
m
or
y
: Fix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
a
rpe
n
ter
k
checker: helper scri
p
t to invoke
s
m
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
check_memor
y
:
new
c
o
de
.
not u
s
ed yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug
in compo
u
nd cond
i
t
i
on
s
and add validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pen
t
er
c
h
eck_l
o
cking: handle functions with no retu
r
n s
t
atem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
ter
F
ix so security_f
i
xup_ops()
doesn't trigger
t
h
e OO
M
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix '
o
r'
i
ng
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pe
n
ter
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carp
e
nter
For some reas
o
n smatch can't find these
header files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpente
r
Fi
x
string
m
em
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Remove unneeded
allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Re
m
ov
e
outdated commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Don't __free_
s
m_state() un
t
il end of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
free_slist() after calling get_all_st
a
tes(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpente
r
don't reallocate the ->p
o
ssible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
G
e
t
rid of unused
l
i
ne his
t
or
y
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Fix som
e
memory leaks in __implied_state
s
_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Ad
d
free
_
t
r
a
c
kers_a
n
d_list() an
d
fre
e
_
tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Ad
d
new
free_sta
c
k(
)
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
rename del_s
l
i
s
t_stack() to free_stack_and
_
slis
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
r
e
n
a
m
e
del_slist() ->
free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Fre
e
all the sm_states
a
t the end of each functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpe
n
ter
Add ->possible to __print_slist() ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all the pools a
state goes thr
o
ugh
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
e
nter
Add and fix
smatch im
p
l
ied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpente
r
Preserve
t
he ->pools and
-
>
po
s
sible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
C
arpen
t
er
Fix handling mutually exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Get rid of redund
a
nt harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Add fun
c
tion __se
t
_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
O
nl
y
save an implied
l
i
st
i
f a state ha
s
been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
nly
implie
d
states
tha
t
a
r
en'
t
alrea
d
y true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
arpe
n
ter
Take a param
e
ter instead of assuming the ou
t
p
u
t is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Don't c
h
eck that there are both true
a
n
d
false
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
r
pen
t
er
This che
c
k_order() se
e
ms
s
uperfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
N
e
w funct
i
on harmonize_
s
tates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
c
all __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
a
r
p
ente
r
rem
o
ve
u
nneede
d
calls to __use
_
co
n
d
_
true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the
i
mpli
e
d state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
e
n
ter
Make cmp_t
r
acker() accessible
t
o outside
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
t
er
Al
l
the sta
t
es are i
m
pli
e
d not just u
n
i
q
ue ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Improve lock check output
.
Add
m
ore valid
a
t
ion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpen
t
er
Add sup
p
ort for down_interrup
t
ible() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpe
n
ter
Fix
t
h
e
Unclear
l
ocking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
e
r
W
arn
o
n double lock
/
unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Print fewer Uncl
e
ar lockin
g
m
e
ssages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
i
f
((1
)
) {
.
.
.
is a know
n
_co
n
dition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Add suppor
t
for thos
e
funny gcc (
{
.
.
.
}) blo
c
k stateme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Han
d
le declarations insid
e
switch
s
tatement bloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Cleanu
p
is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add kno
w
n_
c
ondition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Car
p
enter
Fix ha
n
dling of contin
u
e inside
d
o
while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don
'
t
s
et let people set states for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carp
e
nter
Handle
t
he
iterators cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Add s
u
pport for "if (a?
b
:c) {
.
.
.
" ternary cond
i
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support for _spin_t
r
ylock() and frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
if (
a
||
b
) { a->f
o
o; should pr
i
nt an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpent
e
r
Thi
s
p
r
int
s
ou
t
error messages all the time t
h
at are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment
a
lways sets &isf
r
eed to
something e
l
s
e like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpente
r
Don't print cr
o
ss_func
e
r
rors
i
f the
c
alled
f
uncti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ente
r
Remov
e
call to
a
lloc_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
a
ll the
merge_hook
(
) instead
o
f
setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
Oops
.
Meant to com
m
it this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
Ad
d
the m
e
rg
e
_h
o
o
k
(
) back
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clear the returns l
i
sts at the end of each func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpen
t
er
Move th
e
implic
a
tions checking to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rew
r
ite complete
l
y
w
it
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Add some functions to h
a
ndle t
r
acker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Don't segfaul
t
all the ti
m
e whe
n
ch
e
cking fore
v
er loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpente
r
Test to
see if we a
r
e catching cro
s
s
fu
n
ction der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use the ->possible states a
n
d remove the
merge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
nter
"while ((1
)
)
{" is
a
fo
r
ev
e
r
l
oop
.
Call strip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pent
e
r
fixes t
o
t
he
-
> poss
i
ble sett
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpent
e
r
Merge br
a
nch 'master' into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Add validation sc
r
ipt fo
r
ch
e
c
k
_n
u
ll_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
Carpenter
Clean up
.
new
-
>possib
l
e is always n
u
ll here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpente
r
Oops
.
->possible
s
wasn't g
e
tting set cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
U
s
e
s
t
r
i
p_ex
p
r() in split_
c
onditions()
i
nstead reproduci
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
a
rpenter
Add some more
o
perat
i
ons to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
n
ter
Return &merged instead of
&undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
ter
make get_
v
alue
(
) return a value for
b
it
w
ise
or
express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again removing states f
r
om poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rev
e
rt "
R
emo
v
e
a state from it's -
>
p
o
ols
w
he
n
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
e
r
E
l
imin
a
te a
w
a
r
n
ing
.
Probably the wrong way t
o
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean ups
.
Comm
e
nts
.
Re
n
ame
slist_st
a
ck to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Ha ha
.
I still
s
u
c
k
at po
i
nters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
Comments
.
Remove debuggi
n
g
code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
A
l
s
o preser
v
e the
-
>pools in one pa
t
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up get
_
st
a
te
_
slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove __o
v
erwrite_
c
ur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
e
r
The
r
e
w
as debugging output t
h
at a
c
cidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Re
m
ove a state from it's
-
>
p
ools when set_state()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
D
o
n't delete the ->pools
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Try understand the
implication
s
from compou
n
d condition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
s
t
a
te &merged
.
When we merg
e
st
u
ff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nte
r
Ok
.
T
h
i
s time s
m
at
c
h_implied _really_ doe
s
somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
I
gnore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpen
t
e
r
Small cleanups
.
(White space
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
W
h
ites
p
ace
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
ter
Ad
d
some mo
r
e locking
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next