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
D
an
Carpenter
smatch
_
im
p
lied: only print the nr_
c
hildren message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpente
r
smatch_extr
a
:
f
i
x (fo
o
!= 42)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Carpe
n
ter
Fix ov
e
rla
p
p
i
n
g
r
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Da
n
C
a
rpenter
check
_
memory
.
c: fix
revers
e
d if sta
t
e
m
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan
C
ar
p
enter
F
ix another bu
g
caused
b
y
funny tmp_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
Merge branch
'
new_implications' into de
v
el2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
Fi
x
crashing bug c
a
use
d
by the
swi
t
ch changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
rpenter
debugging
:
print t
h
e line
nu
m
bers in
m
e
rge_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make sw
i
t
ch
s
t
at
e
ments w
o
rk again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpent
e
r
c
l
e
a
n up
.
use true/
f
a
lse_comparison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code churn: rename
-
>p
r
e_l
e
ft => ->left, ->pre_
r
ight
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpe
n
t
e
r
Put a
cap on implic
a
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Da
n
Car
p
ent
e
r
I
mprove
d
ebu
g
ging
.
D
o
n't
overwri
t
e sm-
>
line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Ca
r
penter
M
icro o
p
timization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpenter
c
le
a
n up in m
e
rge_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check for out_of_
m
emo
r
y
() le
s
s often and only aft
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
p
e
nter
Better debugging for check_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add sw
i
tch test
i
n
g tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Car
p
enter
Doh
.
Too ma
n
y implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpenter
Remove clone_slist_and_sta
t
e
s() and merge_
s
l
i
s
t_
c
lone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpen
t
er
R
emove
s
witch cl
o
ning co
m
plexi
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
two
i
s always non-null thes
e
days
.
don't ch
e
ck
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
remove
unuse
d
me
r
ge_pools() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
don't
print "list" vari
a
ble
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
M
a
ke my_pools => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
intro
d
u
ce
c
lone_poo
l
_h
a
v
e
rs
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
clone_sta
t
e() doe
s
n't copy my_poo
l
s
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carp
e
nter
Rew
o
rk implicat
i
ons to use ->pre_lef
t
and
-
>
p
re_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
t
wo is always non-null these days
.
don't check
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan
Carpenter
I
n
troduce
->pre
_
le
f
t a
n
d ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan
Carpenter
Make the RAM limit
mor
e
accurate and
f
lexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only clone
the states if it
is a switch s
t
at
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don'
t
clone the f
a
ls
e
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an Ca
r
p
enter
D
o
n
't clon
e
all the stat
e
s for
every
case statem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Car
p
enter
Make the validation test harde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Prevent some endless loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putting parens aroun
d
s
omething doesn't make it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
nter
Fix memo
r
y
le
a
k
.
f
ree_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
M
ake
s
truct sm_s
t
ate
m
o
r
e
compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smat
c
h_s
l
ist
.
c n
o
longer needs any functions fr
o
m sm
a
t
c
h
_
ex
t
ra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carp
e
nter
Delete a
l
l th
e
a
n
ding
compound conditions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check debug is usefu
l
for debu
g
ging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Car
p
enter
p
otential bug
f
ix
for gotos with impli
c
at
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Ca
r
p
e
nte
r
M
a
ke va
l
idation test
h
a
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
Rework smatch implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan
Carp
e
nt
e
r
ge
t
_value():
h
a
ndle a couple more bit op
e
rators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Ca
r
penter
Set th
i
ngs in
sm
a
tch
e
xtra i
n
stead of sm
a
tch
i
mplied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n C
a
rpen
t
er
Handle switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Revert "Do
n
't the
i
mplicatio
n
s for the state determini
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan
Carpenter
Rever
t
"Here is a
b
u
g in h
a
n
d
ling co
m
pound c
o
n
d
itions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpenter
handle if
(
(f
o
o = down_tryloc
k
()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
a
d
d_is_me
r
ged_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dereferencing a
v
a
riable doesn
'
t make it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
a
rpen
t
er
Redo checking for out of range args to ERR_PT
R
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carp
e
nter
Here is a bug in ha
n
dling
comp
o
un
d
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carpenter
Hand
l
e
straight forward compa
r
isons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Store
t
he impli
c
a
t
i
o
ns for re
t
u
r
n_implies_
s
tate() ass
i
gnme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_imp
l
ies_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Rena
m
e s
m
atch_extra_helper
.
c to smatch
_
ran
g
es
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate
s
et_c
o
nd_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Ca
r
pe
n
t
er
Small clean up
.
A
llocating fi
l
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify that the va
l
ue passed to ERR
_
PTR() isn't
t
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpente
r
Fix compiler i
n
t<->ptr
con
v
ersion
w
arning
s
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rpenter
M
e
r
ge ad
j
acen
t
r
a
nges
.
1-2,3-4 bec
o
mes 1
-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save some al
l
ocatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Car
p
enter
Fix str
n
cat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
D
an C
a
rpe
n
ter
Improve handli
n
g of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Handle once through
loops
d
i
ffere
n
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging ranges
.
Com
p
letely
brok
e
n before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Typo: <
=
i
n
st
e
a
d
of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpenter
Rever
s
e all the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Car
p
en
t
er
Don't
t
h
e
i
mplications for the state determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
m
atch_co
m
parison to
h
andle l
e
ss than,
great
e
r than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
D
o
n't al
l
o
c
a
te so many extra_und
e
fined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
r
penter
create alloc_ext
r
a_stat
e
_
e
m
p
t
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
r
p
enter
remo
v
e tr
u
e
_
c
o
mparison
(
) an
d
d
o_compariso
n
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
C
arpenter
mo
v
e (tr
u
e|false)
_
comp
a
rison_range() to smatch_e
x
tra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
cle
a
r
->my_l
i
st
s
for &ign
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print more
-
-debug-implied
information
when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpenter
Removed hard coded optio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Car
p
enter
Fix range co
m
parison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
remove u
n
used funct
i
on: ra
n
g
e
_list_i
n
tersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Handle UNDEFINED range a
n
d display the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carp
e
nter
Fix
s
ta
t
e n
a
me
s
f
o
r ra
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied range
s
.
Par
t
#3
.
Range List
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Update d
a
ta files
for 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carp
e
nter
smatch_extra
.
sa
v
e other c
o
mpari
s
ons b
e
si
d
es just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpenter
hand
l
e: if ((foo =
t
ry_lo
c
k
(
)))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
ren
a
me: expr_to_val() -> get_implie
d
_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
Fix handling
o
f
i
f (IS_ER
R
(
f
oo =
b
ar(
)
))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nte
r
handle if conditional function
s
a
re assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
A
dd new restricted
kn
o
wn_con
d
i
tion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
rename
k
no
w
n_condition_true() t
o
i
m
plied_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add
ERR_PTR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
__module_put_and_e
x
it(
)
doesn't ret
u
rn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Sepa
r
ate the list of freed arguments f
r
om
d
e
cremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
ar
p
enter
Wri
t
e a script
to p
r
int
functions tha
t
r
et
u
rn NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Don't free bi
n
_d
i
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
Oops
.
Commit
t
h
ese essential
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next