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
call __split_expr()
2009-02-25
Dan Carpenter
call _
_
split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneeded calls t
o
_
_u
s
e_
c
ond
_
tr
u
e_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
t
er
Don't set the implied stat
e
to &me
r
ged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
M
a
k
e cmp_tracker() accessib
l
e to outs
i
de
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
C
a
r
penter
Al
l
the
states are implied
n
ot just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Improve l
o
c
k
che
c
k output
.
Add more
v
ali
d
ation sample
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add supp
o
rt for down
_
int
e
rruptible() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
C
arpenter
F
i
x
the Un
c
l
ear locking thing
.
Aga
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Warn
on
d
ouble lock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Pr
i
nt fewer U
n
c
l
ear locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
if ((1)) {
.
.
.
is a k
n
ow
n
_condition_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
s
up
p
ort for th
o
s
e
funny gcc
(
{
.
.
.
}) b
l
ock statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an
C
arpen
t
er
Handl
e
d
e
clarat
i
on
s
inside sw
i
tc
h
statement
b
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Clean
u
p
is_ze
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
A
dd
k
no
w
n_condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Fi
x
handlin
g
of c
o
ntinue inside d
o
w
h
ile
state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
set
l
et people set
s
t
ate
s
for
u
nreachabl
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Car
p
enter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an C
a
rp
e
nt
e
r
Handle the iterators correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
Add s
u
ppor
t
for "if
(a?
b
:c) {
.
.
.
" ternary
c
ond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpe
n
ter
A
dd some support for _sp
i
n_tryl
o
ck() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b) { a->
f
oo; should pri
n
t an
e
rror
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
h
is p
r
ints ou
t
err
o
r
messages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carp
e
n
ter
Assignment
a
l
w
ays s
e
ts &isfreed to
s
omethi
n
g
e
l
s
e lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Don't print
cro
s
s_func errors if t
h
e called fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpenter
R
em
o
v
e
call to alloc_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ent
e
r
Call the merge
_
hook()
i
nstead
o
f setting the
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Oops
.
Meant to com
m
it thi
s
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the m
e
rge_hook() back
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
rpenter
Clear the r
e
t
urns li
s
t
s
at
t
he end o
f
each fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ove the im
p
lications check
i
ng
t
o after the
sc
r
i
p
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Rewri
t
e
completely with new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Add
s
ome
funct
i
ons to handle tracker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault
all the time when checkin
g
forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
T
e
st to see if we are catching
c
ross fun
c
tion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possi
b
le states and re
m
o
v
e the
merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((
1
)) {" is a
f
orever l
o
op
.
Cal
l
strip_
e
x
pr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpen
t
er
fixes to t
h
e -> pos
s
ible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Merge branch '
m
aster' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
penter
Add valid
a
tion sc
r
ipt for check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
lean up
.
new->pos
s
i
ble is always
n
ul
l
her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an
C
arpen
t
er
Oops
.
->pos
s
i
b
les wasn't getting set
c
orr
e
ct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Use strip_expr() in split_conditions(
)
i
nstead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpen
t
er
Ad
d
some more o
p
erations to g
e
t_
v
a
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Retu
r
n
&merged instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value()
r
et
u
rn
a
value for bi
t
wise or e
x
pr
e
ssion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Try again removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert
"
Remove a st
a
te from i
t
'
s
->pools
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimi
n
at
e
a
warni
n
g
.
Probably the w
r
ong way t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
pe
n
ter
Clean
u
p
s
.
Co
m
me
n
ts
.
Rename slist_stack to
named_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I
s
till suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
anups
.
C
omments
.
Remove de
b
uggin
g
code from
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an u
p
.
Also preserve
the ->po
o
l
s
in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Cl
e
an
u
p
g
et
_
stat
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remo
v
e __o
v
erwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
T
here
was
d
e
b
ug
g
i
n
g outpu
t
that acc
i
dental
l
y got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remo
v
e
a
state from it's ->pools whe
n
set
_
s
t
ate() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Don't delete the ->pools on me
r
g
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y u
n
derst
a
nd the i
m
plications from
compound
condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Create a state
&merged
.
When we merge st
u
f
f
i
t
i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ok
.
This time smatch_im
p
lied
_
reall
y
_
d
oe
s
somet
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gnore csco
p
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanup
s
.
(White
s
pa
c
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Whitespace
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some
more lo
c
king functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpen
t
er
Fix implie
d
pools so
t
hat at leas
t
it
does some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It seemed li
k
e tracker_lis
t
would be us
e
ful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Ad
d
a
R
EADM
E
describing smatc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
rp
e
nter
Add
s
cri
p
t t
o
f
ind NU
L
L derefe
r
e
nces
b
etween
funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix usage me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpente
r
Che
c
k for malloc() as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix
s
egfau
l
t when ha
n
dling i
m
plic
i
t
ly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpe
n
te
r
Warn wh
e
n we don
'
t
acquir
e
locks w
h
en ca
l
ling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Try (and fai
l
) to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Almost print
a mes
s
age when
y
ou co
m
e to unreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpent
e
r
Add
c
h
eck to lo
o
k f
o
r
double
fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpen
t
e
r
Add checking f
o
r loc
k
_ke
r
nel()/unlock_k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
e
r
Make chec
k
_
locking
c
he
c
k both spinlocks
a
nd
semaphor
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
A
d
d a
n
ew functio
n
sl
i
st_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpen
t
er
I
f
there
is an i++ th
e
n
t
he va
l
ue of 'i
'
is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Add a
n
e
w
c
heck_locking script that checks spin
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save t
h
e possi
b
le
s
tates
inste
a
d
of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Ignore
e
macs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpe
n
t
er
M
erge branch
'
mas
t
e
r'
into pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
F
i
x li
k
e
ly() and unli
k
ely() ha
n
dling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpente
r
Add sing
l
e
q
uotes
a
round the
v
ari
a
ble for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpenter
W
e c
o
ul
d
save some
memory by
not a
l
locating new
m
emo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
A
d
d a comment showing where the tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
T
h
is is left over from October as p
a
r
t
of the im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add get
_
pos
s
ib
l
e_stat
e
s(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff l
e
f
t over from Oc
t
ober
.
Implied poo
l
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpent
e
r
We coul
d
save some memory by not allocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y
l
eak
.
Add
m
or
e
co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpent
e
r
A
d
d a mer
g
e
hook
.
Handle
t
he situations l
i
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() doesn't ac
c
e
p
t NULL argume
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpe
n
te
r
r
ename two f
u
nctio
n
s: get_var
i
able_fr
o
m_expr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_expr() uses a static b
u
f
f
er
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nt
e
r
Create a c
h
eck_
t
emplate
.
c example script
t
h
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
pente
r
M
a
ke g
e
t
_
a
l
l_st
a
tes() not
s
e
g
fault ev
e
ry time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value()
to return n
e
gat
i
ve valu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next