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
Print fewer Unclear locking messages.
2009-02-23
Dan Carp
e
nter
Print f
e
wer Un
c
lear lockin
g
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
i
f
(
(
1)) {
.
.
.
is a k
n
own_cond
i
t
ion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
A
d
d support for
th
o
se f
u
n
n
y gcc ({
.
.
.
}
)
b
l
o
c
k statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
arpenter
Handle d
e
clarations
in
s
ide switch statem
e
nt block
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
arpenter
Cl
e
a
nup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Add known_co
n
dition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Fix han
d
l
i
ng of continue
inside
do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Don't set l
e
t
peop
l
e set
s
tates f
o
r unrea
c
hable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
t
e
r
Sma
l
l cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle the iterators
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Car
p
enter
A
d
d support fo
r
"if (a?b:c) {
.
.
.
" ter
n
ary
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
Carpenter
Add so
m
e support
f
o
r
_s
p
in_tryl
o
ck() a
n
d fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if (
a
|| b) {
a
->foo
;
shou
l
d print an error
.
A
l
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpent
e
r
T
his prints out error
messages all the time
t
hat are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
Assignment always sets
&isfreed to something el
s
e li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Don
'
t print cross_fu
n
c
error
s
if
t
he called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Remove call t
o
a
lloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
C
a
ll the
merge_hook() instead of setting the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit this earl
i
er
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rp
e
nter
Add the merge_hook()
b
ack in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Clea
r
th
e
returns lists at th
e
end of each functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ent
e
r
Move the implications ch
e
cking to
after t
h
e scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
Add
s
ome functio
n
s to handle tra
c
ker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
e
r
Don'
t
segfault a
l
l the time w
h
en c
h
ecking forever
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
T
e
st to see if we are c
a
t
c
h
i
ng
c
r
oss
f
unct
i
o
n d
e
ref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Us
e
the ->possible state
s
and remove the merg
e
_
h
o
o
k
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
pent
e
r
"while ((1)) {" is a forever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the
-
> possible
s
et
t
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
ent
e
r
M
erge branch 'mast
e
r' i
n
to nul
l
_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carp
e
nter
Add validation scr
i
pt
for check_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean
up
.
n
e
w-
>
p
ossible is alw
a
ys null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Oops
.
-
>
po
s
sibles
w
asn't getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpe
n
t
e
r
Use strip_expr() in split_conditions() ins
t
ead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Add some more operation
s
to g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
t
urn
&merge
d
instea
d
of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
m
a
ke ge
t
_va
l
ue(
)
re
t
urn
a va
l
ue fo
r
b
i
twise
o
r
expressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try ag
a
in r
e
moving states f
r
om
pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpe
n
ter
Revert
"
R
e
m
ove
a state f
r
om it's ->pools w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
E
l
iminate a
w
arnin
g
.
Probably
the wrong way
t
o
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
lean ups
.
Comments
.
Re
n
a
me slist_stack to
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
H
a ha
.
I s
t
i
ll suc
k
at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean
u
ps
.
Comments
.
R
emove debugging co
d
e
f
rom filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
C
l
ean up
.
A
lso preserve
t
h
e
->poo
l
s in
o
ne path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Clean up get_s
t
a
t
e_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Remove __overwrite_cur
_
slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There w
a
s debuggi
n
g outpu
t
that acci
d
entally got commit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
ar
p
ent
e
r
R
e
move a state fr
o
m it
'
s ->pools wh
e
n set_st
a
te() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
o
n't delete the ->pools o
n
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
Try unders
t
and the
impl
i
catio
n
s
from compound co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cr
e
ate a state &me
r
ged
.
W
h
e
n
we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
his time smatc
h
_
im
p
l
i
e
d _really_ doe
s
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
e
nter
Ignore cs
c
ope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
penter
Sm
a
ll cl
e
anups
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
e
r
Whitespace c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpent
e
r
Add some
m
ore loc
k
i
ng fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
pen
t
er
Fix implied poo
l
s so that at least it d
o
e
s
s
o
met
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It seeme
d
l
ike trac
k
er_list would be
u
seful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
ent
e
r
Add a
README describing sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Ad
d
scri
p
t to find
N
ULL deref
e
r
ences
betwee
n
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix usag
e
me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
C
heck for
m
alloc() as well
a
s kmallo
c
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
Fix
segfault wh
e
n
handl
i
ng implici
t
l
y
declared functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we
d
on't
acquire
l
oc
k
s when calling c
e
rta
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
r
p
e
nt
e
r
Try (and fail) to f
i
nd memory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Almost pri
n
t a message when you come to unreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpent
e
r
A
dd check to look for doubl
e
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
p
enter
Add ch
e
cking fo
r
lock_
k
ernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Make check_l
o
cking che
c
k
b
o
th spinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpente
r
Add
a
new
f
unctio
n
slist_has_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
If there is an i++ then the v
a
lue of
'
i
'
i
s undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a new check_lock
i
ng scr
i
pt that che
c
ks
s
p
i
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nter
Save the possib
l
e state
s
ins
t
e
ad o
f
just m
e
r
g
ing them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
I
g
n
o
re e
m
a
c
s garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Merge branch '
m
aster' i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpe
n
ter
Fix likely() and unlikely
(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
Add s
i
ngle quotes
around the variabl
e
for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
penter
We could save s
o
me memory
b
y not allocating
new
me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add a com
m
ent s
h
o
wing whe
r
e the tests are
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpente
r
Thi
s
is left ov
e
r from Octobe
r
as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
p
ent
e
r
Add get_possible_stat
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff le
f
t
over from October
.
Implied pools
w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n C
a
rpenter
We cou
l
d save some memory by no
t
allocating ne
w
mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n C
a
rpenter
Fix m
e
mo
r
y leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Ad
d
a merge hook
.
Han
d
l
e the sit
u
ations
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carp
e
nter
strcm
p
()
doesn't a
c
cept
NULL arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
ent
e
r
r
ename two
f
unc
t
ions: ge
t
_varia
b
l
e_fr
o
m_ex
p
r_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_f
r
om_expr()
u
ses a stati
c
b
u
f
fer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a ch
e
ck_templat
e
.
c example
s
cri
p
t tha
t
l
ooks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Make
g
e
t
_al
l
_
s
ta
t
es() n
o
t segfault
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix
get_
v
alue
(
) to return negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
We only ever pass one paramet
e
r into get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Fix
g
e
t
_all_sta
t
e
s
(
) to match th
e
function
d
ef
i
ni
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove ad
d
_
s
tate()
a
n
d
state_
d
e
fined()
definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpen
t
e
r
C
lean u
p
.
F
ix leak
.
My
problem is
t
hat
I
don't understan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
ent
e
r
Ini
t
ial commit
of
t
he "
i
mplied sta
t
e
pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carp
e
nter
Doh
.
W
e
ha
v
e
n'
t
been using smatch_extra for a w
h
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Get ri
d
of path_history
.
It's
nev
e
r going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
ar
p
enter
Make goto_stack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
S
peed
u
p merg
e
_slis
t
now t
h
at the slists are o
r
dered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next