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
clone_state() doesn't copy my_pools.
2009-05-21
Dan Carp
e
n
ter
clone_sta
t
e() do
e
sn'
t
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
an Ca
r
p
ent
e
r
Rework im
p
lication
s
to use ->pre_
l
e
ft and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpen
t
er
Int
r
odu
c
e ->pre_left and ->
p
re_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
M
a
ke the RAM limit more acc
u
rate and f
l
exible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
D
a
n Carp
e
nter
Onl
y
cl
o
n
e
the state
s
if it is a s
w
i
tc
h
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clone the false state
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an Carpen
t
e
r
Don't
c
lone all the states for e
v
ery case
s
tatemen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpenter
Make
t
he valid
a
tio
n
t
e
s
t
hard
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpent
e
r
Prev
e
n
t
some
e
n
d
less loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
a
rpe
n
ter
Putting p
a
r
ens a
r
oun
d
something
doesn't ma
k
e it undef
i
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpente
r
F
ix memory leak
.
fre
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Make st
r
uct
sm_state more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
ent
e
r
s
m
a
tch_s
l
ist
.
c no
l
o
n
g
er need
s
any f
u
nctions from sma
t
ch_e
x
tra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
a
r
p
e
nt
e
r
Delete all the andin
g
compound cond
i
tion
s
co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Ca
r
penter
check debug is
u
seful for debu
g
g
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
poten
t
ia
l
bu
g
fix for gotos
w
i
t
h implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carp
e
nter
Make validation
te
s
t harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
Rewo
r
k
smatch implie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpen
t
er
get_value
(
): hand
l
e
a
couple
more bit oper
a
to
r
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Set t
h
ings in
s
match extra in
s
tead of
smatch
i
mplied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
enter
Ha
n
d
l
e switch
s
tat
e
m
ent
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an
C
a
r
p
en
t
er
Revert "Don't th
e
implications for the state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert
"H
e
re is a bug in
h
andli
n
g comp
o
und conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
a
rpent
e
r
hand
l
e if((foo = dow
n
_tr
y
lock()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
add_is_mer
g
ed_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Car
p
enter
Dereferen
c
in
g
a
v
a
r
i
a
ble doesn
'
t make it undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
D
a
n Carpenter
Redo checki
n
g
for out of range
args to
ERR_PTR
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
C
arpenter
H
e
r
e
is a bug i
n
han
d
ling compoun
d
cond
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Hand
l
e strai
g
ht f
o
rward comparis
o
ns to
z
ero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
an
Carpenter
St
o
re the impl
i
c
a
t
i
o
ns f
o
r retur
n
_implies_st
a
te() assignm
e
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nter
Add:
r
eturn_implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Rename s
m
atc
h
_ex
t
ra_helper
.
c to smatch_ra
n
ges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Elim
i
nate
s
e
t
_cond_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean up
.
Allocati
n
g filt
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpe
n
ter
Verif
y
t
h
a
t the
value pas
s
ed to ERR_PTR()
i
s
n't to
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fi
x
compiler int<->ptr conve
r
sio
n
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge
a
d
j
acent r
a
n
ges
.
1-2,3-4 becomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sav
e
some
allocation
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpen
t
er
Improve handling o
f
for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rp
e
nt
e
r
Hand
l
e once through loop
s
diffe
r
ently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpenter
F
i
x m
e
rg
i
ng r
a
nges
.
Com
p
letel
y
br
o
ken
b
efo
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
y
po: <= instead o
f
>=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carp
e
nter
Reverse
a
ll t
h
e ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n C
a
rpent
e
r
Don
'
t the im
p
lications for the
state determin
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
mat
c
h_comparison to handle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Ch
a
nge locking out
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
D
o
n'
t
a
llocat
e
so many extra_undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
create
a
l
l
o
c
_e
x
tra_state_emp
t
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
re
m
o
ve true_comparison()
a
nd do
_
comparis
o
n()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Car
p
enter
mov
e
(true|false)_comparison_range() to
s
match
_
ex
t
ra_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
cl
e
ar ->my
_
lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Print more -
-
d
e
bug-implied i
n
f
o
rmation whe
n
--debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpe
n
te
r
Removed hard
coded optio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pe
n
ter
Fix rang
e
comp
a
rison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove u
n
used fu
n
ction: range
_
l
ist_intersecti
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carp
e
nter
Handle
UNDEFINED range
a
nd display the name correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
penter
Fix state
names for ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Im
p
li
e
d
ranges
.
Part #3
.
Range Lis
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Up
d
ate da
t
a files for 2
.
6
.
3
0-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpent
e
r
smatch_extra
.
save other com
p
arisons be
s
i
des just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
p
e
nt
e
r
handle: if
(
(
f
o
o
=
t
ry_lock()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carpe
n
ter
rename
:
ex
p
r_to_v
a
l() -> get_implied_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Ca
r
pent
e
r
Fix handling of i
f
(I
S
_ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Car
p
ent
e
r
h
a
ndle if conditional
functions are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpente
r
Add new restricte
d
known_
c
ondition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
rename kno
w
n_con
d
ition_true() t
o
impl
i
ed_conditio
n
_
t
rue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpen
t
er
Add ER
R
_P
T
R() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpen
t
e
r
_
_module_put_and_exit() do
e
sn't return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate t
h
e list
of freed
a
rgument
s
from d
e
crement
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Car
p
e
nter
Write a scrip
t
to
print functi
o
n
s
that return N
U
LL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
Don't free bi
n
_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Comm
i
t these essenti
a
l file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Handl
e
k
n
own conditions when
t
h
e
y are a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpe
n
ter
Add CASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
F
i
x
m
emory
l
eaks fou
n
d by
v
algrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
al
l
oc_s
t
ring(
)
-> alloc
_
s
n
a
me()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
ar
p
enter
Put
some va
l
idation scripts in the clo
s
e
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpent
e
r
Implied ranges
.
P
art #2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
S
ilence the mutual
l
y
ex
c
lusive out
p
ut again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
a
rpenter
Free all
d
ata_info at the end of a
fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Ad
d
--no-da
t
a o
p
t
ion and
warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n
C
arpenter
range fix
.
anding slis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
cleanups from clone_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpen
t
er
Imp
l
ied ranges
.
Par
t
#1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carp
e
nter
Add
the allocation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
free
_
scq is
d
efined 2 times quite dif
f
eren
t
ly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Fix implica
t
ion
s
(fallout fro
m
cl
o
n
e
_slist()
c
hanges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
p
e
n
ter
M
ajor m
e
mory savi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Car
p
e
n
ter
--debug me
a
n
s
print the impl
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an C
a
rpenter
Add
-
-no-implied to
the help tex
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Save mem
o
ry
.
Don't co
p
y the sta
t
e nam
e
so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
te
r
Add check_type
.
c
(
d
i
sabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Ca
r
penter
k
ref_pu
t
(
)
and kobject
_
p
u
t() are basically l
i
ke a
f
r
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carp
e
nter
Don't dereferenc
e
freed
mem
o
ry
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpe
n
ter
Add
a
ll t
h
e allocat
i
on functions to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a lis
t
of function
s
that allocate
d
ata
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Update t
h
e gen_free
s
_list
.
s
h an
d
t
he genera
t
ed data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
Sav
e
f
u
ncti
o
n lists in sma
t
ch_dat
a
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
n
e
w (disabled) scri
p
t
:
check
_
leak
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next