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
add support for -fmemcpy-max-count
2017-06-15
Luc Van Oost
e
nryc
k
add support for -fmemc
p
y-m
a
x
-
cou
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van
O
ostenryck
a
dd support for -W
m
emcpy-max
-
count
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
uc Van
O
ostenryck
memcpy()'s
byte count is unsigned
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc
V
a
n
O
oste
n
ryck
cgcc: filter-out '-f
d
ump-linearize
[
=
.
.
.
]'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
L
uc Van
Oo
s
tenryck
cgcc: add missing warning names to check_only_opt
i
on()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc V
a
n
O
o
s
tenryck
cgcc
:
alphasort warning name
s
in
check_only
_
o
p
tio
n
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-15
Luc Van O
o
stenryck
keep the warnings
t
a
ble
al
p
habeti
c
ally s
o
r
t
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-14
Luc Van
O
oste
n
ry
c
k
M
e
r
g
e branches
'
quiets-bool-cast-
r
e
stricted-v3', 'error
.
.
.
commit
|
commitdiff
|
tree
2017-06-13
Luc Van Oo
s
ten
r
yck
Add
mo
r
e
d
eclarat
i
ons for more
builtin fu
n
ct
i
o
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc
V
an Oostenry
c
k
finer control over e
r
ror v
s
.
warn
i
ngs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-10
Luc Van Ooste
n
r
yck
us
e
N
UL
L
instea
d
of 0 in testcases
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc
Va
n
Oostenryck
r
e
t-void: warn for
impl
i
cit
t
ype
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-06-08
Luc Va
n
Oostenryck
ret-void
:
add test
c
a
se for toplevel asm
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van
Oostenryc
k
teach
c
gcc about OSX aka darwin
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
V
an Oosten
r
yck
testsui
t
e:
avoid f
o
rk+execing basename
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van
O
o
stenryck
testsuit
e
:
remove unneeded '
.
/'
before command
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
t
e
sts
u
ite: use shell arith
m
e
t
i
c
inst
e
a
d
of fork
-
e
x
ecin
g
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc
Van Oostenryck
te
s
tsuite: grep
the output
p
atterns onl
y
when n
e
eded
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
testsui
t
e:
gre
p
the
e
xpecte
d
output only when
n
e
e
ded
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-28
Luc Van Oostenryck
tes
t
s
u
ite: get all
ta
g
s
i
n once
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc
Van Ooste
n
ryck
M
erge bran
c
he
s
'
du
m
p-macros-
v
2', 'fix-predefined-size
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van O
o
stenryc
k
let -
d
D report macro def
i
ni
t
ions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oo
s
t
e
nryck
teach spar
s
e
h
ow to handl
e
-dD flag
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van Oost
e
nry
c
k
fi
x
de
f
inition of __SCHAR_MAX__
&
friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenry
c
k
avoid to redefine __INT_
M
A
X__ and
f
riends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Va
n
Oo
s
tenryck
fix hardcoded siz
e
of wide
chars
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Va
n
Oostenryck
t
e
ach
sparse how to dump
m
ac
r
o
d
efinitions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc
Va
n
Oostenryck
defin
e
i
d
ent_list
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
a
v
oid warning
on
expl
i
cit '
b
ool <- restrict
e
d' casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc V
a
n Oostenryck
m
o
r
e test
s
for i
m
plici
t
'bool
<- re
s
tricted'
c
asts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
O
osten
r
yck
add suppor
t
for a new flag: -fdump-line
a
rize[=only]
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Lu
c
Van
O
ostenryck
rem
o
ve origva
l
from
s
tr
u
c
t
acces
s
_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van O
o
stenryck
r
emove alignment from struct access_dat
a
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
u
c
Van Oost
e
nry
c
k
fix implicit zero i
n
itializer
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van Oostenryck
add test case
for
l
ineari
z
e_initializer()
o
f bi
t
fie
l
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
L
uc Van Oostenryck
remove
bit
_
size & bit_o
f
fset from struc
t
access_data
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc V
a
n Oostenryck
returns
the correct type wh
e
n
evaluating NULL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-19
Luc Van
O
ostenryck
fix:
k
il
l
ol
d
bran
c
h in insert_branch()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc
Van
O
o
stenryck
testsui
t
e:
cleanup
r
e
s
ult files
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oosten
r
yck
use -fmem
-
report to
report alloca
t
i
o
n
s
tats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
teach sparse
h
ow to
handle '-fmem-report'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oostenryck
a
d
d
helper h
a
ndle_simple_switch()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van
O
o
stenryc
k
a
dd sho
w
_al
l
ocation
_
st
a
ts()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-15
Luc Van Oos
t
enryck
add get_<allo
c
ator>_stats()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
L
uc Van Oostenryck
Merge br
a
nche
s
'qu
i
e
t
s-bo
o
l-ca
s
t-
r
es
t
ric
t
ed-v
2
'
,
'keyword
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc V
a
n Oos
t
enryc
k
ke
y
word: no
p
re-de
c
lar
a
tion needed for att
r
ib
u
te names
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc V
a
n
O
ostenr
y
ck
k
eyword
:
a
dd a comment
a
bout NS_
T
Y
P
E
D
EF & rese
r
v
e
d
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
Van Oosten
r
y
ck
keyword: add m
o
r
e reserv
e
d keywords to the test ca
s
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van
Oostenryck
keyword
:
explicitly
add
C
9
9
&
C11 keywords
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc Van Oostenryck
ke
y
word: regro
u
p
the [re
s
erved]
keyw
o
rds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Luc
V
an
Oostenryck
k
e
yword: add test case for r
e
served '_
S
t
atic_assert'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-12
Lu
c
Van
O
os
t
en
r
yck
f
i
x missing rel
o
ad
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
Van Oostenr
y
ck
fix boolean con
t
ext for OP_AND_BOOL & O
P
_
O
R_BOOL
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van
O
ostenry
c
k
i
gnore VOID when trying to i
f
-con
v
e
rt phi-node
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van Oos
t
enryck
fix: ki
l
l
unrea
c
hable B
B
s
af
t
er k
i
lling a child
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Va
n
Oostenryck
let
k
ill_unreachable_bbs() clear REPE
A
T_CFG_CLE
A
NUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc
V
an Ooste
n
ryck
i
n
troduce
R
EPE
A
T_CFG_
C
LEANUP
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
Luc Van O
o
st
e
nryck
a
vo
i
d useless
w
a
r
ning for 'boo
l
<
-
restricted type
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-30
Luc
Va
n
Oostenryck
Merge b
r
anches
'sent/float
-
exp
a
n
d-v2',
'
s
e
nt/
f
ix-kill
.
.
.
commit
|
commitdiff
|
tree
2017-04-29
Luc Van
Oostenryck
be more
c
areful
with conc
a
t
_us
e
r_list()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-04-01
Luc
V
an O
o
stenryck
fix OP_PHI usage i
n
t
r
y_to_simplify_bb
(
), correctly
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-31
Luc Van O
o
s
t
enr
y
ck
a
v
o
i
d crash wit
h
test-linearize -vv
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc
Van Oostenry
c
k
fi
x
expan
s
ion
o
f integer
s
to floats
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oo
s
t
enr
y
ck
do not depends on limits
.
h to test
__CH
A
R
_BIT__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oostenryck
fix
c
as
t
to
p
ointer to floa
t
i
ng-point
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Lu
c
Van Oo
s
tenryck
fix
test validation
/
d
iv
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
L
u
c
V
an Oost
e
nryck
pred
e
fine __
S
IZEOF_INT__ & frien
d
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van
O
o
stenryck
pred
e
fine __INT_MAX__ and frie
n
ds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-27
Luc Van Oost
e
nryc
k
fix
t
est fo
r
cast to
b
o
o
l on 32bit machines
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
fi
x
is_scalar_t
y
pe()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
fix evalua
t
ion
o
f
a
f
u
nction or a
r
ray symbol in
conditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenr
y
ck
warn if
t
esting the
address of an array
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oostenryck
add is_
a
rray_t
y
pe()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc
V
an Ooste
n
r
y
ck
warn if
t
esting the add
r
es
s
o
f
a
func
t
i
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Va
n
Oostenryck
add is_func
_
t
y
pe()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Va
n
Oosten
r
yck
t
each sparse about -Wa
d
dress
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van O
o
ste
n
ryck
use
V
OID ins
t
ead of d
i
rectly using &void_pseudo
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenryck
move 'extern
with i
n
itializer
'
validation after t
h
e
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c V
a
n Oo
s
tenryck
check the s
t
orag
e
of C99 for-
l
oop initial
i
z
ers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
add an optio
n
al
v
a
l
idation method to external_declaration()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc
Van O
o
stenr
y
ck
ad
d
test case
s
for storage
of c99 for-loop
d
eclarations
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
Oostenryck
add
t
est case fo
r
scope of C99 f
o
r-loop declarations
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
repla
c
e test for c99
f
or-loop initializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
O
ostenryck
re
m
ov
e
unuse
d
helpe
r
is_branch_g
o
to()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van
O
ostenryck
split
OP_BR be
t
w
een unconditional
&
condition
a
l
: OP
_
CBR
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
O
ostenryck
f
i
x s
i
z
e of loaded bitfields
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenr
y
ck
fix usage in s
i
mplify_sete
q
_set
n
e()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n Oostenr
y
ck
i
gnore whole-ra
n
ge overlapping init
i
al
i
zer
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
L
uc Van Oost
e
nryck
fix
c
h
ecking of
over
l
apping in
i
tializer
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
allow
to warn on all overlapping initializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
enryck
add test case for wa
r
nings about overlapping
i
nit
i
alizers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
en
r
yck
u
s
e option: '-Wo
v
erride-init'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
make -Wbitwise
operational a
g
ai
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-27
Luc
V
an Oost
e
nryck
a
d
d miss
i
ng bra
c
es arou
n
d FO
R
_EACH_PTR loop
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oos
t
enryck
fix expa
n
s
i
o
n
cost
o
f pure functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oost
e
nryck
CS
E
:
avoid hashing removed instru
c
tions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van
Oostenryck
CSE: use comm
u
t
ativi
t
y to identify eq
u
i
v
alent instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Ooste
n
r
y
c
k
CSE: add tes
t
cases for co
m
pa
r
isons duali
t
y
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
s
implif
y
float-to-f
l
o
a
t
c
as
t
s that doesn't change size
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenry
c
k
fix OP_PHI usage in try_to
_
simpli
f
y_b
b
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
next