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
Fix crashing bug caused by the switch changes.
2009-05-27
Dan Carpenter
F
ix crashing
b
ug caused by the sw
i
tch changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an
Ca
r
pe
n
ter
d
ebugging: print
t
he line numbers in merge_sm_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n Ca
r
penter
M
a
ke
s
witch
statements work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carpenter
clean up
.
use true/false_comparison_range_lr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
Ca
r
pe
n
ter
cod
e
churn: rename
->pre_left => ->l
e
ft,
->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpe
n
ter
Put a cap on
i
m
p
l
ications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Impro
v
e de
b
ugging
.
D
o
n't overwr
i
te s
m
-
>
line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Mi
c
ro optim
i
zat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
enter
c
lean
u
p
i
n
merg
e
_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an
Carpenter
check
for out_of_memory() le
s
s often
an
d
o
n
ly af
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Bet
t
er d
e
b
u
ggi
n
g fo
r
ch
e
c
k_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
A
d
d switch testing test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n
C
arpenter
Doh
.
Too
m
any imp
l
ied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Ca
r
pente
r
Rem
o
ve c
l
o
ne
_
slist_a
n
d_sta
t
es() and merge_slist
_
clone
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpe
n
ter
Remove
switch cloning complex
i
ty
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpe
n
t
er
two
is
a
l
wa
y
s non-n
u
ll
thes
e
day
s
.
d
on't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
t
e
r
remo
v
e
u
n
use
d
m
e
r
ge_
p
ools(
)
fu
n
c
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
d
on't print "
l
ist" v
a
r
iable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
M
a
ke my_pools => my_poo
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce clone_pool_h
a
vers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_state
(
) do
e
sn't cop
y
m
y_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
Rework implications to us
e
-
>pre_left and ->p
r
e_r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
pent
e
r
In
t
roduc
e
->pr
e
_left and
->p
r
e
_righ
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
ter
Make the RAM limit more accurate
a
nd flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Da
n
Carpenter
Only clone the states if
i
t is a swi
t
ch s
t
atement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpente
r
Don't
c
lon
e
the fals
e
st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n Carpen
t
er
Don't cl
o
ne all the states
f
o
r
every case st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpent
e
r
Make the validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Prevent
s
ome endless loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
a
r
pente
r
Putting
p
a
ren
s
aro
u
nd something
doesn't make
it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix m
e
mory le
a
k
.
free
_
s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpent
e
r
M
a
k
e
struct sm_stat
e
mor
e
compa
c
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
p
enter
s
m
atch_s
l
ist
.
c no
l
ong
e
r
needs any func
t
ions from smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
n
t
er
De
l
ete
a
l
l
the anding
compound co
n
ditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
ch
e
ck d
e
bug
i
s
u
seful f
o
r d
e
bugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
Carpenter
po
t
ential bug fix fo
r
gotos with
implic
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
Make validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
R
ework smatch
i
mplied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
a
n
C
a
rpent
e
r
g
e
t
_
va
l
ue
(
): ha
n
dl
e
a c
o
uple more
bi
t
operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carp
e
nter
Set t
h
ings in sma
t
ch extra ins
t
ead
of
sma
t
ch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
C
a
r
p
e
n
ter
Handle switch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rp
e
nter
Revert "D
o
n't the
implic
a
tions fo
r
the state d
e
termining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert
"
Here is a bug in ha
n
d
lin
g
co
m
pound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpenter
hand
l
e
if((foo = down
_
trylock()) < 0
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
add_is_merged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
Carpen
t
e
r
Dere
f
erencing a var
i
able doesn't make it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Da
n
C
a
rpe
n
ter
R
e
do checking for o
u
t of ran
g
e
args to ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
H
e
r
e is a
b
ug in
h
andling com
p
ou
n
d conditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpen
t
er
Hand
l
e straight forward
comp
a
risons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
e
n
ter
Store the imp
l
ica
t
ions
f
or return_implies_state(
)
a
s
s
ig
n
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an
Carpenter
Add: retur
n
_im
p
lies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
R
e
name
s
m
atch
_
ex
t
ra_
h
elpe
r
.
c to smat
c
h_r
a
nges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Eliminate set_cond_states(
)
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean up
.
Allocat
i
ng filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
Verify that the value passed to ERR_PTR()
isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
Fix compiler int<->ptr con
v
ersi
o
n warni
n
gs
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge adjacent ranges
.
1-2,3-4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Save some a
l
locatio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpent
e
r
Fix strncat()
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
a
n Carpe
n
ter
I
m
pro
v
e handling of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through
l
oop
s
di
f
ferently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix
merging ranges
.
C
o
mpletely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
arpenter
Typo: <= instead
o
f >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpenter
Reverse all
th
e
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpen
t
er
Don't the implic
a
t
i
ons for
t
he s
t
ate de
t
e
r
mining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
m
atch
_
comparison to handle less than, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpe
n
ter
Cha
n
ge locking
o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpe
n
ter
Don't al
l
ocate so many extra_un
d
e
f
ined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
create alloc_extra_st
a
te_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
rem
o
ve tru
e
_comparison
(
) and d
o
_comparis
o
n()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpenter
move (true|fal
s
e)_comparison_ran
g
e(
)
t
o
smatch_ex
t
r
a
_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
clear
->my_lists fo
r
&ig
n
ore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Pr
i
nt more --d
e
bug
-
implied information when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Removed hard coded option
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
F
i
x ra
n
g
e
compar
i
son
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carp
e
nte
r
remove
u
n
u
sed function
:
range_list_inter
s
ection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
penter
Handl
e
UNDE
F
INED range and display the name c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
F
i
x state names for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpent
e
r
Imp
l
ied ranges
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Car
p
enter
U
p
date data files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
smat
c
h
_extra
.
save othe
r
comparisons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle
:
if ((foo =
try_lock()
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
r
ena
m
e: ex
p
r_to_val(
)
->
get_implied_val
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
Fix handling
o
f
if (IS_ER
R
(fo
o
=
bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
h
a
ndle
i
f condi
t
ional
f
unction
s
are
a
ssigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
ar
p
enter
Add
n
ew res
t
ric
t
ed known_cond
i
t
ion_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
r
e
n
ame
k
nown_co
n
dition
_
true() to implied_
c
on
d
iti
o
n_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
A
d
d ERR_
P
T
R() chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpente
r
__mod
u
le_put_and_
e
xit(
)
does
n
't
r
e
t
urn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pe
n
t
e
r
Separate the
l
ist of fr
e
ed arguments
f
r
om
decr
e
men
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
te
r
W
rite a script to print functions
t
ha
t
return NUL
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Don't free bi
n
_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
r
penter
Oops
.
Com
m
it t
h
ese e
s
sential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Handle kno
w
n conditi
o
n
s wh
e
n they are a
simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Fix memory le
a
ks found
by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
C
a
r
p
enter
al
l
oc_str
i
n
g
() -> alloc_snam
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Pu
t
some validation scripts in
t
h
e closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Car
p
enter
Impl
i
ed
r
anges
.
Part #2
.
Filt
e
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutually ex
c
lusive out
p
ut
a
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next