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: Documentation for mixed declarations and statements
2023-07-10
B
o
b Duff
ada: Documen
t
at
i
on
f
or mixed declarations a
n
d
statements
commit
|
commitdiff
|
tree
2023-07-10
Alexandre Ol
i
va
ada: h
a
rdcfr: opt
i
onally
disable
in
leaf functions
commit
|
commitdiff
|
tree
2023-07-10
A
lexandre Oliva
ada: hardcfr: ma
r
k throw-
e
xpected fu
n
ctions
commit
|
commitdiff
|
tree
2023-07-10
Y
annick Moy
ada:
A
dapt
pro
o
f of System
.
Arith_Double
t
o
remo
v
e CVC4
commit
|
commitdiff
|
tree
2023-07-10
Alexandre
Oliva
ada: A
d
d leafy mode for zero-call-used-re
g
s
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ada:
A
d
d specification source files o
f
runtim
e
uni
t
s
commit
|
commitdiff
|
tree
2023-07-06
Claire Dros
s
ada: Refactor the
proof
o
f
the Valu
e
and
Imag
e
runtime
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
V
i
ljar Indus
ada: Evaluate static expressions in R
a
nge
at
t
r
i
b
u
t
es
commit
|
commitdiff
|
tree
2023-07-06
Viljar Indus
ad
a
: Refer to non-A
d
a b
i
ndi
n
g limitations
in
u
s
e
r
gui
d
e
commit
|
commitdiff
|
tree
2023-07-06
Viljar In
d
us
ada: Re
u
se co
d
e in
Is_Fully
_
Ini
t
ialized
_
Ty
p
e
commit
|
commitdiff
|
tree
2023-07-06
Vi
l
jar Indu
s
ada: Avoi
d
crash in F
i
nd_Op
t
ional_Pr
i
m
_
Op
commit
|
commitdiff
|
tree
2023-07-06
Yannick Moy
ada: Impr
o
ve error message o
n
v
iolat
i
on of SP
A
R
K
_Mode
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Steve Baird
a
d
a: Finalization not perfo
r
med fo
r
component o
f
protected
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eri
c
Botcazou
ada: Do no
t
unnec
e
ssarily use component-wise loop
for
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric Botcazou
ada: Small adjustme
n
ts to ne
w
procedure Expand
_
Unchecked_Uni
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Viljar
Indus
ad
a
:
A
d
d No_U
s
e_Of
_
Attribute & No_Use_Of_Pragma to
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Y
annic
k
Moy
ada: Fix l
i
st of inher
i
ted
s
u
bprog
r
ams in query for
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botc
a
z
o
u
ada:
Fix renaming of prede
f
i
n
ed equality oper
a
tor for
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botcazou
a
da: Fix discrepancy in expans
i
o
n of untagged record
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
E
ric Botca
z
ou
ada: Fix small inaccuracy in imp
l
ementation of B
.
3
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Fix bui
l
d of GNAT tools
commit
|
commitdiff
|
tree
2023-06-27
Eric
Botcazou
ada: Fix bad inter
a
ction
betwe
e
n inlining and thunk
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Make t
h
e
i
dentification of case exp
r
es
s
ion
s
m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Bo
t
c
a
zou
a
d
a:
F
ix double f
i
n
alization of case expression in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcaz
o
u
ad
a
:
Fix incorrect handl
i
ng of
i
terator specificati
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Claire D
r
oss
ada: Correct the contr
a
ct of
Ada
.
Text_I
O
.
Get_Line
commit
|
commitdiff
|
tree
2023-06-27
Eric
Botcazou
ada: Fix too late finalization
a
nd se
c
ond
a
ry stack
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botc
a
zou
a
da:
P
lug small loophole in the handling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
ot
c
az
o
u
a
d
a: Plug another
loophole in t
h
e handling of
private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Vilj
a
r Indus
a
da: Updat
e
p
rinting container ag
g
regat
e
s fo
r
debugging
commit
|
commitdiff
|
tree
2023-06-27
Viljar In
d
u
s
ada: Fix expanding container
aggregates
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
o
t
c
azou
ada: Minor tweaks
commit
|
commitdiff
|
tree
2023-06-20
Y
annick Moy
ada: Fix
c
ras
h
on inlinin
g
i
n GNATprove
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otcazo
u
ada: Further fix
e
s to
handli
n
g of private
v
iews i
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
R
onan De
s
planques
ada: Rem
o
ve outdated comment
commit
|
commitdiff
|
tree
2023-06-20
E
r
ic Bot
c
azo
u
ada: Fix c
o
u
ple of iss
u
es in
documentation of o
v
erflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ya
n
n
ick Moy
ada: Do
not issue warning on p
o
stco
n
dition
in some
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
ada:
A
d
d the a
b
ility to add error
co
d
e
s to er
r
or me
s
sages
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
ada
:
Fix for attri
b
ut
e
R
ange in Exception
a
l_Cases
commit
|
commitdiff
|
tree
2023-06-20
Jose
Ru
i
z
a
da
:
Document pa
r
tition
-
wide Ada sign
a
l handlers
commit
|
commitdiff
|
tree
2023-06-20
Piotr Troja
n
e
k
ada: Fix for quantified expressions in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
B
o
b Duff
ada: Fix b
u
g i
n
pre
d
icate c
h
ecks
with address
clauses
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
a
d
a
: Fix f
a
llout o
f
fix to
handli
n
g
o
f priv
a
t
e
v
i
ews
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Danie
l
King
ada:
A
d
d CHERI int
r
insic bi
n
ding
s
and
helper fun
c
ti
o
ns
.
commit
|
commitdiff
|
tree
2023-06-20
Eric
Botcazou
a
d
a: Small
fixes to ha
n
dling of private
v
i
ews
in
i
nstance
s
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otcazou
ada: Fix inte
r
nal err
o
r on aggregate within
c
ontainer
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Lacambre
ada: Fix -fdi
a
gnostics-
f
o
r
mat=json not
p
ri
n
t
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Er
i
c B
o
t
c
azou
ada: Int
r
oduce
-
g
nate
H
s
witch to f
o
rce r
e
verse Bit_Order
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yan
n
ic
k
Moy
ada: Up
d
ate an
n
otations in
ru
n
time f
o
r proof
commit
|
commitdiff
|
tree
2023-06-20
Marc P
o
ul
h
iès
a
d
a: Fix type d
e
rivation
o
f
subty
p
e of derived t
y
pe
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Laca
m
b
re
ada: Pas
s
Error_Node to calls to Error_Msg in
l
ib-
l
oad
.
adb
commit
|
commitdiff
|
tree
2023-06-20
C
laire
D
r
o
ss
ada: Rem
o
v
e re
f
e
r
ences to Might_Not_Ret
u
rn
a
nd Always_Return
commit
|
commitdiff
|
tree
2023-06-20
Javier Mira
n
da
a
d
a:
S
p
u
rious error on
p
ackage
instantiation
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desplanqu
e
s
a
d
a: Fix e
d
ge case i
n
A
d
a
.
Calen
d
a
r
.
Fo
r
matting
.
Time
_
Of
commit
|
commitdiff
|
tree
2023-06-15
Marc Poulhiès
ada: Remove unused files
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
zou
ada: Fix wr
o
ng code
f
or ACATS c
d
1c
0
3i on Morello target
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c Botcazou
ada: Fix wrong fina
l
iza
t
ion for do
u
ble subtype
o
f bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: M
a
ke m
i
nor
i
mprovements
to
u
ser's gu
i
de
commit
|
commitdiff
|
tree
2023-06-15
Ya
n
nick Moy
a
d
a
:
Rejec
t
L
o
o
p_Entry
i
nsid
e
pre
f
ix
o
f
L
oop_Entry
commit
|
commitdiff
|
tree
2023-06-15
E
ri
c
Botcazou
ad
a
: Fix too small
s
econ
d
ary stac
k
a
llocation for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric B
o
tcazou
ada: Fix i
n
ternal er
r
or o
n
loop ite
r
ator filter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
zou
a
da: Revert
latest change to Find_Hook_Co
n
text
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c Bo
t
cazou
ada: Fix too
small seco
n
dary stack all
o
ca
t
ion for re
t
ur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Remov
e
dead code in Expa
n
d_It
e
rator_L
o
o
p_Over_Contai
n
er
commit
|
commitdiff
|
tree
2023-06-15
Ronan Despl
a
n
q
ues
a
da: Add escape hatch to c
o
nfi
g
urable run-time
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix missing finaliz
a
tion
f
or
a
ggregates neste
d
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Joh
a
nnes Klie
m
a
n
n
ada: Adjust
Q
NX A
d
a pr
i
oritie
s
to
match QNX system
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ron
a
n Desplanques
ada:
Adjust comments in targparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piotr Troja
n
ek
ada: Accept
a
s
pect Alwa
y
s_Terminate
s
on packages
commit
|
commitdiff
|
tree
2023-06-15
Pi
o
tr Trojanek
ada: Accept
a
spe
c
t Always_Terminates on entries
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Re
j
ect aspect
A
l
w
a
ys_Termina
t
e
s
on funct
i
ons and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic
Bot
c
azou
ad
a
: Fix missi
n
g error on function call
ret
u
rning incomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ro
n
an Desplanques
ada: Fix
m
inor issu
e
s
in comme
n
ts
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botcazou
a
da: Remov
e
Ttypes
.
Max_Unal
i
gned_Field
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ada
:
Fix in
v
erted imp
l
ementa
t
io
n
of RM 8
.
4
(
10) clause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
iotr Troja
n
e
k
a
d
a:
A
cc
e
pt a
s
p
ect Alway
s
_T
e
rminates wi
t
h
o
ut expression
commit
|
commitdiff
|
tree
2023-06-15
Javier Mirand
a
a
d
a:
Crash o
n
C++ constructor
of priva
t
e type
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Bo
t
cazou
ad
a
: Remove obs
o
lete references
for Build
_
Transient_Object_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ada: Fix
aspect Li
n
ker_Section ignored on subpr
o
g
r
am
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Cle
a
nup an
a
lysis of iterat
e
d component a
s
socia
t
i
o
n
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Fix decorat
i
o
n
o
f i
t
erated component association
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob Duff
a
d
a
:
Add miss
i
ng s
s
_m
a
rk/ss_rel
e
ase in quant
i
fied exp
r
es
s
ions
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: R
e
cognize iterated_component_assoc
i
ation as re
p
eatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
tr T
r
ojanek
ada: Recognize it
e
rat
e
d_compone
n
t_ass
o
ciatio
n
as potentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr
T
rojanek
a
d
a: Disa
b
l
e inlini
n
g in pot
e
ntially un
e
valuated co
n
texts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
I
m
ple
m
ent new aspect Always_Terminat
e
s
for SPARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada:
Skip elaborati
o
n che
c
ks for abstract
s
ubprog
r
ams
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix another case of missing Has_Private_View flag
commit
|
commitdiff
|
tree
2023-06-13
M
a
rc Poulhiès
ada: Fix i
t
erated co
m
ponent initializati
o
n
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix exception raised on invalid cont
r
act in gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcazou
a
da: F
i
x spurious
error on call t
o
f
unction r
e
t
u
r
ning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
d
a: Fix internal
er
r
or on impor
t
e
d
function with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Stream
l
i
n
e
e
xpan
s
ion of cont
r
olled actions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazo
u
ada: Remove
o
bsolete code in Analyze_A
s
s
i
gnmen
t
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojan
e
k
a
da: Remove unrefere
n
ced routine Is_Inhe
r
ited
_
O
p
e
r
ati
o
n
_F
o
r
_
Type
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcaz
o
u
ada:
S
m
all housekeepin
g
work
i
n
expans
i
on
of extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
B
o
t
c
azou
ada
:
Fix wrong expansi
o
n
of limit
e
d extension aggregate
commit
|
commitdiff
|
tree
2023-06-13
Yannick
M
oy
ada: Mark attribut
e
Init
i
alized
a
s ghost cod
e
commit
|
commitdiff
|
tree
2023-06-13
D
a
n
i
e
l King
a
da: A
d
d No_Elab
o
ratio
n
_Code_
A
ll pra
g
ma to System
.
Storage_
E
l
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fact
o
r out t
a
g assi
g
nmen
t
s from t
y
p
e in expander
commit
|
commitdiff
|
tree
next