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: Remove Is_Descendant_Of_Address flag from Standard_Address
2023-05-26
Eric Botcazou
ada:
Remove Is_De
s
cendant_
O
f_Address
flag from Standar
d
_
A
ddres
s
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazo
u
ada: Fix m
i
ssi
n
g finalizati
o
n
i
n librar
y
-
l
e
v
el i
n
s
t
ance
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric Botcazou
ada: Minor
t
w
eak
i
n
condition
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada
:
Fix another couple o
f
u
n
ch
e
cked conversions to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botcazo
u
ada: Add mis
s
ing guards in Selected_Range
_
Checks
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Enhance Is_Nul
l
_Range and Not_Null
_
R
ange pre
d
i
cates
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c
B
otcazou
ad
a
:
Fix internal er
r
or on de
c
lare-expressi
o
n
in post
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zo
u
ada: Minor a
d
justments t
o
Sta
n
dard_Address
commit
|
commitdiff
|
tree
2023-05-25
Eric
B
otcazou
ada: Add
s
ize clause to Sy
s
tem
.
Add
r
ess
commit
|
commitdiff
|
tree
2023-05-25
E
r
i
c Botcazo
u
ada: De
c
ouple size
o
f addresses and poi
n
ters
from size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Eric Bo
t
cazou
ada: Smal
l
t
weak to implementation
of by-copy sem
a
ntics
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zou
ada: Mi
n
or fixes
in description of scop
e
depth
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
Mino
r
tweak
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazo
u
Fix handling of non-integral
b
it-fi
e
lds
in
n
ati
v
e_en
c
o
d
e_ini
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botcazou
ada: R
e
w
o
rk fix for int
e
rnal error on
quantifi
e
d ex
p
res
s
ion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix latent issue in suppor
t
for
protected entrie
s
commit
|
commitdiff
|
tree
2023-05-23
Eric Botca
z
ou
ada: Fix address ma
n
ipul
a
tion
i
ssue in the
ta
s
king
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazo
u
a
da: Fix m
i
n
or address
arithmetic issues in System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
a
d
a
: Fix o
v
ersight in latest change
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
t
cazou
a
da: Fix
r
e
s
o
l
ution of mod ope
r
ator of System
.
Stor
a
ge_Elements
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
ca
z
ou
a
da: Fi
x
addre
s
s arit
h
m
e
tic
issue
s
in th
e
expanded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix address a
r
ithmetic issues in the runtime
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otca
z
ou
ada: Remove the bo
d
y of
System
.
Storage_Elements
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix i
n
terna
l
e
r
r
or on quantified expression
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otcazou
ada:
F
ix bogus error on predicated limited record d
e
clared
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Small
c
ode cleanup
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
otcazou
ada: Small cleanup in support
f
or prote
c
ted sub
p
rog
r
am
s
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botcazou
a
d
a: Use idiomatic cons
t
r
u
c
t
in Expand_N_
P
ackage_Body
commit
|
commitdiff
|
tree
2023-05-22
Eric Bo
t
cazou
ada:
F
i
x
missi
n
g fin
a
lization in separ
a
t
e package b
o
dy
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botcazou
ada:
Fix
mi
s
s
ing
f
i
n
a
lizatio
n
i
n libra
r
y
-
unit insta
n
ce
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
otcazou
ada: Fix spurious freezin
g
error on nonabstra
c
t null
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
ric Botcazou
ada: Fix cr
a
s
h on A
d
a
.
Containers with No_Dispatch
i
ng_Calls
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Bo
t
cazou
a
da
:
Implement conversi
o
ns from Big_
I
n
t
ege
r
to large
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
otc
a
zou
ada: Fix
error and crash o
n
imported
f
unct
i
o
n
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazo
u
ad
a
: Fix
d
o
u
b
le finalization in co
n
d
itional exit statement
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
o
tcazou
ada:
Fix handling of cons
t
ra
i
n
e
d array declarations
.
.
.
commit
|
commitdiff
|
tree
2023-05-19
Eric Botcazou
Fix interna
l
error on
small arra
y
with negative lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: Us
e
acc
u
m
u
lator type in expansi
o
n of 'Reduce attribut
e
commit
|
commitdiff
|
tree
2023-05-16
Eric Bo
t
caz
o
u
ad
a
: Fix missing warning on aggregate with iterated
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: F
i
x crash on
itera
t
ed componen
t
in expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
E
ric Botcazou
ada: Fix
internal error on 'Imag
e
ap
p
lied to array
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazo
u
ada
:
Fix internal
e
rror o
n
chain of
p
redic
a
ted recor
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric
B
ot
c
a
z
ou
ada: Imp
l
ement inheritance of user-defined literal
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: Foll
o
w-up impr
o
vement to impl
e
mentati
o
n of sto
r
age
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada:
A
djust semantics and imp
l
ementation of storage
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botc
a
zou
ada:
D
ocument examples of
N
o_Dependence restric
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botcazou
ada: Intr
o
duc
e
Cann
o
t_Be_Superflat f
l
ag on N_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
E
ric
Botcazou
ada: Fix internal e
r
ror on instance in package bod
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Eric Botcazou
ada: Fix invalid JSON
f
or exte
n
ded va
r
i
ant record with
.
.
.
commit
|
commitdiff
|
tree
2023-04-25
Eric B
o
tcazou
Avoid creating usele
s
s debug temporaries
commit
|
commitdiff
|
tree
2023-04-25
Eric
Botcazou
Remove obsolete con
f
i
g
ure
c
ode in gnattoo
l
s
commit
|
commitdiff
|
tree
2023-04-15
E
r
ic Botcazou
Fix fallout of prev
i
ous
c
ha
n
ge on x
8
6/Linu
x
commit
|
commitdiff
|
tree
2023-04-14
E
ric Bo
t
cazou
Fix bu
i
ld failure of Ad
a
run
t
ime
for Aarch64
t
arg
e
ts
commit
|
commitdiff
|
tree
2023-03-28
Eric Botcaz
o
u
Fix line ending
commit
|
commitdiff
|
tree
2023-03-28
Eric Botc
a
zou
Fix PR
t
a
rg
e
t
/109140
commit
|
commitdiff
|
tree
2023-03-28
Eric Botcazou
M
o
dula-2: fi
x
d
ocu
m
entation layo
u
t again
commit
|
commitdiff
|
tree
2023-03-23
Eric Botcazou
Skip g
n
at
.
dg/div_
z
ero
.
a
d
b on Aarch64
commit
|
commitdiff
|
tree
2023-03-14
Eric Bo
t
caz
o
u
Add testcase for ifcvt fi
x
commit
|
commitdiff
|
tree
2023-03-14
Eric Botc
a
zou
Revert lat
e
st change to emit_group_sto
r
e
commit
|
commitdiff
|
tree
2023-03-06
Eric Botcazou
Revert "Respect GNATMAKE Makefile va
r
iable"
comm
i
t
commit
|
commitdiff
|
tree
2023-02-26
Eric Botcazou
Adjust exampl
e
of compile
r
options for ACATS
commit
|
commitdiff
|
tree
2023-02-15
Eric B
o
tcazou
Fix PR targe
t
/90458
commit
|
commitdiff
|
tree
2023-02-14
Eric Bot
c
a
z
ou
Fix
s
mall reg
r
ession
in Ada
commit
|
commitdiff
|
tree
2023-01-16
E
r
ic
Botcazou
ada: Fix ty
p
o in comment
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
a
d
a: Fix l
a
te
n
t bug
exposed b
y
recent work
o
n
e
xtended
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada: Fix pessimizatio
n
of som
e
CW objects
i
nitial
i
z
ed
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada: Use static
refere
n
ces to t
a
g in more
c
ases
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Bo
t
caz
o
u
a
d
a:
F
ix
b
e
ni
g
n pasto in new pre
d
ic
a
te
commit
|
commitdiff
|
tree
2023-01-16
Eri
c
Botcazou
ada: Fix
prema
t
ure finali
z
ation of temporaries fo
r
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eri
c
Botcazou
ada: Further op
t
imize interfac
e
obje
c
ts initialize
d
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Bot
c
azou
a
d
a: Put back co
n
ver
s
io
n
to interface
in mo
r
e
ca
s
e
s
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
a
d
a: Lif
t
restr
i
ct
i
on on optimizati
o
n of a
l
iase
d
o
b
jects
commit
|
commitdiff
|
tree
2023-01-16
E
r
ic Botcazou
ada: O
p
t
imize inter
f
a
c
e
o
bjects i
n
itialized wit
h
fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2023-01-13
Eric
Botcazou
Small fix for -f
d
ump-ada-
s
pec
commit
|
commitdiff
|
tree
2023-01-13
Eric
B
otcazou
Fi
x
PR rtl-optimizat
i
on/10827
4
commit
|
commitdiff
|
tree
2023-01-11
Eric Botca
z
o
u
Fix probl
e
m
ati
c
interaction
between b
i
tfie
l
ds
,
un
i
ons
.
.
.
commit
|
commitdiff
|
tree
2023-01-09
Eric Botcazou
Mod
u
la-
2
: fix documenta
t
ion
l
a
yout
commit
|
commitdiff
|
tree
2023-01-09
Eric Botcazou
a
da: Rem
o
ve a c
o
upl
e
of u
n
reacha
b
l
e statements
commit
|
commitdiff
|
tree
2023-01-09
Eric Botcazou
a
d
a: S
i
m
plify fi
n
aliz
a
tion o
f
t
e
mpora
r
i
es
crea
t
ed f
o
r
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric B
o
tcazou
ada: Mi
n
or tweak to test added
i
n previous chan
g
e
commit
|
commitdiff
|
tree
2023-01-05
Eric Bot
c
azou
ada: Cle
a
n
up
i
n
terfac
e
h
a
ndling in Expand_N_Object_
D
e
c
l
aration
commit
|
commitdiff
|
tree
2023-01-05
Eric
Botcazou
ada
:
Do no
t
us
e
de
c
imal ap
p
roxima
t
ion in -gnatRj o
u
tput
commit
|
commitdiff
|
tree
2023-01-05
Eri
c
Bot
c
azo
u
a
d
a
: Optimize class
-
wide objects in
i
t
iali
z
ed with function
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric Botc
a
zou
a
d
a
:
F
ix
pasto
i
n
comment
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcaz
o
u
ada: Fur
t
her
a
dju
s
t freezing for expansion o
f
co
n
trac
t
s
commit
|
commitdiff
|
tree
2023-01-05
E
ric
Botcazou
ada
:
Simplify new expansion of
c
ontrac
t
s
commit
|
commitdiff
|
tree
2023-01-05
Eric
Botcazou
ada
:
Re
v
ert t
o
constrained al
l
ocation for string concatenati
o
n
commit
|
commitdiff
|
tree
2023-01-05
Eric Botc
a
zou
ad
a
: Fix finalization
i
ssues in ex
t
e
n
ded return statements
commit
|
commitdiff
|
tree
2023-01-03
Eric Botca
z
ou
ada: Fix premature finali
z
a
t
ion of r
e
turn tem
p
orary
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazo
u
ada:
Make Apply_Disc
r
i
min
a
nt_Ch
e
ck
.
De
n
otes_Exp
l
icit_
D
erefer
e
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcaz
o
u
a
da:
F
i
x cal
l
i
n
g convention of foreign funct
i
o
ns return
i
ng
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botca
z
ou
ada: Ano
t
her small
adjustment
t
o special
r
esolu
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcaz
o
u
ada:
M
ake Sem_
U
til
.
Is_A
l
i
ased
_
View predicate more robust
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazo
u
ada: Fix det
e
ctio
n
of
f
unc
t
ion calls in object
decl
a
rations
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazo
u
ada:
Fix support of Default
_
Comp
o
nen
t
_Value
a
spect
.
.
.
commit
|
commitdiff
|
tree
2022-12-23
Eric Botcazo
u
Rei
m
plement GNU thread
s
library on na
t
i
ve Windows
2022-10-31
Eric Botcazou
<ebotcazou@adacore.com>
Signed-off-by:
Eric Botcazou
<ebotcazou@adacore.com>
commit
|
commitdiff
|
tree
2022-12-06
E
r
ic Botcazou
ada:
S
uppress warn
i
ng for specific
const
a
nt valid condition
commit
|
commitdiff
|
tree
2022-12-06
Eric B
o
tcazou
ada:
F
ix spurious e
r
ror i
n
c
h
eck
i
ng of
SPARK elaborati
o
n
commit
|
commitdiff
|
tree
2022-12-06
E
r
ic Botcazou
a
da:
E
lide the copy in exten
d
ed
r
etur
n
s f
o
r
nonlimited
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
E
r
ic B
o
t
c
a
zou
a
d
a: Small
adjustment t
o
spec
i
al re
s
oluti
o
n of m
e
mbership
.
.
.
commit
|
commitdiff
|
tree
next