repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
parse.c: extract_double: fix return type
2012-12-24
Sv
e
n V
e
rdo
o
laege
p
arse
.
c:
ex
t
ract_double: fix ret
u
r
n typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoola
e
ge
u
p
date is
l
to version 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
pet 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Ver
d
ool
a
e
g
e
update i
s
l
to ver
s
ion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Ver
d
oolaege
up
d
ate for ch
a
n
ge in the constructor of t
h
e cl
a
ng
Dri
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdo
o
laeg
e
update is
l
f
o
r su
p
port for r
e
c
e
nt
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoolaege
co
n
figure
.
a
c: check if TargetI
n
fo::CreateTargetInf
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Ve
r
d
o
olaeg
e
upda
t
e
i
s
l
for
s
upp
o
rt for r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
S
v
en Verdoolaege
update isl for change in AST printing callback
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Ver
d
oolaege
add te
s
t
f
or ve
r
ifying the co
r
rectness
o
f
t
h
e isl cod
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en V
e
rdoolaege
pet
_
scop_anonymize: als
o
r
e
mo
v
e
user
p
ointers from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
scop_ex
t
ract_from
_
C_so
u
rce:
a
nonymize scop afte
r
updating
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
add su
p
p
ort for (single) declaration
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoo
l
a
e
g
e
pet_scop_collect
_
arr
a
ys: sk
i
p arrays th
a
t alread
y
appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
olaege
extract
o
ut P
e
tScan::a
s
sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Ver
d
oolaege
PetSc
a
n::ma
r
k_w
r
ite:
handle NUL
L
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Ver
d
oolaege
extract out pet_scop_a
d
d_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
p
e
t_array_f
r
ee:
ret
u
rn NULL
pointer of type struct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdo
o
laege
fi
x
use of Di
a
gnosticOp
t
i
o
n
s
f
or
ol
d
er cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
d
o
olaege
up
d
ate for change in clang'
s
P
repro
c
essorOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update
f
o
r
ch
a
nge in clang's HeaderSea
r
chOpt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoola
e
ge
update
f
o
r change in
c
lang's Di
a
gnosti
c
O
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Verdoolae
g
e
sc
o
p_extract_f
r
o
m_C_source: take Target
O
p
t
ions obje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
v
en Verdo
o
l
a
ege
P
e
tSca
n
::ex
t
ract
:
also clea
r
assig
n
m
ents
in whi
l
e
l
oop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Verdoolaege
clear_assig
n
ments
:
also con
s
ider
d
ecrements and incr
e
m
e
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoola
e
ge
c
onfigur
e
.
ac: ch
e
ck for g
e
tEx
p
ansionLoc in
c
lang/Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
configure
.
ac
:
link ag
a
inst same LLVM comp
o
nents as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
S
v
en Ve
r
do
o
laege
PetS
c
an::extract_array: u
s
e de
c
lared
si
z
e o
n
VLA paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
S
ven Verdool
a
ege
PetScan::sc
a
n:
u
se
e
xpansion offset to
d
etermine
i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven
V
erdoolaege
Pe
t
Scan::ex
t
ract_for
:
a
lso c
h
eck
w
h
e
the
r
bound is simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Ve
r
doolaege
use i
s
l_pw_aff_tdiv_q and isl_pw_
a
ff_tdiv_r i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Ver
d
oolaege
up
d
ate isl for isl_pw_aff_tdiv_q
a
nd
i
sl_pw_af
f
_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
Ver
d
o
o
lae
g
e
support mo
d
ulo operation
in
s
tate
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
S
ven Verdoo
l
aege
incl
u
de/pet
.
h:
f
ix typo in documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sve
n
Verd
o
olaeg
e
m
a
ke avoi
d
ing overflows on signed inte
g
e
s
optiona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaege
update is
l
for rename o
f
!isl_set_dim_has_{lower
,
upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
S
v
en Verdoo
l
a
ege
scan
.
cc: add m
i
s
sing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sve
n
Verdoolae
g
e
only req
u
ire libya
m
l for co
m
piling the pet e
x
e
cu
t
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erdoolaege
pet 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erd
o
ola
e
g
e
configure
.
ac: al
l
ow specification of
gmp
lo
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
upd
a
te
i
s
l to version 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rdoolae
g
e
R
EA
D
ME: mention support fo
r
non
-
affine conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
R
E
A
D
M
E
:
update to
latest release
o
f
cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
e
ge
scop_add_break: tr
y
and merge f
i
lters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Verd
o
o
laege
support bre
a
k and conti
n
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdool
a
e
g
e
ad
d
pe
t
_
expr
_
fi
l
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scop
.
c: extract out insert_filter_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
ege
sco
p
.
c: ex
t
ra
c
t out
args_
i
nsert_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ver
d
oolaege
a
d
d pet_sc
o
p_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
PetScan::extract(IfStmt *
)
: extract
out extr
a
ct_non_affine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
handle generic conditions is for lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
pet_
s
c
op_em
b
ed: take mapp
i
ng from virtual to real iterator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaeg
e
PetS
c
an::extr
a
ct_for: rename v
a
riab
l
e "dim
"
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
dool
a
ege
scop
.
c
:
e
xtract
ou
t
inter
n
aliz
e
_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc
:
move has_nested
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
eg
e
sc
a
n
.
cc:
m
o
v
e
is_nested_parameter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
hand
l
e non-affine condi
t
ions in wh
i
le
loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
scan
.
cc:
e
xtra
c
t
out Pe
t
Scan::extract_affine_wh
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
d
o
ola
e
g
e
sc
a
n
.
cc: move scop_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaeg
e
s
c
an
.
c
c
:
move create_test_access up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_scop_
f
i
lt
e
r: allow filters with non-zero-
d
imensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
sc
a
n
.
cc: extract out identity_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
ege
scan
.
cc:
extract out infinit
e
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
add pet_scop_re
s
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scop
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoolae
g
e
PetScan:
:
extract
_
fo
r
:
remove incorrect optimization
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
lae
g
e
suppor
t
decrem
e
nt an
d
increment operatio
n
s
in stat
e
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
laege
scan
.
cc: fix
whitespa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdoolaege
scan
.
cc:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetScan
:
:ne
s
te
d
_access: check that
nested
a
c
c
e
s
s doesn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
d
oo
l
aege
PetSc
a
n::extract_non_affine_condi
t
ion: reso
l
ve nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
e
rdoolae
g
e
Pe
t
Scan::e
x
tract_access_expr: remove duplic
a
t
i
on by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoolaeg
e
cache
assig
n
ed val
u
es in then a
n
d
els
e
b
r
anch
o
f
if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verd
o
o
l
a
e
ge
p
et_scop_colle
c
t_arrays: also
coll
e
c
t
arra
y
s
that only
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
scan
.
c
c:
add_parameter
_
boun
d
s: double check tha
t
th
e
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
erdoolae
g
e
pet_sco
p
_r
e
st
r
ict: project out unnamed parameters from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
olaege
PetScan:
:
r
e
sol
v
e_nested:
d
etect a
n
d rem
o
ve d
u
plicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Ver
d
oolaege
PetScan::extra
c
t_nested: insert outer filters in
earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verd
o
olaege
m
a
r
k
__pet_test_* variabl
e
s as uniquel
y
_defined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
pet_array: add uniquely_defin
e
d a
t
tribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
S
ven
Verdool
a
ege
sup
p
or
t
any affin
e
con
d
i
tion in a while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven V
e
rdoo
l
a
ege
add P
e
tScan::tr
y
_extract_affi
n
e_cond
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n Verdoolaege
make detection of
conditi
o
nal assignment optional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
p
ass pet_opt
i
ons to
P
e
t
S
can instead
of only the
a
utodet
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n
V
e
rdoo
l
aege
avoid nega
t
ive array indices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
ven
Verdoolaeg
e
pet: a
l
low specifica
t
ion of isl opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
S
v
en V
e
rd
o
olaege
sc
o
p
.
c: ex
p
r
_extract_context: don't assume
a
cce
s
s is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
S
v
e
n Verdool
a
ege
add
pet
_
expr_
i
s_a
f
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
Verdool
a
e
ge
adjust
t
o
chang
e
i
n
nu
m
b
er of ar
g
umen
t
s
o
f
D
eclRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
l
i
n
k in new -lclangEdit when av
a
i
l
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdo
o
laeg
e
update isl for su
p
por
t
for rece
n
t clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdo
o
l
a
ege
avoid overflows on s
i
gned
i
n
tege
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Ver
d
oo
l
a
e
g
e
PetSc
a
n::extract_for: relax requir
e
m
e
nt on increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::
e
xtract
_
for: update c
o
ntext with
re
s
pect to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Verdoolaeg
e
r
e
present l
o
op increm
e
nt as isl_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
allow sli
g
htly
m
ore
g
e
neric compou
n
d increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdo
o
lae
g
e
Pe
t
Scan:
:
e
x
tra
c
t(IfStmt *): upd
a
te context with
r
e
sp
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Ve
r
doolaege
try and extr
a
c
t conditi
o
n of ternary operator as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdool
a
ege
pet_scop_from_pet_s
t
mt:
extract
c
ontext constr
a
i
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Verdoolaege
pet_scop_restrict:
update context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
