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 function __set_true_false_sm()
2009-02-27
D
a
n Carpe
n
t
e
r
A
dd function __set_true
_
f
a
lse_sm(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpenter
Only
sav
e
an impl
i
ed
l
ist if a
s
t
ate ha
s
been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly implied
states
that aren
'
t a
l
ready true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
a
rpenter
Take a param
e
ter instead
o
f assum
i
ng the outp
u
t is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
e
nter
Don't check that there are bo
t
h t
r
ue and
false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This
c
he
c
k_order()
s
eems superflu
o
us
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
New fu
n
c
tion harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
c
all __
s
p
l
i
t_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
re
m
ove unnee
d
ed call
s
to __use_cond_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
C
arpenter
Don't
se
t
the implied state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpen
t
er
M
a
ke cmp_t
r
acker()
a
ccessible to outsi
d
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
All
the
states ar
e
im
p
li
e
d
n
ot just unique
on
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
r
p
enter
Improve lock che
c
k out
p
ut
.
Add more valid
a
tion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Add support for d
o
wn_
i
nte
r
ruptible(
)
and
friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
F
i
x the Unclear
l
oc
k
ing thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Warn o
n
d
ouble lock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Pri
n
t fewer Unclear locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
if
((1
)
) {
.
.
.
i
s a know
n
_conditio
n
_tru
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
en
t
e
r
Add support for those
f
unny gcc ({
.
.
.
}
)
block sta
t
ements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle d
e
c
l
arations inside switch stateme
n
t
blo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
e
nter
Cle
a
n
up is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
A
dd
k
n
own_
c
ondition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
n
t
e
r
Fix handling
o
f
c
ontinue
inside
do while statement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
nter
D
o
n't set l
e
t p
e
ople
s
e
t
s
tates fo
r
unr
e
achabl
e
c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpen
t
e
r
Han
d
le the ite
r
ators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
Add su
p
port
f
or "if (
a
?b:c) {
.
.
.
" ternary conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpente
r
Add some
s
upport for _spin_
t
ryloc
k
(
)
a
n
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
te
r
if (a || b)
{
a
-
>
f
o
o
; should print an error
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
ent
e
r
T
his prints out error messa
g
es all the tim
e
that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Car
p
enter
Assignment alw
a
ys sets &isfreed to
somethi
n
g else
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Don't print cross_func er
r
ors i
f
the called fu
n
cti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
e
r
R
e
mo
v
e call to alloc_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
the mer
g
e_hook()
i
ns
t
ea
d
of set
t
ing the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit
t
his earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add th
e
merge_h
o
ok
(
) b
a
ck in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the
returns lists
a
t t
h
e end of eac
h
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
o
ve the implications c
h
ecki
n
g
t
o after the s
c
ripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite comple
t
e
l
y
w
i
t
h new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Add some functions to handl
e
tracker
l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't
segfault all t
h
e time when checking for
e
ver
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Test
t
o se
e
i
f we ar
e
catching cross
f
u
n
c
tion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Use the ->possible states a
n
d remo
v
e t
h
e mer
g
e_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
"whil
e
((1)) {" is a
forever l
o
op
.
C
all strip_e
x
pr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
fixes to t
h
e -
>
possib
l
e setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Merge branch 'mas
t
er' into nul
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
A
d
d validati
o
n sc
r
ipt for check_n
u
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
p
e
nt
e
r
Clean u
p
.
n
ew->possibl
e
is
alwa
y
s null h
e
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Oops
.
->
p
ossibles wasn't g
e
ttin
g
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in split_conditions() in
s
tead reproduc
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add
so
m
e
m
ore
o
pe
r
ations to get
_
va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpenter
Return &merged instead of
&
un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Car
p
enter
make get_val
u
e() return a va
l
ue for bitwise or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
arpenter
Try a
g
ain re
m
ovi
n
g states
f
rom poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Revert "Remo
v
e a state from it
'
s
-
>
poo
l
s when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
El
i
mi
n
a
te a w
a
rn
i
n
g
.
Proba
b
ly
the w
r
ong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Clea
n
ups
.
Comments
.
R
e
na
m
e slist_stack to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
Ha ha
.
I sti
l
l suck at
p
o
int
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
n
ter
Cleanups
.
Comments
.
Remove debuggi
n
g code f
r
o
m
f
i
lter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean up
.
Al
s
o prese
r
ve th
e
->p
o
ol
s
in one path o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Clean up get_sta
t
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remo
v
e __o
v
e
r
wr
i
te_cur
_
s
list
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was de
b
ugging output t
h
at
a
ccide
n
tally got
c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Remove a
s
tate from it's ->pools when
s
et_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Don't d
e
le
t
e the ->poo
l
s on
me
r
gin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Try underst
a
nd the im
p
l
i
c
a
t
ions f
r
om compound
c
onditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create a
sta
t
e
&merge
d
.
Wh
e
n we merg
e
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
er
Ok
.
This time
smatch_implied
_really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
enter
I
g
no
r
e csc
o
pe files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
penter
Small clea
n
ups
.
(
W
hite spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpente
r
Whitespace
c
ha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ad
d
some
m
ore locki
n
g func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Fi
x
implied pools so t
h
at at least it does somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
I
t
s
eemed l
i
ke tracker_list would
b
e useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
A
dd a README describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d scrip
t
to
find NULL dereferen
c
es between fu
n
ct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpen
t
er
Fix
usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Check for malloc
(
) as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
fault w
h
en
h
an
d
l
ing imp
l
icitl
y
declare
d
functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn when we d
o
n
'
t ac
q
uire l
o
ck
s
w
hen cal
l
ing certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try
(
and fail) to fin
d
m
emory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
en
t
er
Almost prin
t
a mess
a
ge when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carp
e
nter
Add check to loo
k
for
d
ouble
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
dd checking
f
o
r
l
ock_kernel()/unlock
_
kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
M
a
k
e
c
h
eck
_
lo
c
kin
g
check
both spin
l
o
c
ks and semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
pente
r
Ad
d
a
new funct
i
on slist
_
has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
If there is an i++ then the value of 'i' is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
Carpenter
Add a new check_
l
o
ckin
g
s
c
r
i
pt that chec
k
s
s
pinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n C
a
r
p
e
n
ter
S
ave the
possi
b
le st
a
tes in
s
tead of
j
ust me
r
g
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Ignore emacs ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
e
r
g
e branch 'master' into poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpenter
Fix likel
y
() and unl
i
kely(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nt
e
r
Add single quotes aro
u
nd the variable for consisten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
W
e could sa
v
e so
m
e memo
r
y by not allocatin
g
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
A
d
d
a co
m
m
ent sho
w
ing where the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
This is l
e
ft
over
f
rom October as
par
t
of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get
_
p
ossible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
S
t
uff left o
v
er from October
.
Implied po
o
ls w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Ca
r
p
en
t
e
r
We co
u
l
d
save some memory b
y
not all
o
cating
n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
nter
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next