repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
[Ada] Unnesting: handle 'Address references that are calls
2018-07-16
E
d S
c
honberg
[Ada] Unnesti
n
g: handle 'Address refere
n
ces tha
t
are
.
.
.
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-07-16
E
d Scho
n
berg
[Ada] Un
n
esting:
handle
the s
e
man
t
ic o
f
Storag
e
_Pool
.
.
.
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-07-16
Ed
Schonb
e
rg
[Ada]
Fix
D
efault_Sto
r
age_Pool aspect
handling in g
e
neric
.
.
.
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-07-16
Ed
Schonberg
[Ada] Majo
r
code cleanup
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-07-16
Ed
S
chonb
e
r
g
[Ada
]
Use
c
ommon
r
o
utine Expand_No
n
binary
_
Modular_Op
.
.
.
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Add a missin
g
ch
e
ck
f
o
r
t
ri
v
i
al
p
redi
c
ates on
.
.
.
2018-07-16 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
E
d
Schonberg
[
Ada] Unnesting: re
f
actor h
a
ndling of u
p
level
r
e
f
s
.
.
.
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed
Schonberg
[Ada] Missing
p
redicat
e
function body
f
or derived type
.
.
.
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed
S
cho
n
berg
[
Ada] Unnesting
:
robu
s
ti
f
y analysis of block
s
t
a
t
e
m
e
n
t
s
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
E
d S
c
honb
e
rg
[Ada] Unnest
i
n
g:
f
ix handling of generic as
s
ociations
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonbe
r
g
[Ad
a
] Unnesting: fix ha
n
dling
o
f stubs
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed
S
chonberg
[Ad
a
] C
r
ash with Inline
_
Always on a f
u
nction with an
.
.
.
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed
S
c
h
o
n
b
erg
[Ada] Crash on instantiation of nes
t
ed generic in
private
.
.
.
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Un
n
esting:
imp
r
ove
handl
i
ng
of bo
u
nds for
fo
r
ma
l
.
.
.
2018-06-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonber
g
[
Ada] Static pr
e
dicate check o
n
characte
r
s
o
f a string
.
.
.
2018-05-31 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonberg
[Ad
a
]
Illeg
a
l co
p
y of
limited object
2018-05-31 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-31
E
d
Schonberg
[
Ad
a
] Minor comment improv
e
ment
2018-05-31 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonberg
[Ada] Unnesting: add a pr
e
dicate to help expan
s
ion
.
.
.
2018-05-31 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonb
e
rg
[Ada] Convert opera
n
ds of
genera
t
ed code t
o
Standa
r
d
.
.
.
2018-05-31 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
E
d
S
c
honberg
[
Ada] Unnesting: always
t
r
ansform
local
R
a
i
se statements
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schonberg
[Ada]
Unnesting: handle
t
h
e
seman
t
i
c
of Procedur
e
_To_Call
.
.
.
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schon
b
erg
[Ada]
U
n
nesting: skip
u
n
a
nalyzed Co
m
po
n
ent_Assocation
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed Sc
h
onbe
r
g
[Ada] Extend th
e
applicabil
i
ty of T
h
read_Local_Sto
r
age
.
.
.
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed
S
chonber
g
[Ada] Refine logic
to set
N
eeds_Activation
_
Re
c
ord on
.
.
.
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schonberg
[Ada
]
U
n
nesting:
l
oo
k
for specification of
m
ain unit
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
E
d
S
c
h
onberg
[Ada] Unne
s
ting: prope
r
ly h
a
nd
l
e local subprogram
in
.
.
.
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-30
Ed S
c
honberg
[
Ada]
Unnesting:
p
rop
e
r
ly
h
andle
s
ubprogram i
n
stantiation
s
2018-05-30 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
E
d
Schonber
g
[Ada] Attach r
e
ference
to fi
n
a
liz
e
rs
t
o tr
e
e
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schon
b
erg
[Ada]
U
n
nesting: handle statement
s
equences th
a
t include
.
.
.
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
Ed
S
chonbe
r
g
[Ada] Unne
s
t
ing: do no
t
gener
a
te p
u
sh/pop for
e
xcept
i
ons
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ada] Impr
o
pe
r
beha
v
i
o
r of fl
o
ating-point attributes
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ada]
C
la
r
ify use of Acti
v
ation_Record
_
Component
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
E
d
Schonberg
[Ad
a
] S
e
t
scope of component of subtype
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-29
Ed Sc
h
onb
e
r
g
[Ada] U
n
nesting: exclud
e
selecte
d
com
p
onents whose
.
.
.
2018-05-29 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Unnesting
:
check index
e
xpr
e
ssions for uplevel
.
.
.
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Sc
h
onberg
[Ada]
Unnestin
g
:
allow
u
plev
e
l references to ex
c
e
p
tion
s
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
E
d
Schonberg
[Ada] I
m
pr
o
ve unne
s
ti
n
g
f
or discriminants of record
.
.
.
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[A
d
a] I
n
trod
u
ce a new Needs_Activation_Rec
o
rd entity
.
.
.
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Better ac
c
uracy i
n
floa
t
-to-fixed conversions
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed
S
chonb
e
rg
[Ada] Don't create
e
mpty
activat
i
o
n records
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[
A
da] Copy index e
x
pression tree
s
r
a
ther than reloca
t
i
ng
.
.
.
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-28
Ed Scho
n
berg
[A
d
a] Warning on recursive
cal
l
w
i
thin pos
t
condition
2018-05-28 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] Sp
u
rious e
r
ro
r
on
fixed-po
i
n
t operatio
n
whose
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonber
g
[A
d
a] Fix expansion of quantified e
x
p
res
s
i
ons as
p
a
rt
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed S
c
h
onberg
[Ada] Cras
h
on
classwi
d
e precondi
t
io
n
on subprogram
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] Streng
t
hen chec
k
s for instantiation w
i
th
interface
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonber
g
[A
d
a] Checks on i
n
stantiations with f
o
rmal derived
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonbe
r
g
[Ada] R
e
fine
c
heck
s
f
or up
l
e
v
el reference
s
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] Compiler loop on expre
s
sion function
and
p
redicate
.
.
.
2018-05-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-24
E
d Schon
b
er
g
[Ada] Add a
new Is_Acti
v
a
t
ion_
R
ecord flag
on IN parameters
2018-05-24 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-24
Ed Schonbe
r
g
[A
d
a] Infinite loop in the c
o
mpiler
when warning on
.
.
.
2018-05-24 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-24
Ed
S
chonberg
[Ada] Add war
n
ing on redu
n
dant others
_
cl
a
use in array
.
.
.
2018-05-24 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-23
Ed
Schonberg
[Ada] Spurious er
r
or
on instantiation with type
with
.
.
.
2018-05-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-23
Ed Sc
h
o
nberg
[Ada] I
m
plement
a
tion
of AI12-0131:
l
ega
l
ity of
cl
a
ss
.
.
.
2018-05-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schon
b
erg
[A
d
a]
Missin
g
legality check on
i
terator o
v
er
f
o
r
m
a
l
.
.
.
2018-05-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[Ada] Crash
o
n pre
d
i
c
ate i
n
volving qualified expr
e
ssion
.
.
.
2018-05-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[
Ada]
C
o
m
p
iler fails to reje
c
t
i
ll
e
gal
s
tore
o
f
anonymous_ac
.
.
.
2018-05-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed
Schonberg
[Ada] Better error message on illegal 'Access on
formal
.
.
.
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonber
g
[Ada] Ada2
0
2
0
: Reduction expressio
n
s
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonberg
[Ada
]
C
r
ash with priva
t
e types
a
nd
r
enamed d
i
s
c
rimin
a
nts
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed Sch
o
nbe
r
g
[Ada] Spurio
u
s visibi
l
ity error in a
nested instance
.
.
.
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
E
d
Schonberg
[Ada] Spu
r
ious
visibi
l
i
ty error
o
n aspect in
generi
c
.
.
.
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonberg
[Ada]
Crash on pragma Compile_Time_Warning with decla
r
ed
.
.
.
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schon
b
erg
[Ada] Spu
r
ious size erro
r
on fixed point type with
.
.
.
2018-05-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-21
E
d
S
chonberg
[Ad
a
] Spu
r
ious
w
arning on obje
c
t declaration
with addr
e
ss
.
.
.
2018-05-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-21
Ed
Schonberg
[Ada] Er
r
or mes
s
age
o
n invalid conve
r
s
i
on
i
nv
o
lving
.
.
.
2018-05-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-21
Ed
S
chonberg
[
Ada] Exit statement i
n
l
oops over iterable objec
t
s
2018-05-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-21
Ed Schonberg
[A
d
a]
Spurious
e
rror on
i
n
d
exed call a
s
prefix
of a
.
.
.
2018-05-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-05-21
E
d
Schonber
g
[Ada] Extend l
e
gal
i
ty of Scalar_Storage_Or
d
er to formal
.
.
.
2018-05-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Cr
a
sh on build-in-place
call with address specifica
t
i
o
.
.
.
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Sch
o
nberg
[Ada] Spurious error on referene to subcoponrnt in
.
.
.
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Crash on e
x
press
i
o
n
f
unction as
c
ompletion,
wi
t
h
.
.
.
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonber
g
[A
d
a] W
a
rning on use of predefi
n
ed
o
peration
s
o
n
a
n
.
.
.
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Sch
o
nb
e
rg
[Ada]
Handling of prag
m
a Predicate
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed
S
c
h
o
nberg
[Ada]
Ill
e
g
a
l protecte
d
call
s
in inherited pr
e
/
postcond
i
tio
n
s
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ad
a
] Cra
s
h on i
t
era
t
e
d_com
p
onent_ass
o
ciat
i
on in expression
.
.
.
2018-01-11 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-10-10
Ed Schonberg
class_w
i
d
e4
.
adb: Fix a typ
o
.
commit
|
commitdiff
|
tree
2017-09-06
Ed Schon
b
erg
freeze
.
a
d
b
(F
r
eeze_Entity
)
:
Do not g
e
ne
r
ate a freeze
.
.
.
2017-09-06 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-04-27
Ed Schonberg
se
m
_util
.
adb, [
.
.
.
] (Build_C
l
ass_Wi
d
e
_Clone_Body):
.
.
.
2017-04-27 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-04-25
Ed Schonberg
sem
_
util
.
ad
b
, [
.
.
.
] (From_Nested_Package)
:
New
p
r
edica
t
e
.
.
.
2017-04-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-04-25
Ed Sc
h
onberg
se
m
_ch6
.
adb (A
n
a
lyze_
E
xpressi
o
n_Function): If exp
r
ession
.
.
.
2017-04-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-04-25
Ed Schonberg
sem_ch3
.
adb (
C
heck_En
t
ry_Co
n
tra
c
t): Call
P
re
a
n
a
l
y
ze
_
Spec_Exp
.
.
.
2017-04-25 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-23
Ed
S
chonberg
sem_prag
.
a
d
b
(
D
e
fault_I
n
i
t
ial_Condition):
If the desir
e
d
.
.
.
2017-01-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-23
Ed Schonb
e
rg
s
e
m_ch4
.
adb (Try_Primiti
v
e_Op
e
ration
s
, [
.
.
.
]): ar
g
um
e
nt
.
.
.
2017-01-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-23
Ed Schonb
e
rg
sc
a
ns
.
ads: N
e
w
t
oken At_Sign
.
2017-01-23 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-19
Ed Schonberg
sem
_
dim
.
adb
(
Analyze_
D
imensi
o
n): Analy
z
e o
b
ject dec
l
arat
i
o
n
.
.
.
2017-01-19 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-13
Ed Schonberg
e
x
p_util
.
adb (In
s
ert_Actions): Handle Iterated_C
o
mponent_A
s
s
.
.
.
2017-01-13 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-06
Ed
Schonberg
exp_ch3
.
adb (Build_Init
i
alizat
i
on_Call): Apply predicate
.
.
.
2017-01-06 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-06
Ed
S
c
honbe
r
g
exp_ch
6
.
adb
(
Expand_P
r
ot
e
cted_
S
ubprogram_Cal
l
): Add
.
.
.
2017-01-06 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2017-01-06
Ed S
c
honberg
exp
_
ch5
.
adb (
G
et_Default_
I
terator): For a derived type
.
.
.
2017-01-06 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-10-12
Ed Schonbe
r
g
sem_ch12
.
adb (Check_
F
or
m
al_Package_Instance): Skip
.
.
.
2016-10-12 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-10-12
Ed Schonberg
contrac
t
s
.
adb
(
Analyze_C
o
ntracts):
F
or a type declaration
.
.
.
2016-10-12 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-07-04
Ed
S
chonberg
ghost
.
ad
b
(
P
rune_N
o
de): A freeze no
d
e
f
or an ignored
.
.
.
2016-07-04 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-07-04
E
d
Scho
n
berg
f
r
eeze
.
adb (Check_Inherited_Con
d
it
i
o
n
s): Perform
t
wo
.
.
.
2016-07-04 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-06-22
Ed Schonbe
r
g
sem_prag
.
a
d
s (Buil
d
_Classwide_
E
xp
r
ession): new p
r
o
ced
u
re
.
.
.
2016-06-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-06-22
Ed Sc
h
onberg
e
xp_ch4
.
ad
b
(In_Range_Chec)): New
predic
a
te
,
su
b
si
d
i
a
r
y
.
.
.
2016-06-22 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-06-20
Ed Schonberg
sem_
c
h13
.
adb (Visi
b
l
e
_C
o
mpon
e
nt):
Ne
w
proc
e
dure
.
.
.
2016-06-20 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-05-02
Ed Sc
h
onberg
sem_util
.
a
d
b (Normalize_Act
u
al
s
): Take
i
n
t
o account
.
.
.
2016-05-02 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-04-21
E
d
Schonberg
free
z
e
.
adb: Freeze pro
f
il
e
in ASIS mode
.
2016-04-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
2016-04-21
Ed Schonberg
sem_ch6
.
adb (Ana
l
yze_Subprogram
_
Body_Hel
p
er): If t
h
e
.
.
.
2016-04-21 Ed Schonberg <
schonberg@adacore.com
>
commit
|
commitdiff
|
tree
next