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 Carpenter
smat
c
h
_implied: only prin
t
the nr_c
h
ildren me
s
sage
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpen
t
er
smatch_extra: fix (f
o
o
!
= 42
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
Fix
o
verlapping ra
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_
m
emo
r
y
.
c: fix reversed i
f
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
an Carp
e
nter
Fix another
bug caused b
y
funny tmp_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
e
rge br
a
nch 'new_imp
l
icat
i
on
s
' into devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Ca
r
penter
Fix
crashi
n
g bug caused by the switch chan
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carp
e
nter
debugg
i
ng: print the line
n
umbers i
n
merge_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpen
t
er
Make switch statem
e
nts work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Da
n
C
a
r
p
enter
clean
u
p
.
use true/fal
s
e
_co
m
parison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carp
e
nt
e
r
c
o
de churn: rename ->
p
re_left
=> ->l
e
f
t
,
-
>pre_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Put a c
a
p on i
m
pli
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpent
e
r
Improv
e
deb
u
gging
.
Don't o
v
e
r
w
rite sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
a
rpenter
Mi
c
ro o
p
timization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
pen
t
er
clean up in merg
e
_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
che
c
k for out_of_memory(
)
less of
t
en and o
n
l
y after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpen
t
er
Better debugging
for ch
e
ck_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
C
a
r
p
ent
e
r
Add switch testin
g
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too many impli
e
d states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
R
e
m
ove
c
l
o
n
e_slist_and
_
s
tate
s
(
)
and
m
erge_slist_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpenter
Remove s
w
it
c
h
c
lo
n
ing complexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two is alway
s
non-null these days
.
don'
t
ch
e
c
k
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arp
e
nter
remove unused
merge_pool
s
() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Car
p
enter
don't print "list
"
variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Make my_pools => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
i
ntro
d
uce clone_poo
l
_haver
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
c
lone_s
t
a
te() doesn't c
o
py my
_
pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
Rewo
r
k impli
c
ations to u
s
e ->pre_l
e
ft and -
>
pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
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
C
arpenter
I
n
tro
d
uce ->pre_left
a
nd
-
>pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan
C
arpenter
M
ake
the RAM limit more
accura
t
e and fle
x
ible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
D
a
n Carpen
t
er
Only cl
o
ne the states if it is a switc
h
st
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
C
arpenter
D
o
n't clone the
f
alse stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an Carp
e
nter
Don't clone al
l
th
e
s
t
ates
f
or every
case statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpenter
Make
t
he validation test ha
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Prevent some endles
s
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Putting p
a
re
n
s
around
s
o
m
ething doesn't make it u
n
defin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Fix memory
leak
.
free_
s
li
s
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpent
e
r
Make struct sm_state more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smatc
h
_s
l
is
t
.
c no longer needs any functi
o
ns
f
rom
s
match_ex
t
ra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
D
e
lete all
t
h
e
anding compound condition
s
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
c
h
e
ck debug
i
s
useful for
debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
p
otential bu
g
f
i
x for gotos
w
ith implicatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
M
a
ke validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
Re
w
o
r
k
smat
c
h im
p
lied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value():
h
and
l
e a
c
ouple more bit
o
p
erators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpenter
Set things in smatch
e
x
tra
instead of smatch im
p
lied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpente
r
Handle switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
r
p
ente
r
Revert "Don't the implications for t
h
e st
a
te d
e
ter
m
i
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Car
p
e
nter
Rev
e
rt "Here is a
b
u
g
in handling compou
n
d con
d
ition
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if((foo
=
down_trylo
c
k()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
ad
d
_is_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpent
e
r
De
r
efe
r
e
ncing
a variable doesn't make it undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpent
e
r
Redo checki
n
g for o
u
t
of range args
t
o ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
Carpen
t
er
Here is a b
u
g
i
n han
d
ling c
o
mpound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
a
rpenter
Handle
straight f
o
rward compar
i
sons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nter
Store the implica
t
ions
f
or return_i
m
plies_state() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
r
penter
Add: return_implies_
s
tat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Rename smatch_
e
x
tra_
h
elp
e
r
.
c to
smatch_range
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
ente
r
El
i
min
a
t
e
set_cond_sta
t
es()
f
unctio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean u
p
.
Allocat
i
ng f
i
lter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Verify that the va
l
ue
pass
e
d to ERR_PT
R
(
)
isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carpente
r
Fix co
m
p
iler int<->ptr c
o
nve
r
sion war
n
ings
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpe
n
ter
Merge adjac
e
nt ranges
.
1
-2,3-4 becomes
1
-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save so
m
e
a
llocatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n C
a
rp
e
n
t
er
Fix strnc
a
t()
b
u
gs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Car
p
en
t
er
I
m
prove handling of for loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pent
e
r
Hand
l
e once through loops different
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Fix merging ranges
.
Compl
e
t
e
ly
b
roke
n
before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
an Car
p
enter
Typo:
<
= in
s
tead o
f
>
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reverse all
t
h
e
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Don't the imp
l
icat
i
ons f
o
r the state
d
e
termining
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
nter
match_comparison to handle less
t
han,
greater th
a
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
C
h
a
ng
e
locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
D
o
n't alloc
a
te so ma
n
y ex
t
ra_unde
f
ine
d
st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
create alloc_ex
t
r
a_state_empty
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an C
a
rpenter
r
emove true_compar
i
son() and d
o
_compariso
n
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arp
e
nter
m
ove (true|false)_compar
i
son_range()
to sm
a
tch_
e
xtra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carp
e
nt
e
r
clear ->my
_
lists f
o
r &ignor
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Print more -
-
debug-implie
d
in
f
orma
t
io
n
w
h
en --
d
ebug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
ente
r
Removed hard coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Fix range compariso
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
remove unused function: rang
e
_
l
ist_inter
s
ec
t
ion()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Han
d
le U
N
DEF
I
NED range and display
the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
penter
Fix
sta
t
e
n
ames f
o
r ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Car
p
enter
Impl
i
ed ranges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
Update data file
s
for 2
.
6
.
30-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_ext
r
a
.
save oth
e
r c
o
mparison
s
besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
h
a
n
d
le: if ((foo = tr
y
_lock
(
)))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
r
e
name: expr_to_va
l
()
-> get_implied_val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
Fix handling of i
f
(IS_
E
RR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
rpenter
handle if condit
i
onal
f
unctions are assign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
a
r
p
ent
e
r
Add new restr
i
cted
k
n
o
w
n
_conditio
n
_
true
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
renam
e
known_
c
ondition_tr
u
e() to implied_condi
t
i
on_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Ad
d
ER
R
_
PTR() che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put_a
n
d_ex
i
t()
doesn't
return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pente
r
Separate the l
i
st of freed arguments
from dec
r
emented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write
a
script to print
fu
n
c
tions t
h
at
r
eturn NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpe
n
t
e
r
Do
n
't free bin_
d
ir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oo
p
s
.
Com
m
i
t th
e
s
e essential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next