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
a
n Carp
e
nt
e
r
smatch_i
m
plied: only p
r
int the nr_
c
h
ildren message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpent
e
r
smatch_ex
t
ra: f
i
x
(foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Carpente
r
Fix o
v
erlapping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
che
c
k_memory
.
c: fix reversed i
f
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpe
n
te
r
Fix another bug caused by funny tmp_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Carpenter
Mer
g
e branch '
n
ew_implicat
i
ons' into de
v
el2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
F
ix
crash
i
ng bug caused by the switch changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpe
n
ter
debugging: print the li
n
e
n
umbers in merge_sm
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make switch stat
e
ments work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carpenter
clean up
.
us
e
true/fal
s
e_compar
i
s
o
n_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n C
a
rpenter
code c
h
urn: rena
m
e ->pre
_
left => ->lef
t
, ->pre_ri
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
P
u
t
a
cap on implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpenter
Improve debug
g
ing
.
D
on't overwrite sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpe
n
ter
Mi
c
r
o o
p
timi
z
atio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
clean up
i
n
m
erge_sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
an Carpen
t
er
c
heck for
out_of_mem
o
ry() less ofte
n
and only after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better debugg
i
ng
for check_m
e
m
o
r
y
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carp
e
n
t
er
A
d
d
switch testing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpenter
Doh
.
Too many impli
e
d stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Rem
o
v
e clone_slist_and_states
(
) and merge_s
l
is
t
_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpen
t
er
Remove switch clon
i
ng com
p
lexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
t
w
o is always non-null these d
a
ys
.
do
n
't check i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
remove un
u
sed merge_pools(
)
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
don't
prin
t
"list" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
te
r
Make my_pools =>
m
y_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
e
r
in
t
roduce clone_
p
o
ol_havers(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpente
r
clone_
s
tat
e
(
) doe
s
n't co
p
y
m
y
_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rewor
k
implica
t
ion
s
to use ->pre_left
an
d
-
>pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
r
p
enter
two is always non-nul
l
these
day
s
.
don't
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Carpenter
Intr
o
du
c
e ->pre_lef
t
and
->pre_
r
i
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Mak
e
the RAM li
m
it more a
c
curate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
D
an Carpenter
Only clone the sta
t
es if it
is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Ca
r
penter
D
o
n
'
t cl
o
n
e
th
e
false s
t
ates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't cl
o
ne a
l
l the s
t
a
tes
for every case
s
ta
t
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpente
r
Make the validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Prevent s
o
me endl
e
ss loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
e
r
Puttin
g
pare
n
s
around something doesn't
m
ake it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
F
i
x memory
leak
.
f
r
ee_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make stru
c
t
s
m
_state more co
m
pact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
s
match_slist
.
c no longer needs any
f
unctions from sm
a
tch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
De
l
e
te all the a
n
ding
c
ompound
cond
i
tions
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
c
h
e
c
k debug i
s
useful
for
debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpen
t
er
pote
n
tial bug fix for got
o
s wi
t
h implication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
Make
v
alidation test harde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
a
rpe
n
t
e
r
Rework smatch
imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Ca
r
p
enter
get_value():
h
andle a
couple more
b
it operator
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set things in smatch e
x
t
r
a instead of smatch imp
l
ie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpent
e
r
H
a
ndle s
w
itch sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Ca
r
penter
Revert "Don't
t
he impl
i
c
a
ti
o
ns for the s
t
a
t
e determin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpen
t
er
Re
v
e
r
t "Here is a
bug i
n
handling compound cond
i
ti
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
h
andle i
f
((foo = down_tryl
o
ck()) < 0)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carp
e
nter
add_is_merged_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
De
r
eferencing a v
a
riable doesn't
m
a
k
e it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking for out
o
f range args to E
R
R_PT
R
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
Carpenter
Here is
a
bug
i
n
handling compound co
n
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
ent
e
r
Handle
straigh
t
forward comparisons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Car
p
e
nte
r
Store the implications for
return
_
i
m
p
l
i
es
_
state() ass
i
gnmen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
A
d
d: return_im
p
lie
s
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an
Ca
r
penter
R
ename s
m
atch
_
extra_helper
.
c
to smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Elimin
a
te s
e
t
_cond_states() funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
S
mall clean up
.
Alloca
t
ing f
i
lter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Verif
y
t
hat the value pass
e
d to ERR_PTR() isn't t
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
C
ar
p
enter
Fix c
o
mpiler int<-
>
ptr conversion warni
n
gs
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge a
d
ja
c
e
n
t ranges
.
1-2,3-4 bec
o
mes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
Save so
m
e al
l
ocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
Fix s
t
rncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve
h
a
n
d
l
ing o
f
for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
H
a
n
dle once throug
h
loo
p
s different
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Fix mer
g
ing ranges
.
Co
m
pl
e
tely br
o
ken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpente
r
Typo:
<= instead of
>
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
r
p
e
nter
Re
v
er
s
e
a
ll th
e
rang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Don't the
implic
a
tions for the s
t
ate de
t
e
r
mining
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
ma
t
ch_c
o
mparis
o
n to h
a
ndle
less tha
n
, g
r
e
ater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change locking o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
Don't allocate so many ex
t
ra_undefine
d
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n C
a
rpenter
create
a
l
l
oc_extra_
s
tate_em
p
t
y
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
remove
t
ru
e
_
c
omparison() and do
_
comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carp
e
n
t
er
m
o
ve (true|false)_co
m
parison_range() to smatch_extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear
-
>my_
l
ist
s
for &i
g
nore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print m
o
re --de
b
ug-i
m
plied inf
o
rm
a
tion when --deb
u
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Ca
r
p
ente
r
R
em
o
ved hard coded op
t
io
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
Carpenter
F
ix range compar
i
s
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove
unus
e
d funct
i
on: range_l
i
st_intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Han
d
le UNDEFIN
E
D ran
g
e and display the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pente
r
Fi
x
state names for range
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
Implied ran
g
es
.
P
a
rt #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Car
p
enter
Update data fi
l
es f
o
r
2
.
6
.
3
0
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
smatch_extra
.
save o
t
h
er c
o
mparis
o
ns be
s
ides j
u
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
h
andle: if ((
f
oo = try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpenter
re
n
a
me:
e
x
p
r
_
to_val() -> ge
t
_imp
l
ied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
n
ter
Fix
h
andling of if
(IS_E
R
R(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
handle if conditional function
s
a
r
e
a
ssigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add new restricted known_condition_true
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename known
_
cond
i
tio
n
_
true() to implied_conditio
n
_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Add
E
RR_PTR()
c
hec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carp
e
nter
_
_
module_put_and_exit() doesn't r
e
t
u
r
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pente
r
Separ
a
te the
list of fr
e
ed arguments from
d
ec
r
emented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a script t
o
print f
u
n
c
tions that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
rpe
n
ter
Don'
t
free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpent
e
r
Oops
.
Commit these
e
ssential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next