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
pe
n
ter
s
mat
c
h
_imp
l
i
e
d:
o
nly print the
n
r_chil
d
r
en mess
a
ge
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpente
r
sm
a
tch_
e
xtra: fix (f
o
o
!=
42
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpen
t
er
Fix overlapping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n Carpen
t
er
check_memor
y
.
c: fix
rev
e
rsed if s
t
atem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix ano
t
her bug caus
e
d
by funny
tmp
_
range_li
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
rpenter
Me
r
ge branch 'new_implications
'
into devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
rpenter
F
ix
crashing bug caused by
the switch c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Ca
r
pe
n
ter
d
ebu
g
ging:
p
rint
the
line
num
b
ers i
n
merge_
s
m
_
s
t
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make swi
t
ch stat
e
ments work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
clean up
.
use true/
f
alse_comparison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carp
e
n
ter
code c
h
u
rn: re
n
am
e
->pre
_
lef
t
=> ->left, ->pre_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Pu
t
a cap on implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpente
r
Improve debuggi
n
g
.
Don't overwrite sm->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Ca
r
penter
Mi
c
ro optimi
z
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
C
arpenter
cl
e
an up
i
n merge_slist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
C
arpenter
che
c
k
f
or out
_
of
_
memory(
)
less often and only after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
C
arpenter
Better debugging for check_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switc
h
testing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
Doh
.
Too
ma
n
y
implied st
a
t
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remov
e
clone_slist
_
and_states() an
d
merge_slist_c
l
on
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Remove switch cloning c
o
mplexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
tw
o
is a
l
wa
y
s no
n
-
n
ull
t
hese da
y
s
.
don'
t
che
c
k
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
remove unused
m
e
r
g
e_poo
l
s() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
do
n
't
p
ri
n
t "l
i
st" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
Make m
y
_p
o
ols => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
introduce
c
l
o
ne_pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
cl
o
ne_state(
)
does
n
't
c
opy my
_
pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework i
m
plic
a
tions
to us
e
->pre
_
lef
t
and ->pr
e
_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
t
w
o
i
s
a
lways non-null these day
s
.
don't check
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
t
e
r
I
n
t
r
od
u
ce ->pre_left and ->pre_r
i
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make t
h
e
RAM
limit more acc
u
rate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpen
t
er
Only clone t
h
e st
a
tes if it is a switch
s
t
ate
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
rpenter
Don't clone the false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpenter
Do
n
't
c
lone
a
ll the st
a
tes for every cas
e
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n C
a
rpenter
Ma
k
e the validation t
e
st harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Prevent
s
ome end
l
ess loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Carpenter
Puttin
g
p
a
r
ens
a
round some
t
h
ing doesn't m
a
ke it unde
f
i
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory leak
.
fre
e
_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Mak
e
st
r
uct sm_stat
e
more
c
ompact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
penter
sma
t
c
h_s
l
ist
.
c
n
o longer nee
d
s any func
t
ions f
r
o
m
s
m
atch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
D
e
lete
a
ll the
anding
c
om
p
ound co
n
diti
o
ns code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
che
c
k debug is u
s
eful
for debu
g
gin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
p
e
nter
pote
n
tial bug fi
x
for got
o
s with implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
M
a
ke validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
Rewor
k
sma
t
ch im
p
lied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan
Carpenter
get_
v
a
lue(): handle a couple more bit
operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
arpenter
S
et things in smatch e
x
tra ins
t
ead of
sm
a
tch
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
H
and
l
e
s
witch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpenter
Revert
"
Do
n
't the implications for the state det
e
rmining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpe
n
te
r
R
evert "Here is a bug in handlin
g
c
o
mpound c
o
nditi
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
ha
n
dl
e
if((fo
o
= down_trylock()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n
C
arpent
e
r
add_is_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
Der
e
ferencing a variabl
e
doesn't make it undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpente
r
Redo
check
i
n
g
fo
r
o
ut of range a
r
gs to ER
R
_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n
C
arpente
r
Here is a bug in handling compound c
o
ndition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Car
p
enter
Handle straight for
w
ard compa
r
i
s
ons
to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n
Ca
r
penter
Store the
imp
l
ic
a
tions for retu
r
n_impl
i
es_stat
e
() as
s
ignmen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return
_
implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Ca
r
penter
Rename smatc
h
_extra_helper
.
c
t
o smatch_
r
anges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
El
i
m
i
na
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
Sm
a
ll cle
a
n u
p
.
Alloc
a
t
i
ng filt
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify tha
t
the val
u
e passed to ERR_P
T
R
(
) isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Fix c
o
mpiler i
n
t
<->ptr
c
onversion
w
arnin
g
s
commit
|
commitdiff
|
tree
2009-04-14
Da
n
C
arpent
e
r
Merge adj
a
cent ranges
.
1-
2
,3-4 become
s
1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carp
e
nter
Save some al
l
ocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strncat() bug
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Da
n
Carpenter
Improve handlin
g
o
f for
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Handle once through l
o
ops d
i
fferently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Fix mergi
n
g ranges
.
Complet
e
l
y
b
ro
k
en before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
y
p
o: <=
i
n
stea
d
o
f
>=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Re
v
erse a
l
l the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Do
n
't the im
p
li
c
a
t
ion
s
for the state d
e
termining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
a
rpenter
match_comparison t
o
ha
n
dl
e
less than, g
r
eater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change l
o
cking ou
t
pu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carp
e
nter
D
o
n't allocate so many extra_undefined
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create alloc_ext
r
a
_
state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
remove true_comparison() a
n
d do_comparis
o
n()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
e
n
t
e
r
move (true|fa
l
se)_comparison_
r
ange() to
s
match_
e
xt
r
a_help
e
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
clear ->my_li
s
t
s
f
o
r &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Car
p
ent
e
r
Print
more --debug-i
m
plied
info
r
mation
when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
Carpen
t
er
Removed hard coded
op
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix
r
a
nge comp
a
rison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused function: range_lis
t
_intersecti
o
n(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Handl
e
UND
E
FIN
E
D ra
n
g
e
a
n
d
dis
p
l
a
y
t
h
e
name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Fix state
na
m
es for range
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Imp
l
ied ranges
.
Part
#
3
.
Rang
e
L
i
st
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Car
p
en
t
e
r
Upda
t
e da
t
a
f
iles
f
or 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
smatch_extra
.
save other comp
a
risons besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nter
h
andle:
if ((foo =
t
ry_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
re
n
a
me: expr_
t
o_val()
-> get_implied_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpente
r
Fix ha
n
dling of if (IS
_
ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
ente
r
h
a
ndle if condi
t
ional functions are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Ad
d
new restricte
d
known_cond
i
tion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
r
e
name known_condition_
t
rue
(
) to impli
e
d_c
o
ndition
_
t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Add ER
R
_PTR() che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
e
r
__module_put_and_exit() doesn'
t
retur
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
S
e
par
a
t
e
the list of freed arguments f
r
o
m de
c
remented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpe
n
ter
W
r
ite a script t
o
print f
u
nctions
that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Don't free
bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Oops
.
Commit the
s
e essenti
a
l files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next