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
check for out_of_memory() less often and only after allocating something.
2009-05-24
D
an Carpenter
ch
e
ck for out_of_m
e
mory() l
e
ss often and on
l
y after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpent
e
r
Better debugg
i
ng f
o
r check_
m
emory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Car
p
en
t
er
Add
s
witch tes
t
ing tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
T
o
o ma
n
y implied sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
R
e
mo
v
e c
l
one_slist_and_s
t
ates() and merge_sli
s
t
_
clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpente
r
Remove s
w
itch cloning
complexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
two is a
l
ways non-null the
s
e
days
.
don't che
c
k it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unused merge_pools() functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rp
e
nt
e
r
don't print
"
list" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an
C
a
rpenter
M
ake my_
p
o
o
ls
=>
m
y_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
introduce cl
o
ne_po
o
l_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an
C
arpen
t
er
clo
n
e_state()
doesn
'
t copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Rew
o
rk
impli
c
a
t
ions to use ->
p
re_left an
d
->pre
_
right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Carpenter
Introduc
e
-
>pre_
l
e
f
t and
->pre_
r
ight
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Carp
e
n
t
er
Mak
e
t
h
e RAM limit more a
c
c
urate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only cl
o
ne
t
h
e states
i
f
i
t is a switch
s
tatem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
Carpent
e
r
Don't
c
lone the false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an Carpe
n
t
er
Don't c
l
one all
the s
t
ates f
o
r every case st
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make t
h
e
v
alidation
test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carp
e
nter
Prevent
s
o
me endless l
o
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Puttin
g
pa
r
ens around something doesn't make it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
t
e
r
Fix
m
emory leak
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
Ma
k
e struct sm_state mo
r
e compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
p
enter
smatch_sl
i
s
t
.
c no lo
n
ger
n
ee
d
s
a
ny
functions
f
rom smatch
_
extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete all the anding
c
ompound conditio
n
s cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n C
a
r
pe
n
t
e
r
chec
k
debug i
s
us
e
ful for debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
po
t
e
n
tial bug fix for go
t
os
with impl
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make validation te
s
t
h
arder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
R
ework smatch imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get
_
value(): ha
n
dle
a
c
o
u
ple more
b
it operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an Ca
r
penter
Set
things in s
m
atch ex
t
r
a in
s
tead of smatch
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Hand
l
e switch st
a
t
eme
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpenter
Revert "Don't
t
he im
p
lications for the
state
dete
r
minin
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Ca
r
penter
Revert "Here
i
s a bug in handli
n
g
compound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
a
rpenter
handle if((foo
=
down_trylo
c
k()) <
0
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
r
penter
D
er
e
ferenci
n
g a variable doesn't ma
k
e i
t
undefi
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo
c
hecking for ou
t
of range args to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Car
p
ent
e
r
He
r
e
is a b
u
g in hand
l
ing c
o
mpound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
p
enter
Han
d
le
s
traight for
w
ard compa
r
isons to
z
ero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
Store the imp
l
ications for return_implies_state() ass
i
gnme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpen
t
er
A
d
d: return_
i
mplies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Rename smatch_extr
a
_he
l
p
er
.
c t
o
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
Dan
C
arpenter
Small clea
n
up
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpent
e
r
Verify
t
hat the value
p
as
s
ed to
ERR_PTR()
isn't to
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
F
i
x
compiler int<->ptr conversion
w
ar
n
ing
s
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Mer
g
e adjace
n
t ranges
.
1-2,3-4 becomes 1
-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Sav
e
some allo
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Fix s
t
rncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Ca
r
pe
n
ter
Improve ha
n
dling of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle on
c
e
t
h
r
o
ugh loop
s
di
f
feren
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pente
r
Fix merging ranges
.
C
o
m
plet
e
ly
broken
before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <=
i
nstead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Reverse al
l
the ran
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Don't the im
p
lica
t
ion
s
for the
state
determ
i
ni
n
g t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
m
a
tch_c
o
mparison t
o
han
d
le less th
a
n, great
e
r th
a
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change loc
k
ing
o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Ca
r
penter
Do
n
'
t allocate so many extra_undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arp
e
nter
c
r
e
a
t
e
a
l
loc_extra_
s
tate_
e
mpty(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remov
e
true_comparison() and do_compar
i
son()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
nter
m
o
v
e
(true|false)_compar
i
son_range() to sma
t
ch_extr
a
_helpe
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
clear ->my_lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Print more --debug-impli
e
d informa
t
ion w
h
en --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Removed hard coded
o
ptions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Fix
range comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused funct
i
on: range_
l
ist_inters
e
c
t
i
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
n
t
er
Handle
UNDEFINED rang
e
a
n
d d
i
splay the name corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an
Carpenter
Fix state names f
o
r ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Imp
l
ie
d
ranges
.
Part #3
.
Range
L
i
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Upd
a
te data files
for 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
s
ma
t
ch_
e
xtra
.
sa
v
e other compariso
n
s
b
es
i
des jus
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Ca
r
penter
handle: if
(
(foo = tr
y
_lock(
)
)) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: expr_
t
o_val() -> get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix handli
n
g of if
(IS_ERR(
f
o
o =
b
ar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
C
a
r
pente
r
handle
if con
d
i
tional functio
n
s
are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
A
d
d new r
e
stri
c
t
ed known
_
c
ondition_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
rename known_c
o
ndition_true() to implied_condition_t
r
ue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpente
r
Add ER
R
_
P
T
R
() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
_
_module_put_and_e
x
it() doe
s
n't re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
a
r
penter
Separate th
e
list of
freed
arguments
f
ro
m
decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write
a script to print functions that
r
eturn NUL
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don
'
t f
r
ee bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
a
rp
e
nte
r
Oops
.
Com
m
i
t these essential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
H
a
ndl
e
k
n
own conditions when they are
a
simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Add
C
ASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Fix
memory leaks f
o
und by
valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
al
l
o
c
_string(
)
-> alloc_
s
name()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Put s
o
me val
i
dation scripts in
the c
l
o
se
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpente
r
Implied
ranges
.
P
a
rt #2
.
Filt
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Silence
the mutuall
y
exclusive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
Free all data_i
n
fo at t
h
e end o
f
a functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add
--no-d
a
ta option and w
a
rning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpe
n
ter
range
f
ix
.
anding
sl
i
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an
C
arpente
r
cleanups from cl
o
ne_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpente
r
Implied ranges
.
P
art #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Add
t
h
e
a
llocati
o
n funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
f
r
e
e_scq
is de
f
ined 2 times quite diffe
r
e
n
t
l
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
Fix implic
a
tio
n
s (f
a
l
lout from cl
o
ne_slis
t
() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Ma
j
or m
e
mory sa
v
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next