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
D
an Carpente
r
A
ll the state
s
are
impli
e
d not ju
s
t unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Improve
l
o
c
k
check ou
t
put
.
Add more validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Car
p
enter
Add support f
o
r down_interruptible(
)
and fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arp
e
nter
Fi
x
the Unclea
r
locking thing
.
A
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Wa
r
n on double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
P
r
int
f
ewer Unclear
l
ocking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
e
nter
if
(
(1)
)
{
.
.
.
is a known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Add support for those funny gcc (
{
.
.
.
}
)
b
l
ock sta
t
ements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Handle declarations
i
nsid
e
switch
state
m
ent blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Car
p
en
t
er
Cleanup is_
z
e
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpent
e
r
Add k
n
own_
c
ondi
t
io
n
_fal
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Fix handli
n
g o
f
conti
n
ue
i
nside do w
h
i
le statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carp
e
nter
Don't
set
let people
set
sta
t
es
f
or unre
a
chable co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ha
n
dl
e
the iterators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Add support for "if (a?b:c) {
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Add some
support for _spin_tr
y
loc
k
() and f
r
iends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
if (a
||
b) {
a
->fo
o
; should print an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
This
prints out error mes
s
ages al
l
the ti
m
e th
a
t ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
A
s
signment a
l
ways
s
ets
&
isf
r
eed to
s
omet
h
in
g
e
lse like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
pe
n
te
r
D
o
n
't
print cross_func erro
r
s if t
h
e
c
alled
f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
R
e
mov
e
c
all to alloc
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpent
e
r
Call the
m
erge_h
o
ok() instead of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
O
o
ps
.
Meant t
o
commit
t
h
is ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_hook() back i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpe
n
ter
Clear the ret
u
rns lists a
t
the end of
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move t
h
e impli
c
ati
o
n
s checking
t
o after
t
he scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
e
r
Rewrite comp
l
etel
y
with new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arp
e
n
t
er
Add some
f
u
n
c
t
i
ons to
h
andle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all
t
he time when checking foreve
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est
t
o
see if
w
e
are
c
a
tching cross funct
i
on derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Use
the ->possible state
s
and r
e
mov
e
the me
r
g
e
_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while ((1)) {" is a
forever
l
o
o
p
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
fixes to the -> possible s
e
tti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
n
t
e
r
M
erge branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an
C
arp
e
nter
Add validat
i
on script for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carp
e
nter
Clean
u
p
.
n
ew->possible is a
l
way
s
nu
l
l here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
-
>
p
o
s
s
ibles wasn't gettin
g
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Use s
t
ri
p
_expr
(
) i
n
s
p
lit_c
o
ndi
t
i
o
ns
(
) inste
a
d
r
eproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add so
m
e mor
e
op
e
rations t
o
g
e
t
_
v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Retu
r
n
&
m
e
r
ged
i
nstead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
mak
e
g
et_value
(
) return a value for
b
itwise
o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pen
t
er
Try
a
gain r
e
moving
states
f
r
om pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Revert "Remove a state f
r
om it'
s
->pools when
s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Eliminate a warning
.
Probabl
y
the w
r
o
n
g way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean ups
.
Comments
.
Rename slist_stack to named
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
ter
Ha h
a
.
I
still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cleanups
.
Comments
.
Remove debuggin
g
code from
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up
.
Al
s
o prese
r
ve t
h
e ->pools in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
ter
Clea
n
up get_st
a
te_slis
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __ov
e
r
w
ri
t
e_c
u
r_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
er
Th
e
re was debuggin
g
output
that acci
d
entall
y
got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Re
m
ove
a
state from it's ->pools when s
e
t_s
t
a
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the ->
p
ools
o
n
mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Tr
y
un
d
erstand t
h
e implications f
r
om c
o
mpou
n
d conditi
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Creat
e
a
state &mer
g
e
d
.
W
h
e
n
we me
r
ge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Ok
.
Thi
s
tim
e
smatch_implied _reall
y
_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Ignore cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
S
m
all
cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Whites
p
ace
c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
enter
Add
some more
locki
n
g funct
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools
s
o tha
t
at
l
east it
do
e
s some
t
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
eemed
l
i
k
e
trac
k
e
r_list would
b
e us
e
ful i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a R
E
A
DME desc
r
ibing smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Ca
r
penter
Add script to find NULL de
r
e
f
erences
b
etween functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpen
t
er
Fix u
s
a
g
e message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpente
r
Check for ma
l
loc() as
w
ell
as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Fix se
g
f
ault when
h
andling i
m
pl
i
citly d
e
cla
r
ed functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Warn when we d
o
n
't acq
u
ire locks
w
h
en calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
p
enter
Tr
y
(and
f
ail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpent
e
r
Almost prin
t
a message when you
come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
A
d
d check to look for double
f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
d
d checking for l
o
ck_
k
erne
l
()
/
unlock
_
k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Make
check_lock
i
ng
c
heck
both spinloc
k
s
a
nd s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nter
Add a new functi
o
n slist_has_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
r
penter
If
there is an i++ then the
v
a
lue of
'
i
' is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add
a new
c
heck_locking scr
i
p
t
that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Sa
v
e
the possible stat
e
s inst
e
ad
o
f ju
s
t merging
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
I
g
nore
e
macs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Merge branch
'
master' into
pools
5
commit
|
commitdiff
|
tree
2009-01-20
Dan
Carpen
t
e
r
Fix
l
ike
l
y() a
n
d u
n
likely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpenter
Add single qu
o
te
s
around
t
he
variable for consisten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Ca
r
penter
We could save some memor
y
by no
t
a
l
locating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add a
c
omment showin
g
whe
r
e the
t
est
s
are sup
p
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over
from Octobe
r
as part of the im
p
li
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add
g
e
t
_
p
o
ssibl
e
_s
t
a
tes(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff
left o
v
er fro
m
Oc
t
ober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n C
a
rpe
n
ter
W
e
coul
d
save
s
ome memo
r
y by not alloc
a
tin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix me
m
ory leak
.
Add more commen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
enter
Ad
d
a merge ho
o
k
.
H
a
ndle th
e
s
ituations lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carp
e
nter
strcmp(
)
d
o
e
s
n
't acce
p
t NUL
L
arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Car
p
enter
re
n
a
m
e
two funct
i
o
n
s: g
e
t_var
i
able_from_expr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
g
et_va
r
iable_from_expr() uses a static
b
uf
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
check_template
.
c example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Mak
e
g
e
t
_
all_states
(
)
n
ot s
e
gfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpenter
Fix get_
v
alue() to
r
e
turn negativ
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
We only ever pass one parameter int
o
get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Fix get_all_states()
t
o match
t
he function def
i
n
i
ti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Rem
o
ve
add_
s
tate(
)
and state_defined(
)
definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nte
r
Clean up
.
Fix
l
eak
.
My
problem i
s
that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next