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: Make internal_error_function more robust
2023-05-22
P
i
o
tr Trojanek
ada: Remove red
u
ndant p
r
o
t
e
ction again
s
t empty li
s
t
s
commit
|
commitdiff
|
tree
2023-05-22
Claire Dros
s
ada
:
S
up
p
ort calls
thro
u
gh dereferences in Find_
A
ctual
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
ada
:
R
e
move
u
nreferenc
e
d utility routine Is_Actual_Tagg
e
d_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Joffrey H
u
guet
a
da: Add contracts
to
A
d
a
.
Strings
.
Unbounded li
b
rary
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ada: Fix
c
r
a
s
h
on Ada
.
Cont
a
iners wit
h
No_
D
ispa
t
ching_Calls
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
r
ic Botcazou
a
da: Implem
e
nt c
o
nversions fr
o
m Bi
g
_Integer
to la
r
ge
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ada
:
Fix
e
rror and crash on importe
d
func
t
ion
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada: Reject illegal decl
a
r
ation
s
in e
x
p
r
ess
i
on f
u
nctions
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada
:
Bet
t
er e
r
ror
m
essage if non-Ada2022 cod
e
dec
l
ares
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ada: Fix
d
ouble final
i
z
a
t
ion
i
n conditiona
l
exit stat
e
m
ent
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazou
ada
:
Fix handling of constr
a
ined
a
rray declarations
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Fix travers
a
l for
t
he rightmost
n
ode of
a
p
retty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
janek
a
d
a: Restric
t
ex
p
r
e
ssion pretty-print
e
r to subexp
r
essions
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Tro
j
anek
ad
a
: Don't pretty-print DE
L
wi
t
hin expressio
n
images
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r Troja
n
ek
ada: Update Controlling_
A
r
gument when
copying trees
commit
|
commitdiff
|
tree
2023-05-22
Bob
D
u
ff
ada: u
p
dat
e
Ada_Versi
o
n_Type
in fe
.
h
to
m
atch opt
.
ads
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
a
d
a: p
r
event infinit
e
recursion
i
n Collect_Types_In_Hierarchy
commit
|
commitdiff
|
tree
2023-05-16
Steve Baird
ada
:
Add "gn
a
t
--
h
el
p
-ada" text for ne
w
sw
i
t
c
h
e
s
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ad
a
: Use
a
c
cumula
t
or type
i
n ex
p
a
n
sion of 'R
e
d
u
c
e attribute
commit
|
commitdiff
|
tree
2023-05-16
Eric
B
otcazou
ada: Fix mi
s
si
n
g
w
arning
o
n agg
r
e
gate with iterate
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
E
r
ic Botcazou
ada: Fix crash on ite
r
ated compo
n
ent in ex
p
ressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: F
i
x internal error on 'I
m
age applied to arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada:
F
ix
internal error on
chain of
p
r
edic
a
ted re
c
ord
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Yan
n
i
c
k Moy
ad
a
: U
p
dat
e
p
roof
of runtime units
commit
|
commitdiff
|
tree
2023-05-16
Eric Bot
c
azou
ada:
Implement
i
nherit
a
nce of
u
ser-defined
l
iteral
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Miran
d
a
ada: Spurious
error
a
nalyzing 'old or 'result in
class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Miranda
ada
:
Spurious error on function
returning CPP type
commit
|
commitdiff
|
tree
2023-05-16
P
iotr Trojanek
ada: Appl
y
range checks to p
r
eanalyzed aggre
g
a
t
e
e
x
pressions
commit
|
commitdiff
|
tree
2023-05-16
Ghjuvan
L
a
c
ambre
ada: us
a
g
e
.
adb: docume
n
t -gnatyD switch
commit
|
commitdiff
|
tree
2023-05-16
M
a
rc Poulhi
è
s
ada: F
i
x Ada representa
t
ion of r_debug and
link_map
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Johannes Kliemann
ad
a
: Enable Su
p
port_Atom
i
c_Primi
t
i
v
es
o
n PPC Linux
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botcazou
ada: Follow-up im
p
ro
v
ement to im
p
lementation of storage
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Arnaud Char
l
e
t
ada:
A
d
d tags
o
n style messages
commit
|
commitdiff
|
tree
2023-05-16
Tom Tromey
ada: Fix typo in
"
p
a
ttern"
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botcazou
a
da
:
Adjust semanti
c
s and
implementation
o
f s
t
orage
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Piot
r
Troj
a
nek
ada: Build i
n
variant proced
u
re while fr
e
ezing
i
n GN
A
Tprove
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Ri
c
har
d
K
e
nn
e
r
a
d
a:
G
et name from enti
t
y if that's what's passed to
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric B
o
tc
a
zou
ada
:
Docu
m
ent exampl
e
s of No_Depende
n
ce
r
estriction
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
A
r
naud Charlet
ada: Bad hand
l
ing
of ASCII w
i
th -gnatyn
commit
|
commitdiff
|
tree
2023-05-16
Eric
Bo
t
c
azou
a
da: Introduce
Cannot_
B
e_Superflat flag on N_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Richard Ken
n
er
ada: Change Pr
e
s
e
n
t_Ex
p
r
fi
e
ld type to Uint
commit
|
commitdiff
|
tree
2023-05-16
Yann
i
ck Moy
ada: Simplify dramatic
a
lly ghost
c
o
de for
p
roof of
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Yannick Moy
ada: Add intermediate assertions
for
p
ro
o
f o
f
S
uper_Tail
commit
|
commitdiff
|
tree
2023-05-16
Arnaud Ch
a
rlet
ada: Mi
s
s
i
ng
dependency
w
ith -gnatc
commit
|
commitdiff
|
tree
2023-05-16
Ya
n
nick Moy
ada: Set Loop_Var
i
ant assertion p
o
licy to Ignore i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Marc Poulhiès
ada:
Tr
i
vial refactoring in Instantiate_*_Body
commit
|
commitdiff
|
tree
2023-05-16
Yannick Moy
ada
:
Restore
proof of System
.
A
r
i
th_Double
commit
|
commitdiff
|
tree
2023-05-15
Marc Poulhiès
a
d
a:
F
ix typo in comment
commit
|
commitdiff
|
tree
2023-05-15
Yannick Moy
ada
:
Add annotations
f
or proof of termination
o
f
runtime
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Yannick
Moy
a
d
a: Recover proof of runtime units
commit
|
commitdiff
|
tree
2023-05-15
Yanni
c
k Moy
ada: Recover proo
f
of Interfaces
.
C for
t
e
rmi
n
a
t
ion
commit
|
commitdiff
|
tree
2023-05-15
Bob Du
f
f
a
d
a:
Fi
x
c
ommen
t
related to inlin
i
ng
commit
|
commitdiff
|
tree
2023-05-15
Bo
b
Duff
ada:
Use
I
nline aspect ins
t
ead of pragma in Einfo
.
Util
s
commit
|
commitdiff
|
tree
2023-05-15
Ronan Despla
n
ques
ada:
F
ix
f
ormatt
i
n
g inconsiste
n
cy in User's Guide
commit
|
commitdiff
|
tree
2023-05-15
Bob Duff
ada: Remov
e
duplicat
e
d code in Proc_
N
e
x
t_Compone
n
t_Or_Di
s
cri
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
B
o
b Duff
ada: Impr
o
ve comment
on First_Entit
y
commit
|
commitdiff
|
tree
2023-05-15
B
ob Duff
ada: Cle
a
n up
vanishing enti
t
y fields
commit
|
commitdiff
|
tree
2023-05-15
Eric Botcazou
ada: F
i
x internal error on insta
n
ce in package body
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Pi
o
tr Trojanek
ada: R
e
move
r
edunda
n
t pr
o
tection against
e
m
pt
y
list
s
commit
|
commitdiff
|
tree
2023-05-15
Ronan Desplanques
ada: Simplif
y
lookup of
p
r
e
decessor in hom
o
n
ym chain
commit
|
commitdiff
|
tree
2023-05-15
Piotr T
r
o
j
an
e
k
ada
:
A
ccept aggregate
s
wi
t
h
OT
H
ERS cl
a
use i
n
u
ncheck
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Steve Ba
i
rd
ada: Emit warnings fo
r
(some) i
n
e
ffective s
t
ati
c
predic
a
te
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Ya
n
nick M
o
y
a
d
a
:
Update com
m
ent after SPARK RM c
h
ange
commit
|
commitdiff
|
tree
2023-05-15
Ronan Desp
l
a
n
q
ues
ada: Improve check of
a
tt
r
i
bute ref
e
rence
commit
|
commitdiff
|
tree
2023-05-15
Ronan D
e
spla
n
que
s
ada: Fix minor documentation formatti
n
g issue
commit
|
commitdiff
|
tree
2023-05-15
Bob Duff
ada: Opti
m
i
ze 2
*
*N t
o
avoid explicit 'if'
i
n modular
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Bob
D
uff
ada: Add Check_Error
_
Detected b
e
f
ore
"
rai
s
e Bad_Attribute
"
commit
|
commitdiff
|
tree
2023-05-15
Yann
i
ck Moy
ada: Fix handling o
f
p
r
agm
a
Warnings (Toolna
m
e,
Off
/
On)
commit
|
commitdiff
|
tree
2023-05-15
Eri
c
Botcazou
ada: Fix invali
d
JSON for
ex
t
ended variant r
e
cord with
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Claire Dross
ada: Fix proo
f
of
r
u
ntime unit
System
.
Valu
e
*
commit
|
commitdiff
|
tree
2023-05-15
Y
annick Moy
a
da: Allow pragmas Annota
t
e between lo
o
p pragmas
commit
|
commitdiff
|
tree
2023-05-15
Javier Mira
n
da
ada: INOX: pr
o
t
otype RFC on String Interpo
l
a
t
i
o
n
commit
|
commitdiff
|
tree
2023-05-15
Joel Brobecker
a
da: GNAT UGN: Add se
c
ti
o
n document
i
ng
P
IE being enable
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Javier Miranda
ada: Skip d
y
namic i
n
terface conve
r
s
ion under native
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piot
r
Trojanek
ada: Reject attr
i
but
e
Initialize on un
c
hecked unio
n
s
commit
|
commitdiff
|
tree
2023-05-15
Ronan D
e
splanq
u
es
ada:
F
ix Unchecked_Conversion in edge case
commit
|
commitdiff
|
tree
2023-05-15
Piotr Tro
j
anek
ada: Fix
link to
p
arent when cop
y
ing
w
ith Co
p
y_
S
eparate_Tr
e
e
commit
|
commitdiff
|
tree
2023-01-16
Marc Poul
h
iès
ad
a
: Up
d
a
t
e
copyright y
e
ars
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada: Fix typo
i
n comment
commit
|
commitdiff
|
tree
2023-01-16
Eric B
o
tcazou
ada: Fix
l
atent bug exposed by recen
t
w
o
rk o
n
extended
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric
B
o
tcaz
o
u
ada: Fix
pessimizatio
n
of
s
ome CW obje
c
ts
i
nitialized
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcaz
o
u
ada: U
s
e static refere
n
ces to tag i
n
mo
r
e cases for
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada:
F
ix benign pasto
in new predi
c
ate
commit
|
commitdiff
|
tree
2023-01-16
E
ri
c
B
o
t
ca
z
ou
ada: Fix
premature finalization of temporaries for
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
a
d
a:
Further
optimize interf
a
c
e
objects in
i
tia
l
i
z
ed
.
.
.
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada:
P
ut back convers
i
on to inter
f
ace in
more cases
commit
|
commitdiff
|
tree
2023-01-16
Eric Botcazou
ada: Li
f
t res
t
riction on opt
i
mi
z
ation of al
i
ased ob
j
ects
commit
|
commitdiff
|
tree
2023-01-16
Eric Bot
c
azou
ada: Optimi
z
e
interfac
e
o
bjects initialized with funct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-01-09
Arnaud Charlet
ada:
U
p
date
c
o
p
yr
i
ght
n
otice
commit
|
commitdiff
|
tree
2023-01-09
Eric Botcazou
ada: Remove a coup
l
e of
u
nr
e
achable statements
commit
|
commitdiff
|
tree
2023-01-09
Er
i
c
B
ot
c
a
z
ou
ad
a
: Si
m
plify finalization
of tempor
a
ries created f
o
r
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcazou
a
d
a:
M
in
o
r tweak to
t
est added in previous c
h
ange
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcaz
o
u
ada: Cle
a
n up
i
nterface
handlin
g
in Ex
p
and_N_Object
_
Declaration
commit
|
commitdiff
|
tree
2023-01-05
Piotr Trojanek
ada: F
l
a
g
renaming-as-sp
e
c as
a
b
o
dy t
o
inline
commit
|
commitdiff
|
tree
2023-01-05
Piotr Tr
o
janek
ad
a
: Remo
v
e
unhel
p
f
u
l spec
i
al c
a
se f
o
r renamed bodies
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Marc
Poulhiès
ada: Fix nest
e
d generic instan
t
iatio
n
commit
|
commitdiff
|
tree
2023-01-05
Eric
Botcazou
ada: Do n
o
t use d
e
cimal ap
p
rox
i
matio
n
in -gnatRj outp
u
t
commit
|
commitdiff
|
tree
2023-01-05
E
ric Botcazou
ada: Op
t
im
i
ze class-wide objects
i
nitialized with function
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric B
o
tcazou
ada: Fix pasto in com
m
ent
commit
|
commitdiff
|
tree
2023-01-05
Ronan Des
p
l
a
nques
ada
:
Fix
s
puri
o
us emiss
i
on
s
of -
g
natwj war
n
ing
commit
|
commitdiff
|
tree
next