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
smatch_implied: only print the nr_children message once.
2009-05-31
Dan C
a
r
pent
e
r
smatch
_
implied: only print
t
he nr
_
childr
e
n message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smat
c
h_extra
:
fi
x
(foo != 42)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpe
n
ter
Fix overlapping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpente
r
check
_
memory
.
c: fi
x
reve
r
se
d
if
statem
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n Carpenter
Fix ano
t
her
b
ug caused
b
y f
u
nn
y
tm
p
_
r
ange_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpent
e
r
Merge
b
ra
n
ch 'new_im
p
lications' in
t
o devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n C
a
rpenter
Fix
crashing bug c
a
used by the s
w
itch chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n Carpente
r
debugging: prin
t
the line numbe
r
s
in merge_s
m
_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
Make switch statements work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
clean up
.
use true
/
false_compar
i
so
n
_r
a
n
g
e_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
cod
e
churn
:
rename ->pre_left => ->left
,
-
>pr
e
_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n C
a
rpenter
Pu
t
a cap
o
n im
p
li
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Ca
r
pen
t
e
r
Imp
r
ove
d
e
bugging
.
Don't overwrite sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carp
e
nter
Micro optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
clean up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check for out_of_memory() less often and only after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpenter
Better debugging f
o
r che
c
k
_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Ca
r
penter
Add
s
witc
h
tes
t
ing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Ca
r
p
e
nte
r
D
o
h
.
Too
m
any implied s
t
ate
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remo
v
e clone_slis
t
_
and_st
a
tes(
)
an
d
mer
g
e
_
sli
s
t_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Ca
r
p
e
nter
Remove switc
h
cloning co
m
pl
e
xit
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpe
n
te
r
tw
o
is always non-null th
e
s
e
days
.
don
'
t ch
e
ck it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n C
a
rpenter
remov
e
unused merge_pools() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
don't pri
n
t "list" variabl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpe
n
ter
M
a
ke my_
p
o
o
l
s => my_po
o
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
int
r
o
duce clone_pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Car
p
en
t
e
r
clone_
s
tat
e
() doesn't
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpenter
Rework
impl
i
c
ati
o
ns to use ->pre_
l
eft and
->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n C
a
r
p
e
nter
two
is always
non-null
these days
.
do
n
't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
penter
Introduce -
>
pre_left
and ->pr
e
_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
an Carpe
n
t
er
M
ake
the R
A
M
l
imit mor
e
accurate and flexib
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Da
n
Carp
e
nter
Onl
y
clone the states if it
i
s a
s
witch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
Carpente
r
Do
n
't clone the false
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpenter
Do
n
't clone
a
ll the states fo
r
every case sta
t
emen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make the
validatio
n
te
s
t harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
P
revent
som
e
endless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
Putting parens around something d
o
esn't
m
ake it unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
ar
p
enter
Fix
m
em
o
ry leak
.
free_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Mak
e
struct s
m
_state mor
e
compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
sma
t
c
h
_slist
.
c no longe
r
n
eeds any
functions from smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
a
rpenter
D
e
lete all the
a
nding com
p
ound conditio
n
s code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
check debug is usefu
l
for d
e
b
u
gging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
potenti
a
l bug
fi
x
f
o
r g
o
tos
with im
p
lica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nte
r
Make validatio
n
test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rewor
k
smatc
h
imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value(): handle a cou
p
le more bit o
p
erators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Set th
i
ng
s
in sma
t
c
h extra instead of
s
match implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Carpenter
Handle switch
s
tat
e
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Revert "D
o
n't the im
p
lica
t
ions for the stat
e
determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
a
n Carpenter
Revert "H
e
r
e
i
s
a bug in handl
i
n
g
c
ompou
n
d conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carp
e
nter
hand
l
e if((foo =
down_tryl
o
ck())
< 0)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
an
C
arpente
r
add_is
_
merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dereferencing a vari
a
bl
e
doesn't
m
a
ke it un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
Ca
r
pent
e
r
Redo chec
k
ing for out
of rang
e
arg
s
t
o ERR_P
T
R()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Here
is a bug i
n
handling compoun
d
c
o
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nter
Ha
n
d
l
e straight
f
orward
c
omp
a
r
isons
t
o zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Store
t
he implica
t
ions f
o
r
r
e
t
u
rn_impli
e
s_state() assig
n
men
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
Add: return_implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Rename sm
a
tch
_
extra
_
helper
.
c to s
m
at
c
h_rang
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carp
e
nter
E
limina
t
e se
t
_cond_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean up
.
Al
l
ocating f
i
lter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Verif
y
that
t
he
value passed
t
o
ERR_PTR()
isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
n
ter
Fix
c
ompi
l
er int<->ptr conversion warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
e
n
ter
Mer
g
e a
d
ja
c
ent ranges
.
1-2
,
3-4 becomes
1
-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Fix s
t
rncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpente
r
Impro
v
e handling of for l
o
o
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Han
d
le once t
h
rough loops differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
F
ix merg
i
ng ranges
.
Com
p
letely bro
k
en before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Ca
r
p
enter
T
y
po: <
=
instead of >
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
R
e
verse all the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Don't the
i
m
p
l
i
cati
o
n
s for the st
a
te determ
i
ning
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
matc
h
_comparis
o
n to handle
less t
h
an,
g
reater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Change
l
ockin
g
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nte
r
Don't
a
lloca
t
e so ma
n
y extra_undefined sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
create all
o
c_extra_stat
e
_
empty
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rp
e
nter
remove true_com
p
arison
(
) and do
_
comp
a
riso
n
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|false)_compari
s
on_range
(
) to
s
mat
c
h
_
extr
a
_
h
e
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->m
y
_lists for &ig
n
ore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
P
r
int mor
e
--debug-impli
e
d inform
a
t
io
n
when --d
e
bug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
nter
Removed
har
d
co
d
ed options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Fix r
a
nge
comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
C
a
rpenter
remo
v
e unused function: range_li
s
t_intersection
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Han
d
le UNDEFINED range and
display the
na
m
e corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pent
e
r
Fix state names fo
r
ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
C
arpenter
Imp
l
i
ed ranges
.
Part #3
.
Range Li
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
U
pdate data file
s
fo
r
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
sma
t
c
h
_extra
.
sa
v
e ot
h
er compari
s
o
n
s
be
s
ides
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
h
a
ndle: if
(
(foo =
try
_
lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
C
a
rpenter
rename:
expr_to_
v
a
l
(
)
-> get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpenter
Fi
x
handling
o
f
if (IS_ERR(foo =
bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
rpenter
handle
if conditional functions are
a
ssigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
n
t
er
Add
new restri
c
ted known_conditio
n
_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
t
e
r
renam
e
known_con
d
itio
n
_tru
e
() to implied_c
o
ndition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Ca
r
penter
Add ERR_PTR(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
_
_mod
u
le_
p
ut_and_exit() doesn't return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpenter
Sep
a
rate
t
h
e
list of fre
e
d
a
rguments
from decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Write a script to print functio
n
s
t
ha
t
return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't free bi
n
_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
e
n
ter
O
ops
.
Commit
t
hese ess
e
ntial files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next