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
New function harmonize_states()
2009-02-25
Dan Carpente
r
New fu
n
ction harm
o
nize
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
ca
l
l
_
_spli
t
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remov
e
unneeded call
s
to
__use_cond_
t
rue
_
states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carp
e
nter
Don't set the
i
m
p
lie
d
state to &m
e
rg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Ca
r
penter
Make cmp_t
r
acke
r
() accessible to outsid
e
f
i
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
All the
states
a
r
e
implied
n
ot just uni
q
ue ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Improve lo
c
k chec
k
output
.
Add mo
r
e val
i
d
a
tion sample
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d support for down_interrup
t
i
b
l
e
() an
d
f
r
i
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Fix t
h
e Uncle
a
r loc
k
ing thing
.
Agai
n
.
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
Da
n
Carpenter
Print fewer Unclear
l
ocking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Ca
r
penter
if ((1)) {
.
.
.
i
s
a known_condition_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Add support
f
or
t
hose funny
g
c
c
({
.
.
.
}) block
state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpe
n
ter
Handl
e
declaration
s
insid
e
sw
i
t
ch
s
tatement block
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an
C
arpenter
Cle
a
n
u
p is_zero(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpente
r
Add k
n
own_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpe
n
ter
Fix handlin
g
of c
o
ntinue
ins
i
de do whil
e
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
D
on't
s
et let people set st
a
tes for
unreachable
c
od
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpente
r
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
penter
H
andl
e
th
e
ite
r
ators
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Ad
d
support fo
r
"if (a
?
b:c) {
.
.
.
" ternary c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
p
e
nter
Add
s
o
m
e
su
p
port for _sp
i
n_
t
ry
l
ock() and friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b) {
a
-
>
f
o
o; s
h
o
uld pr
i
nt an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
e
n
te
r
This pr
i
n
t
s out
e
rror messages al
l
the time t
h
at
a
re
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
e
n
ter
Assignment always sets
&is
f
r
eed
t
o
s
omet
h
ing else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
D
o
n't print cro
s
s
_func error
s
if the
c
alled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Remove
call to alloc_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
C
a
l
l the merge_hook() instead of set
t
ing the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
ops
.
Mea
n
t to commit th
i
s ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Add t
h
e merge_hook()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Clear the
r
e
turn
s
lists at the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Move the im
p
lications checking to
a
fter the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
R
e
w
rite completely
w
it
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
Add
s
ome f
u
nctions
to handle
t
racker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Don
'
t s
e
gfaul
t
all t
h
e
t
ime when
c
hecking forever
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if we are catching cross f
u
nction
d
erefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Use the ->possible stat
e
s and remove
t
he merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
((1)) {" is a forever lo
o
p
.
Call strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
to the -> possib
l
e s
e
tting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Merg
e
bran
c
h
'
master' into n
u
l
l_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpen
t
er
Add
validation
s
cr
i
pt for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Clea
n
up
.
new->
p
ossi
b
l
e is
a
lways null
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Ca
r
penter
O
o
ps
.
->possibles wasn't
getting set cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use
stri
p
_expr
(
)
i
n
sp
l
it_condit
i
ons() instead
reproduci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
A
dd some
more
oper
a
ti
o
n
s
to get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merge
d
i
n
ste
a
d
of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make get
_
value() retu
r
n a value for bitwise
o
r expressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
r
pen
t
er
Try again
re
m
oving states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
ve
r
t "Re
m
ov
e
a
s
ta
t
e
from
it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimina
t
e
a
warni
n
g
.
Prob
a
bly the
w
rong way
to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Cl
e
an ups
.
Co
m
ments
.
Ren
a
m
e slis
t
_stack to
na
m
e
d_
s
tac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I still s
u
ck
at p
o
int
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Cleanups
.
Comment
s
.
R
emove debugging co
d
e
f
rom
filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up
.
Also preserve the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean up g
e
t_state_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove _
_
overwrite_c
u
r_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
There
was
d
ebug
g
i
n
g output th
a
t acci
d
entally got com
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pen
t
er
Remove a stat
e
from it's ->pools when s
e
t
_
state(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't d
e
lete the ->pools o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try u
n
de
r
stand the i
m
plica
t
ions
fr
o
m compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create
a
state &merge
d
.
When we merge stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
O
k
.
This time sma
t
ch_implied _really_ do
e
s
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
penter
S
m
all
c
leanups
.
(
Whi
t
e s
p
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
n
ter
White
s
p
ac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
A
d
d s
o
me more lo
c
k
i
ng functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied pools so that
at
least it does
s
omethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
I
t
seemed
lik
e
t
ra
c
ker_list would be useful
i
n a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a R
E
A
D
ME d
e
scribin
g
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Ad
d
script to find NULL deref
e
rences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fi
x
usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Check for mall
o
c() as we
l
l a
s
kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fi
x
segfault wh
e
n
handling
i
mplic
i
t
l
y de
c
la
r
ed functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Wa
r
n
wh
e
n we don
'
t
acqui
r
e lock
s
when calling
cert
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Tr
y
(and f
a
il
)
to find me
m
ory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
print a
me
s
sage when
y
ou
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d check to look for
d
ouble free
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpe
n
t
e
r
Add chec
k
ing for
lo
c
k_kernel()/unlock_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arp
e
nter
Make check_l
o
cking che
c
k both
s
pinlocks and se
m
aphore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
e
w
f
u
nction slist
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
If there is an i
+
+ then t
h
e value of 'i' is un
d
ef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
Add a new check_locking script
t
h
at
checks spinl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
ente
r
S
av
e
the possible
s
tates instead of just merg
i
ng
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Ign
o
re ema
c
s garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Merg
e
branch
'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpe
n
ter
Add
a co
m
m
ent showing wher
e
t
he t
e
st
s
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
This is l
e
ft o
v
er
fr
o
m Octob
e
r a
s
part
of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add
g
et_pos
s
ible_state
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Stuff l
e
ft
o
v
er from October
.
I
mplied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Ca
r
pente
r
We could save
so
m
e memory by n
o
t all
o
cating new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Car
p
enter
Fix memory l
e
ak
.
Add more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carpenter
A
d
d
a me
r
ge hook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
st
r
c
mp()
d
oesn't
accept NULL arg
u
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
ename
two functions:
get_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
get_varia
b
le_from_expr()
uses a
s
tatic
buffer an
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Cre
a
t
e
a
c
heck_templa
t
e
.
c example
script
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
e
nter
Make g
e
t
_all_states() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix get_value()
to return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
W
e
only ever
p
ass one parame
t
er
into get_val
u
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fix get_al
l
_states() to
m
atch th
e
f
u
n
ction
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next