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
Improve debugging. Don't overwrite sm->line.
2009-05-25
Dan Car
p
e
nt
e
r
Improve de
b
ugging
.
Don
'
t over
w
rit
e
s
m
->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpen
t
er
Micro opti
m
ization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
enter
clean up
in merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpenter
check
f
or out_of_me
m
ory() less often and only after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
penter
Bet
t
e
r deb
u
gging for check_
m
emory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switch tes
t
ing test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Ca
r
p
e
n
ter
D
oh
.
Too many imp
l
ied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n
C
a
rpe
n
ter
Remove
clon
e
_slist_and_states() and merge_slist_clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpe
n
ter
Remove switc
h
clo
n
in
g
c
omplexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpen
t
er
two is always non-null thes
e
days
.
don
'
t check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
remove unus
e
d merge_pool
s
() fun
c
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
don't pr
i
nt "list"
v
ariable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
n
t
er
M
ake my_po
o
ls => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
r
p
enter
introduce
c
lon
e
_pool_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
cl
o
ne_s
t
ate() do
e
sn'
t
cop
y
my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
rpenter
Rework implications to use ->pre_left and ->pr
e
_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Introduce ->pre_left and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpen
t
er
M
a
ke the RAM limit
m
o
r
e accurate and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan C
a
r
p
enter
On
l
y clone the states if it is a switch statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Ca
r
penter
Don'
t
c
lone the fa
l
se states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Car
p
enter
Don't clone all the
states fo
r
every
case statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
M
ake
t
h
e validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Preve
n
t s
o
me endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
P
u
tting par
e
ns
around s
o
me
t
hing doesn't m
a
ke it unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpenter
Fix
memory leak
.
f
ree_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
struct sm_s
t
ate more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
sma
t
ch_
s
list
.
c no longer n
e
eds any f
u
nctions from smatch_
e
xtra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
Delete
all the anding compound cond
i
t
i
o
ns
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpen
t
er
c
heck debug is usef
u
l for debugg
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
potential bug fix f
o
r gotos with
i
mplications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Mak
e
va
l
idation tes
t
h
a
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
Rework smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value(): handle a couple
m
ore bit opera
t
o
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Carpe
n
t
er
Set thi
n
gs in smatch ext
r
a instead o
f
smatc
h
impl
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
H
a
ndle sw
i
t
c
h s
t
atem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Car
p
ent
e
r
Revert "Don't the implications fo
r
t
he state deter
m
i
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
Revert "Her
e
is a
b
u
g
in handling compound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
h
a
n
dle if((foo =
d
o
wn_tryl
o
c
k
()
)
<
0
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
De
r
eferencing a variable doesn't
m
ake i
t
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
arpenter
Redo
c
hecking for ou
t
of r
a
nge args to ERR_PT
R
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan
Carpenter
Here is a bug
in handling compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpent
e
r
H
a
nd
l
e straigh
t
forwar
d
co
m
p
aris
o
ns to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Sto
r
e the
impli
c
a
t
ion
s
for return_implies_
s
tate() assignm
e
nt
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Ca
r
penter
A
d
d:
return_implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rpenter
Rena
m
e
s
m
atch_
e
xtra
_
he
l
p
e
r
.
c to sma
t
c
h_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_cond_states
(
) fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
S
m
all clean up
.
A
l
locati
n
g filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
V
e
rify that the
value pas
s
ed
to ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
C
arpenter
F
i
x compiler int<->pt
r
c
onver
s
io
n
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge
adjacent ranges
.
1
-
2,3-4 b
e
comes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpen
t
er
Save
s
ome allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
C
arpe
n
ter
Fix st
r
ncat() bu
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
I
mprove handling
of for
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle onc
e
through loops differentl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
Fix
mer
g
ing
rang
e
s
.
C
o
m
p
letely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
Typo: <= i
n
stead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Reverse all the
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Don'
t
the implica
t
ions fo
r
the state determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
matc
h
_
c
ompa
r
ison to handle
l
e
ss
than, greater
t
han
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Ca
r
pe
n
t
e
r
Cha
n
g
e
locking
o
utput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
D
on't allocate s
o
ma
n
y extra_undefin
e
d states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create
alloc_extra_
s
tate_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
remove
t
rue_
c
omparison()
and d
o
_com
p
arison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
r
penter
move (
t
rue|fa
l
se)_comparison_rang
e
() to smatch_ex
t
ra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
r
p
en
t
e
r
cl
e
a
r
->my_lists for &ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
Print more --debug-implied inf
o
rmation when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Removed hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix range compari
s
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpen
t
er
re
m
ove unus
e
d f
u
n
c
tio
n
: range_list_
i
nt
e
r
section()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpente
r
H
a
ndle UND
E
FINED range and display the name co
r
rect
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
a
rpenter
Fix
st
a
te n
a
m
es for range
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carp
e
nter
I
m
pl
i
ed ranges
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carp
e
nter
U
p
d
a
t
e
d
a
ta f
i
le
s
f
or 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpe
n
ter
s
match_extra
.
save other comparisons beside
s
just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an
Carpenter
handle: if ((
f
o
o
= try_lock
(
)))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpenter
re
n
am
e
: ex
p
r_to_va
l
() -
>
g
et
_
implied_value(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix handli
n
g of if (I
S
_
ERR(foo =
b
a
r
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
en
t
er
handl
e
i
f
conditio
n
al functions are
a
ssigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
ar
p
e
n
ter
Add
new restricted known_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
re
n
ame known_c
o
ndition_true() to implied
_
condit
i
on_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpente
r
Add ERR_PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
__module_put_a
n
d_exi
t
() doesn't retur
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
S
e
parate the
l
ist of
f
reed
a
rgument
s
from
d
ecrement
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an
Carpenter
Write a script to print fu
n
c
t
i
ons that ret
u
rn NU
L
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rpenter
Don't
free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
en
t
er
Oops
.
Commit these essential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpe
n
ter
Handle
k
nown con
d
itions when they are a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Add
C
ASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Fix m
e
mory lea
k
s found by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
arpenter
a
lloc_
s
tring() -> all
o
c_sname(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
Put some va
l
i
d
a
tion scr
i
pts in
th
e
closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rp
e
nte
r
Implied ranges
.
Part #2
.
Filt
e
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutu
a
lly excl
u
sive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Free a
l
l
d
ata_info at the en
d
o
f
a fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Ad
d
--
n
o
-data op
t
ion and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
ra
n
ge fix
.
and
i
ng slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
cleanups f
r
om cl
o
ne_slist(
)
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
p
enter
I
mplied r
a
n
ges
.
Part #
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpente
r
A
d
d the allocation
f
uncs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next