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
All the states are implied not just unique ones.
2009-02-24
Dan Carpenter
A
l
l t
h
e states are implied not just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpen
t
er
I
mp
r
ove lock check out
p
ut
.
Add m
o
re
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
support
f
or down
_
in
t
erruptible
(
) and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Fix the Uncle
a
r l
o
cki
n
g thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Warn
o
n do
u
bl
e
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Print few
e
r U
n
clear lockin
g
me
s
sages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is a k
n
o
w
n_condition_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add suppo
r
t for those f
u
nny gcc ({
.
.
.
}
)
b
lock statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Han
d
l
e dec
l
ara
t
ions in
s
ide switch s
t
ate
m
ent blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Add known_
c
o
n
dition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
penter
Fix
h
a
n
dl
i
ng of contin
u
e inside do whi
l
e
st
a
tem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
arpent
e
r
Don
'
t s
e
t let people set states for unreach
a
ble code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an
Carpe
n
ter
Smal
l
cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the iterators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
s
u
p
port for
"if (a?b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
Add some
support
for
_spin_trylo
c
k() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
Ca
r
pe
n
ter
if (a
|
| b) { a->foo; should print an e
r
ror
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpent
e
r
This p
r
i
nts out error mess
a
ges all the
time th
a
t are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carp
e
nter
Assignment always
sets &isfreed to something el
s
e like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't
p
rint cross_fu
n
c errors if the
c
a
lled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to
a
lloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call th
e
merge_
h
ook() instead of setti
n
g the stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant t
o
commit thi
s
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Add
t
he merge_hoo
k
() back
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
Clear the returns lists at th
e
end of ea
c
h fun
c
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Move the implications check
i
ng to af
t
er
t
he scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
completely wit
h
new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d
s
o
me functions
t
o
handle tracker lis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Don't
s
egf
a
ult
a
ll the time when chec
k
ing
f
o
r
e
v
er loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Test to see if we are catching cross fu
n
ction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Use the
->possible states and remove the mer
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
"
w
hile ((1)) {" is a forever
l
o
o
p
.
C
all strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nte
r
fixe
s
to the -> pos
s
i
ble
s
etting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Merge branch 'master' into
n
u
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
A
dd validation script for check
_
null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clean u
p
.
n
ew->
p
ossible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carp
e
nter
Oop
s
.
-
>possibles
w
asn't getting
s
e
t
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
U
se
strip_
e
x
pr() in split_conditions() in
s
tead reproducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some m
o
re oper
a
t
i
on
s
to
g
et_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
e
nter
Return &merged instead of &und
e
fi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make get_value() return
a
valu
e
fo
r
bit
w
i
se or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
T
ry again remov
i
ng
s
tates from pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Revert "Remov
e
a s
t
ate from it's
->p
o
o
ls when set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nter
Eliminate a warn
i
ng
.
Probabl
y
the wrong way t
o
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean
u
ps
.
Co
m
ments
.
R
ename s
l
ist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a
h
a
.
I still
su
c
k
at p
o
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Cleanups
.
Comment
s
.
Re
m
ove debuggi
n
g code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up
.
Also p
r
eserve the -
>
pools in one
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
C
lean
up get
_
s
t
a
te
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remov
e
__overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging output that accidentally got c
o
m
mitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove a state from it's ->pools when set_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
o
n
't delete the ->pools on merg
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
T
ry understand the implicatio
n
s from c
o
mpound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
er
C
re
a
te
a
state
&
m
erg
e
d
.
When we merge st
u
f
f
i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Ok
.
This time smatch_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ignore cscope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clea
n
ups
.
(
White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Add some more loc
k
i
ng functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Fix
i
mplied pools so that at
l
ea
s
t it does somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed
l
ik
e
tr
a
cker_lis
t
w
o
uld be
useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Add a README describing
s
match
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpen
t
er
A
dd sc
r
ipt to f
i
nd NULL dereferences between func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
er
C
h
e
ck
for
m
alloc() as we
l
l as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
n
ter
Fix
segfault
w
hen
h
a
n
dling implicitly declared f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Car
p
e
nter
Wa
r
n when
we don't
acquire locks when calling cert
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Tr
y
(and fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Almost print a
me
s
sage
w
hen
y
ou come to unreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
dd check to look fo
r
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
checking
for lo
c
k_kern
e
l
()/unlock_
k
er
n
el
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make check_locking ch
e
ck bo
t
h sp
i
nlocks and semaphor
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add a
n
ew func
t
io
n
slist_h
a
s
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
t
he
r
e
is a
n
i++ t
h
en the
v
alue of 'i' is und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpente
r
A
d
d
a new check_locking s
c
rip
t
that checks
s
p
inlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
S
ave the possible
sta
t
es in
s
tead of
just merging the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Ignore em
a
cs
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Merge branch 'master' int
o
pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Add a comme
n
t
s
howing
w
here th
e
tests
a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
This is
l
ef
t
over from October as p
a
r
t of t
h
e im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
A
d
d g
e
t
_
possi
b
le_state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
arpenter
Stuff lef
t
over from Octobe
r
.
Imp
l
ied po
o
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some me
m
ory by
n
ot allocatin
g
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory l
e
ak
.
A
d
d more
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
pente
r
Add a merge hook
.
Hand
l
e the s
i
tuations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcm
p
() doesn't accept
N
ULL a
r
guments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pent
e
r
r
e
name two
functi
o
ns: get
_
varia
b
le_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
g
e
t_vari
a
ble_
f
r
o
m_expr() u
s
e
s
a s
t
atic buf
f
er and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
C
reate a check_temp
l
a
te
.
c
examp
l
e script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carpenter
Make
get_all_states() not segfault every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nte
r
Fix
g
et_value() to retu
r
n ne
g
ati
v
e values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only e
v
er pa
s
s on
e
param
e
ter int
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pe
n
ter
Fix
get_all_states() t
o
match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remove add_state() and state
_
defined() def
i
nitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
arpen
t
er
Clean up
.
Fix leak
.
M
y problem is that I don't unde
r
s
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
I
n
i
tial
commit of
the "implied s
t
ate pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pent
e
r
Doh
.
We have
n
'
t
been usin
g
smatch_extra for a wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
G
et rid of path_histor
y
.
It's never going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next