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
Da
n
C
a
rpenter
Print fewer Unclear locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
i
f ((1)) {
.
.
.
is
a
known_condition_
t
rue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support for those
funny
gcc ({
.
.
.
}) block stateme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carp
e
nt
e
r
H
a
ndle d
e
c
lara
t
ion
s
inside swit
c
h state
m
ent
b
l
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pent
e
r
Cleanup i
s
_zero(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Add known_con
d
ition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Fix h
a
ndling
o
f continue i
n
sid
e
do while sta
t
eme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpente
r
Do
n
't set l
e
t people
set s
t
ates for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
mal
l
cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Handle
t
he
itera
t
ors correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add supp
o
rt f
o
r "if (
a
?b:c) {
.
.
.
" te
r
nary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Add some support f
o
r _
s
pin_trylock()
an
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
pente
r
if (
a
|| b) { a-
>
foo; should p
r
in
t
an error
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
e
n
ter
This prints out error message
s
a
ll the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
C
arpenter
Assignment
a
lways sets &isfreed to s
o
mething e
l
se like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
D
o
n't
print
cross_fu
n
c errors if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
Remove call to al
l
o
c
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Call t
h
e merge_ho
o
k() ins
t
ead
o
f
s
e
t
ti
n
g the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
Oops
.
M
e
a
nt to commit t
h
is earlie
r
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
penter
Add
t
he merg
e
_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns lis
t
s at t
h
e end of
e
ach function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Mov
e
the imp
l
ications checking to afte
r
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Rewrite complet
e
l
y
wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Add some
functions to handle
t
racker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
D
o
n't seg
f
ault all the time w
h
en checking forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Test to s
e
e
if we
a
re catching cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possible states
and remo
v
e
t
he m
e
r
ge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"
while ((
1
)) {" is a f
o
r
ever loop
.
Cal
l
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fixes
t
o the
-
>
poss
i
ble setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e
b
ranch
'
ma
s
ter' into nu
l
l_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
d
d validation script for check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
Cl
e
a
n
up
.
new->pos
s
ible
i
s
always null her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Oops
.
->
p
ossibles
w
asn't get
t
ing
s
et correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in
s
pl
i
t_condition
s
() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
e
r
Ad
d
some more
operation
s
to get_val
u
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpente
r
R
eturn
&merged
instead of &undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
make g
e
t
_
value() return a value
f
o
r
bitwise or expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
T
r
y again removi
n
g states fr
o
m
poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Rem
o
v
e a st
a
te from it's ->poo
l
s whe
n
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an
Car
p
enter
E
l
iminate a warning
.
Probab
l
y
the wrong way
to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up
s
.
Comments
.
Re
n
a
me s
l
ist_
s
tack to
named_sta
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha
ha
.
I
still suck at po
i
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cle
a
nups
.
Co
m
ments
.
R
e
move debu
g
g
ing code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Cle
a
n up
.
A
l
so preserve the ->pools in
o
ne
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
Remov
e
__ove
r
write
_
cur
_
sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
ere was
debugging output that a
c
c
ide
n
t
a
lly
g
ot c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
Remove a state
f
ro
m
it's
-
>
p
o
ols when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
D
on't
d
elete the
-
>pool
s
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
pen
t
er
T
r
y understa
n
d t
h
e implications from comp
o
und conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state &merged
.
W
hen we merge st
u
f
f
i
t isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
O
k
.
This time
smatch_implied _r
e
ally_ does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
ter
I
g
nore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Small cleanu
p
s
.
(White s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
pe
n
ter
Whites
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpen
t
er
Add some more locking func
t
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
ter
Fix implied pool
s
so that at least i
t
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
nter
It
see
m
ed lik
e
tracker_
l
ist would be u
s
eful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
n
ter
Ad
d
a
REA
D
ME
d
e
s
c
r
ibi
n
g smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add script to find
NULL dereferences b
e
t
ween functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fi
x
us
a
g
e
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Check
f
or malloc() a
s
well as
k
mal
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix
se
g
fault when ha
n
dling implicitly de
c
lared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpen
t
er
Warn wh
e
n we don
'
t a
c
quire locks when
calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
ry
(and fail) to fi
n
d
m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
lmost
print a mes
s
age when you
co
m
e to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add check t
o
look for double
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add checki
n
g for lock_
k
er
n
el()/unlo
c
k_kerne
l
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
c
heck_locki
n
g
c
heck
b
oth
s
p
inl
o
cks
and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a new functi
o
n slist_ha
s
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
If there is an i+
+
t
hen the
val
u
e
o
f
'i' is
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
t
er
Add a new check
_
l
o
c
k
i
ng script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Save
t
h
e pos
s
ible
states ins
t
ead of
j
u
st mer
g
ing them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Ignor
e
em
a
cs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an C
a
rpenter
Merge branc
h
'ma
s
ter' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely(
)
and unlike
l
y() han
d
ling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carpenter
Add single quotes ar
o
und the variable for
cons
i
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could
s
ave some memo
r
y by not allocating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
Add a comment s
h
owi
n
g where the te
s
ts are suppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n C
a
r
penter
T
his
is left
o
ver fro
m
October
a
s
p
art of the
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add get
_
po
s
sible_st
a
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
tuff left ov
e
r
from
O
ctobe
r
.
I
mplied
p
ools
w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
enter
We could
save so
m
e
m
emory
b
y not all
o
c
ating
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix
memory leak
.
Add
m
ore comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Add a merg
e
hoo
k
.
H
a
ndle the situations l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
strcmp() do
e
sn't accept NULL argume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename t
w
o funct
i
on
s
: get
_
va
r
i
able_from_exp
r
_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpe
n
ter
get_variable_
f
rom_exp
r
() us
e
s a
static buffer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
en
t
er
Cre
a
t
e a c
h
eck_template
.
c example s
c
ript that loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpenter
Make get_al
l
_states() not segfault e
v
ery time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
enter
F
i
x
get_value(
)
to retur
n
negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only
ever pass one parameter into get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states() to match the funct
i
on definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Remove add_
s
tate(
)
a
nd state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
Fix lea
k
.
My problem is that I don't unde
r
st
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
of
the "implied state poo
l
s" s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We have
n
't been
u
sing smat
c
h_extra for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
G
et rid of path
_
h
i
s
t
ory
.
I
t
'
s never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Mak
e
goto_sta
c
k st
a
ti
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
u
p merge_slist now that the
slists are ord
e
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next