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
This check_order() seems superfluous.
2009-02-25
D
a
n
Carpenter
This
c
h
e
c
k_order() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
New function harmonize_states(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
ca
l
l
__s
p
lit
_
expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove un
n
eeded calls
t
o __use_
c
ond_
t
rue_
s
tates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Don't
set the implied stat
e
to &m
e
rge
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
ter
Make c
m
p_tracker()
a
c
cessible to outside file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Al
l
th
e
stat
e
s are
implied not jus
t
u
nique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
r
pent
e
r
Improve
lock chec
k
output
.
Add more validat
i
o
n
sam
p
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an
Carpent
e
r
Add
support f
o
r
d
own_interrup
t
ible() and f
r
iends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
F
i
x
the Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Warn on double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print
fewer Unclear locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
i
f
((1)) {
.
.
.
is a kn
o
w
n_condition_t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add supp
o
r
t
for those funny gcc ({
.
.
.
}) b
l
ock st
a
temen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle declarations in
s
ide switch statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rp
e
nte
r
Cl
e
anup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Add known_condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
r
penter
Fix handli
n
g
of continu
e
inside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpe
n
ter
Don't
set let p
e
ople set states for unreach
a
b
l
e code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpe
n
ter
S
m
all clea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andle the iterators
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
u
pport for
"if (
a
?b:c
)
{
.
.
.
"
ternary c
o
n
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
Add some support for _spin_
t
rylock() a
n
d friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
i
f (a || b) { a->foo;
s
hould
prin
t
an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
h
is prints out error mess
a
ges all th
e
ti
m
e that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Ca
r
p
e
nter
Assignment always sets &is
f
r
e
ed to
something else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
Don't pr
i
n
t cross_func errors if th
e
called fu
n
ct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove
c
all t
o
all
o
c_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Call the
m
e
rge_hook
(
) in
s
tead of setting
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
nter
Oops
.
Meant to commit
t
his e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_hook() b
a
ck in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear
the
returns lists at the end
of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Move the
impl
i
cations che
c
king to after the scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
ewrite complet
e
ly with
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
p
e
nte
r
Add some funct
i
ons to handle
t
racker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
't s
e
gfault a
l
l th
e
time when checking forever loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Te
s
t to see if we ar
e
catching
cross funct
i
o
n derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
the -
>
possible s
t
at
e
s and remo
v
e
the m
e
rge_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
n
ter
"
w
hi
l
e (
(
1)) {" is
a
forever loo
p
.
Call
s
trip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes
to the
-> possibl
e
set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Merge branch
'mas
t
er'
i
nto n
u
ll_d
e
r
ef
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Ad
d
v
a
l
i
dat
i
o
n
s
cript for
c
heck_null
_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Cle
a
n up
.
n
e
w
-
>possible
i
s
always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carp
e
nter
O
o
ps
.
-
>possibles w
a
sn't ge
t
t
i
ng set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
n
te
r
Use
s
trip
_
expr() in split
_
con
d
i
ti
o
ns()
i
n
ste
a
d reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add some more
o
perations to g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged inste
a
d
o
f &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make
get_va
l
ue() r
e
turn a
v
alue for bitwise or ex
p
ressi
o
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpente
r
T
r
y again removing states
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Reve
r
t "Remove
a
state from it's ->pools
w
hen
set_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimi
n
ate a
w
arning
.
P
robably the wro
n
g way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clea
n
u
p
s
.
Comments
.
Rename slist_sta
c
k to
n
a
m
ed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I still suck at p
o
inters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
r
pe
n
ter
Cleanups
.
Comm
e
nts
.
Remove d
e
buggin
g
code from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up
.
Also pre
s
e
r
v
e
the
-
>pools i
n
one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cl
e
an up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove __
o
verwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
There w
a
s debu
g
gi
n
g
o
u
tput tha
t
a
cci
d
ent
a
ll
y
got commit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
em
o
v
e a state from it's
-
>
po
o
ls w
h
en s
e
t_st
a
te(
)
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
D
o
n't delete the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Try understand th
e
i
m
p
lication
s
f
r
om compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Create a state &merged
.
When we merg
e
stuff it
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
O
k
.
This time smatc
h
_implied _really_ does some
t
h
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ign
o
re cs
c
op
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sma
l
l cleanups
.
(White s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
Whitespace
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
A
d
d some more l
o
cking fun
c
ti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
F
ix
i
mplied poo
l
s so
that at least it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
It seemed
l
ike tracker_list would be
us
e
ful i
n
a
l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpe
n
ter
Ad
d
a README describing smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Ad
d
script to find NULL dereferences
be
t
ween
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
en
t
er
F
i
x usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Che
c
k
for mall
o
c() as we
l
l as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpente
r
Fix
s
e
gfault when
handlin
g
i
mplicitly d
e
clared fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Ca
r
penter
Warn when
we don't acquire locks when calli
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpent
e
r
Try (a
n
d fail) to
fin
d
mem
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Almo
s
t pri
n
t
a
message wh
e
n y
o
u
c
ome to unrea
c
hab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add c
h
eck to lo
o
k
f
or double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add c
h
ecking for lock_k
e
rnel
(
)/
u
nlo
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpent
e
r
Make
c
h
e
c
k_locking ch
e
ck bot
h
spi
n
locks a
n
d semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a new fu
n
cti
o
n slist_has_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f
t
h
e
re is an i++
t
h
en the va
l
ue
of 'i' is un
d
e
fin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
pente
r
Add a new
c
heck_
l
ocking scrip
t
that checks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Ca
r
penter
Sav
e
the possible sta
t
e
s instead of just merging th
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ig
n
ore
e
m
acs garbag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
e
n
ter
Mer
g
e b
r
anch 'ma
s
t
er' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Ca
r
p
enter
Fix li
k
e
l
y() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
te
r
Add single q
u
otes
a
rou
n
d th
e
variable for c
o
nsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
enter
We could sav
e
som
e
memory
b
y
not
allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a
c
o
mmen
t
s
howing where the tests are su
p
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
This
is left
over from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_po
s
sib
l
e_sta
t
e
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
S
t
uff l
e
ft over fr
o
m O
c
tobe
r
.
Implied pools
wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpe
n
t
e
r
We cou
l
d
save some mem
o
ry by n
o
t allocati
n
g new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
A
dd a merge hook
.
Handl
e
the situati
o
ns like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
strcmp() do
e
sn
'
t accept NULL
argument
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
rpenter
rename tw
o
functio
n
s: get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
get_variable_fro
m
_expr() use
s
a static buff
e
r and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Create a check_template
.
c
examp
l
e
s
cript that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next