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: Add missing ss_mark/ss_release in quantified expressions
2023-06-13
Bob Duff
ada: Add missing s
s
_ma
r
k/ss_rel
e
a
s
e in qua
n
tified express
i
on
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Recognize
i
t
e
rated_component
_
asso
c
iation as repe
a
tedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
t
r Trojanek
a
d
a: Rec
o
gnize it
e
r
a
ted_com
p
o
nent_association as
p
otentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Tr
o
janek
ada: Disable i
n
lin
i
ng in potentially unevaluated
c
o
ntexts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada: I
m
plement new
a
spe
c
t A
l
w
a
ys_Terminates for
SPARK
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojanek
ada: Skip ela
b
oration chec
k
s for abstract subprog
r
a
ms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
Botcazou
ada:
F
ix another case
of missing Has
_
Private_View flag
commit
|
commitdiff
|
tree
2023-06-13
Marc Poulhiès
ad
a
:
F
ix iterated component init
i
alization
commit
|
commitdiff
|
tree
2023-06-13
Eric Bo
t
cazou
a
da: F
i
x e
x
ception rai
s
ed on invalid cont
r
act
in generic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
i
c Botc
a
zou
ada
:
Fix
s
purious error on call to
function retur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric B
o
tca
z
ou
ada:
F
ix
i
nterna
l
error on imported funct
i
on w
i
t
h po
s
t
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
azou
a
d
a:
Streamline ex
p
ansi
o
n
of contr
o
lled actions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric B
o
tcazou
ada:
R
e
m
ove obsolete code
i
n
Analyze_Assignment
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Troj
a
nek
ada: Remove unreferenced routine Is_Inh
e
rit
e
d_Operation_For_
T
y
pe
commit
|
commitdiff
|
tree
2023-06-13
Er
i
c Botcazou
ada
:
Small h
o
usekeeping wo
r
k in expa
n
sion of e
x
tensio
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
da:
F
i
x
w
r
o
n
g
ex
p
ansion o
f
l
i
mi
t
e
d extension
a
g
gregate
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
a
d
a:
M
ark a
t
t
ribute
Initialized as ghost
c
ode
commit
|
commitdiff
|
tree
2023-06-13
Daniel Kin
g
ada: Add No_El
a
boration_Co
d
e_All pragma t
o
System
.
Storage_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
a
zou
ada: Factor out tag a
s
si
g
nments fr
o
m type in exp
a
nder
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada: Us
e
ghost predi
c
ate i
n
standar
d
library
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcaz
o
u
ada: Fix
e
x
pansion o
f
a
ggregates with co
n
tro
l
led c
o
mponents
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazo
u
ad
a
: Fac
t
or common pr
o
c
essing in
e
xpansion
of agg
r
egates
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Remove wrong co
m
ment
a
bout expansion of
exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Cleanup
f
inding of locally handled exception ha
n
d
lers
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
t
r
T
r
o
janek
ada:
C
lea
n
up exp
a
n
sion
o
f loc
a
ll
y
handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piot
r
Troja
n
ek
ada: Tune style in detection of writable funct
i
o
n actu
a
ls
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojanek
ada:
Simplify append
i
ng to a newly created list
commit
|
commitdiff
|
tree
2023-06-13
Yannick
M
oy
ada: Suppor
t
new GNAT-s
p
ecific
a
s
pect G
h
ost
_
Pr
e
dic
a
te
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Troja
n
e
k
ada: Remove ex
p
l
i
cit decoration of wrapper
c
r
eated
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botca
z
ou
a
d
a: Fix
w
rong
a
ccess
for
q
u
alified ag
g
regat
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada: Fix internal error on qua
l
ified
a
ggr
e
ga
t
e wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
d
a:
A
dd missi
n
g guards f
o
r degenerate storage mo
d
els
commit
|
commitdiff
|
tree
2023-05-30
Ma
r
c
P
oulhiès
a
da: Fix incorre
c
t copies being used with
'
Addr
e
ss
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fix bogus
Sto
r
age_Erro
r
on dynami
c
array with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c
Bot
c
azou
ada: Fix
minor issu
e
with Mod operator
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
a
da
:
Minor g
e
neric tw
e
aks
l
eft and and right
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcaz
o
u
ada: M
a
k
e int
e
rnal_error_f
u
nction more robust
commit
|
commitdiff
|
tree
2023-05-30
Eric Bot
c
azou
ada: Adjust again th
e
implementatio
n
of storage models
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada: Simp
l
ify the
implem
e
ntation of
s
torage models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada
:
Make use of Cannot_B
e
_Super
f
lat fla
g
on
N_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Disable PIE m
o
de
du
r
ing the build of t
h
e Ada front-end
commit
|
commitdiff
|
tree
2023-05-30
M
arc Poulhiès
ada
:
Fi
x
s
t
o
rage model handl
i
ng for der
e
ference as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
a
d
a
:
S
m
all
cleanups
a
n
d fi
x
es
i
n
e
x
pa
n
si
o
n of aggregates
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada: Fix wron
g
e
xp
a
nsion of
array
a
gg
r
egate wi
t
h nonco
n
tiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
da: Fix internal erro
r
on array constant in
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric B
o
tcazou
a
da: Fix
fa
l
lout
o
f
r
ec
e
nt fix for missing fin
a
liz
a
tion
commit
|
commitdiff
|
tree
2023-05-30
Jo
e
l
Brobecker
ada: Add System
.
Trace
b
ac
k
.
S
y
mbo
l
ic
.
M
odule_N
a
me support
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr Trojanek
a
d
a: On
l
y bui
l
d ac
c
e
ss-to-subprogram wra
p
pers w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ronan Desp
l
anques
a
da: Fix
m
ino
r
issue
s
in user
'
s
guide
commit
|
commitdiff
|
tree
2023-05-30
Johanne
s
K
liemann
ada: E
n
sure Default_Stack_Size is greater th
a
n Minim
u
m
_Stack
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Bot
c
azou
a
da:
Fix regre
s
sion
of secondary s
t
ac
k
man
a
gement in
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Bot
c
azou
ada: Use gener
a
li
z
ed loop it
e
r
a
tion in Put_
I
mage routines
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
B
o
tcazou
ada: Fix
v
isibili
t
y
e
r
ror wi
t
h
D
IC
or Type_Invariant
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
C
edric La
n
det
a
da: Fix co
d
in
g
style in ini
t
.
c
commit
|
commitdiff
|
tree
2023-05-29
Cedric Landet
ada: Define sigset for systems that
d
o
e
s not s
u
port
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
C
ed
r
ic Landet
ada: S
e
t g-
s
pogwa as
a
G
NATR
T
L_SOCKE
T
S_OBJS
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcazou
ada: Fix spuri
o
us err
o
r
on
imported generic
f
unction
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Er
i
c Botcazou
ada: Fix memory leak in express
i
on f
u
nct
i
o
n returning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Patric
k
Bern
a
rdi
ada: Us
e
Cod
e
_Address
attribute to
d
e
termine subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Bot
c
a
z
ou
ada:
C
all idioma
t
ic routine in
Exp
a
nd_Sim
p
le_
F
unctio
n
_
R
eturn
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ad
a
: Fi
x
wrong finalization for loop on ind
e
xed con
t
a
i
ner
commit
|
commitdiff
|
tree
2023-05-29
Eric Botca
z
o
u
a
da: Fix
b
ogus error on
c
onditional expression with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojan
e
k
ada:
Fix crash
on semi-r
e
cur
s
ive call in access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojanek
ada:
At
t
ach pre/post on access-to-subprogram to internal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
r
o
janek
a
d
a: Remove
re
d
undan
t
p
ro
t
ectio
n
a
g
ainst empty lists
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojanek
ada:
Remove
e
xtra whitesp
a
ce fro
m
FOR
lo
o
ps
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr
T
rojanek
ada: Cleanup
d
etecti
o
n of type supp
o
rt subp
r
ogram entit
i
es
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix wrong
f
inalizatio
n
for cas
e
expression in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botca
z
ou
ada: Fi
x
i
nterna
l
erro
r
with pr
a
g
m
a
C
ompile_T
i
me_{Warnin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
E
r
i
c
B
o
t
cazou
ada: Fix sma
l
l
fallout
o
f previou
s
cha
n
ge
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fi
x
r
e
maining
failures in Roman Numbers test
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
t
c
azou
a
d
a: Fix memory l
e
ak in mu
l
t
i-dimensional array aggre
g
ate
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazo
u
ada:
F
ix wrong result for membership
t
est of null
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Bo
t
cazou
ada: Fix small fall
o
ut of previous change
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix w
r
ong fi
n
a
l
ization for call
t
o BIP
f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr
Trojanek
ada: Accept
parameters o
f
enclosing subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Marc Po
u
lhiès
ada: Fix cras
h
on
vector initiali
z
a
tion
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Al
l
ow attributes li
k
e F
i
rst
a
nd Last to
b
e
read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Repair suppo
r
t for
user-defined literals in arithmetic
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Ste
v
e
Baird
ada: D
e
f
a
ult_Com
p
onent_Value trumps Initiali
z
e/Normalize_S
c
ala
r
s
commit
|
commitdiff
|
tree
2023-05-29
Javier
M
i
r
anda
ad
a
:
Crash o
n
a
g
gregate for tag
g
ed record with discriminants
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Reuse r
o
utine for getting
from bod
y
e
n
tity t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tro
j
anek
ada: Fix retr
i
e
va
l
of
s
pec entity fro
m
entry body entity
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Tr
o
j
anek
ad
a
:
Res
t
o
re
p
ar
e
nt link for both list
s
and no
d
es
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Arnaud Charlet
ada: Refining h
a
ndling
of inlini
n
g for C
C
G
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
da
:
Fix spurious
er
r
or on nest
e
d instantiations wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Tune message
f
o
r
missing 'Result
i
n Contract_Cas
e
s
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr
Trojanek
ada: Simplify r
e
m
o
val of
formals from the scope
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr
Tr
o
jan
e
k
ada: Tune
m
essage for pre/post on
a
ccess-t
o
-sub
p
rogr
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
J
a
v
i
er M
i
randa
ada: Spurious e
r
ror on string
i
nt
e
r
pola
t
i
on
commit
|
commitdiff
|
tree
2023-05-29
Johannes
Kliemann
ada: Add QNX specific v
e
rsion of Syste
m
.
Parameters
commit
|
commitdiff
|
tree
2023-05-29
Yannick
Moy
a
d
a: R
e
store SPARK_Mode On for numerical
f
unc
t
ions
commit
|
commitdiff
|
tree
2023-05-29
Mar
c
Poulh
i
ès
ada: Fix res
t
oration of parent link
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
rojanek
ada: Analyze pre/post on acc
e
ss-t
o
-subp
r
ogr
a
m wi
t
ho
u
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada
:
Correcti
o
ns to premature-r
e
fere
n
c
es
rules
commit
|
commitdiff
|
tree
2023-05-26
Bob
D
u
f
f
ada: Fix t
y
pos "st
a
tme
n
t" and "con
d
tion"
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
d
a: Use tru
n
cation
f
or dynamic conversions from floatin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Jav
i
er Miranda
ada: C
r
ash on function
returning allocated
o
bject containi
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Y
a
nnick Moy
ada: D
e
fault
i
n
itialize entity to a
v
oid
C
odePeer mes
s
age
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
a
d
a
: Mino
r
doc clarification
commit
|
commitdiff
|
tree
next