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: Fix small fallout of previous change
2023-05-25
Piotr Trojanek
ada: A
c
cept alias
e
d par
a
m
e
ters in
E
xceptional_C
a
ses
commit
|
commitdiff
|
tree
2023-05-25
Marc
Poulhiès
ada: Fix
inc
o
rrect handling of A
g
g
regate aspec
t
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada:
Fix ob
s
olete c
o
m
m
ent in Sinfo
.
Uti
l
s
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhiès
ada: Fix S
P
ARK c
o
ntext not restored
w
hen Load_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
a
da
:
R
e
s
tri
c
t use of formal
p
arameters within exceptiona
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
r
o
janek
a
da: A
c
cept and
a
nalyze
new aspect Exceptional_Cases
commit
|
commitdiff
|
tree
2023-05-23
Eric
Botcazou
a
d
a: Rework f
i
x for internal err
o
r on
quantified
e
x
p
ressio
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
G
a
ry Dismu
k
es
ada: ICE on BIP ca
l
l in class-wide function retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick Bernardi
ada: Remove red
u
n
dant parentheses from Syst
e
m
.
Stack_C
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
ada
:
Add
tags to war
n
ings c
o
n
trolle
d
b
y
W
arn_On_
R
edu
n
dant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Cleanup inconsiste
n
t
iteration ove
r
exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada
:
Fix latent issue in
s
upport for prot
e
cted entries
commit
|
commitdiff
|
tree
2023-05-23
Eric
Botcazou
a
da: Fix address manipulation issue in the task
i
ng
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
R
a
p
hael Am
i
ard
ada: Make s
t
ring inte
r
po
l
ation p
a
rt of the core extensions
commit
|
commitdiff
|
tree
2023-05-23
Claire D
r
os
s
ada:
Update
g
h
ost
code fo
r
proof of integ
e
r
i
nput fun
c
t
i
o
ns
commit
|
commitdiff
|
tree
2023-05-23
Arnaud Charlet
ada: Add new switch -gnatyz
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botcazou
ada: Fix minor addres
s
a
rithmetic iss
u
es in
Sy
s
tem
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada:
F
ix oversight in latest ch
a
n
g
e
commit
|
commitdiff
|
tree
2023-05-23
Raphael Amiard
ada: R
e
o
r
ganize
d
ocum
e
n
t
ation of GNAT experi
m
ental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Bot
c
azou
ada: Fix resolution
of
mod operator of
S
ys
t
em
.
Storage_E
l
ement
s
commit
|
commitdiff
|
tree
2023-05-23
Vadim
G
odunko
ad
a
: Remove unnec
e
s
sary call to Deta
c
h
.
commit
|
commitdiff
|
tree
2023-05-23
R
onan De
s
plan
q
ues
a
d
a:
Fix referen
c
e to
A
da issue i
n
comment
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otca
z
ou
a
d
a: Fix address arit
h
m
e
t
ic
i
s
s
ues
i
n the expa
n
ded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
ric Botcazou
ada: F
i
x
addr
e
ss
a
r
ithmet
i
c issues
i
n t
h
e runt
i
m
e
commit
|
commitdiff
|
tree
2023-05-23
Steve Baird
ada: A discriminan
t
of a
v
ariab
l
e is no
t
a v
a
riable
commit
|
commitdiff
|
tree
2023-05-23
Y
annick Moy
a
d
a: Add defau
l
t value
a
t init
i
aliza
t
ion for CodePeer
commit
|
commitdiff
|
tree
2023-05-23
Yannic
k
Moy
ada: Facili
t
ate
proof
of Interfa
c
es
.
C
.
To_Ada
commit
|
commitdiff
|
tree
2023-05-23
E
ric Botcazo
u
ada: Remove the b
o
d
y of System
.
S
t
orage_Elemen
t
s
commit
|
commitdiff
|
tree
2023-05-23
Ja
v
ier Mira
n
da
ada: Sp
u
rious error
s
o
n class-wi
d
e preconditions
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ada: Tu
r
n assert
i
ons
into defensi
v
e
code in erro
r
locations
commit
|
commitdiff
|
tree
2023-05-23
Ronan
Desplanques
ada: Ad
d
mention of what
L
SP st
a
n
ds for
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojanek
ada: Fix endings
o
f pretty-p
r
inted numeric
l
ite
r
als
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zo
u
a
da: Fix i
n
t
ernal error o
n
quantified expression wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
a
da: Fix bogus error o
n
p
r
e
d
icated lim
i
t
ed
record declared
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojane
k
ada: Sync
d
ifferent v
a
riants of interrupt handler
r
eg
i
stra
t
io
n
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
a
da:
R
evert to old
p
ret
t
y-p
r
i
n
t
i
ng
of internal
e
n
t
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r
Trojanek
ada: Ignore
a
ccessibil
i
ty
actuals in ex
p
ression pret
t
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tr
o
janek
ad
a
: Remove s
p
eci
a
l-cas
e
f
o
r pare
n
theses in expa
n
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
tr Trojanek
ada:
T
ransfer fix for pr
e
tty-p
r
inted
p
a
rentheses
f
rom
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r
T
r
o
j
anek
ad
a
: Fix expression pretty
-
p
rint
e
r for SPARK counterexamples
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
a
da: Suppress warnin
g
about Subprogram_
V
ariant
fai
l
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
r
ic Botcaz
o
u
ada:
Small code
c
leanup
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
t
r
Trojanek
ada: M
i
nor fix typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2023-05-23
Ronan
D
esplanques
ada: Remove duplicate c
o
m
m
e
nt
commit
|
commitdiff
|
tree
2023-05-23
Javier Mir
a
nda
a
da: Cr
a
sh on dispatching pri
m
itive r
e
fe
r
en
c
i
ng
limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplanqu
e
s
ada:
R
euse idiomatic proce
d
ure in CS
t
an
d
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Tr
o
janek
ada
:
Avoid repeated c
a
lls when looking
for first/las
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
otcazou
ada: Small clean
u
p in support for protected subprograms
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
a
da: Us
e
i
diomati
c
construct i
n
Expand_N_Package_Body
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Fix so
u
r
c
e
location for
c
r
a
shes in expand
e
d Loop
_
Ent
r
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplanqu
e
s
a
da: Add
m
issing word i
n
c
o
mm
e
nt
commit
|
commitdiff
|
tree
2023-05-22
Just
i
n Squirek
a
d
a: Incorr
e
ct
c
onstant folding in
postcondition inv
o
lving
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Marc Po
u
lh
i
ès
ad
a
:
F
i
x
c
rash caused by incorrect e
x
pansion of iterated
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botcazou
ada: F
i
x missin
g
finaliza
t
io
n
in separate package body
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplan
q
ues
ada: Re
m
ove outda
t
ed part
o
f co
m
ment
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
o
tcazou
ada: Fix miss
i
ng fi
n
ali
z
ation in library
-
unit instance
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
B
o
b Duff
ada:
Rename
I
s_Pa
s
t
_
Self_
H
i
ding_Point fla
g
to be Is_
N
o
t
_Sel
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
r
ic Botcaz
o
u
ada:
Fix s
p
urious fre
e
zing err
o
r on nonabstract null
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
F
urther fixes to GNAT
p
rove and CodePeer expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Trojanek
ada: Cleanu
p
redunda
n
t condition in
resolution of en
t
ity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: Add I
s
_
Past_Self_
H
iding_P
o
int flag
commit
|
commitdiff
|
tree
2023-05-22
Ste
v
e
B
a
i
rd
ada: Accept Assert prag
m
as in
e
xpression functi
o
n
s
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
t
r
Trojanek
a
da: Add
w
a
r
n
i
ng
o
n fron
t
end inlining of Su
b
prog
r
am_Variant
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr
T
rojanek
a
d
a: Fix
spu
r
ious w
a
r
n
ing on Inline_Al
w
ays and
c
ontra
c
t
s
commit
|
commitdiff
|
tree
2023-05-22
Ar
n
aud Charlet
ada: Improve -gnaty
x
style check
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Ch
a
rlet
ada: Remove extra parentheses
commit
|
commitdiff
|
tree
2023-05-22
A
r
naud Ch
a
rlet
ada: Remove a re
m
a
i
ning refere
n
c
e to ?
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
ojanek
ada: Remove redundant pro
t
ection
against emp
t
y
lists
commit
|
commitdiff
|
tree
2023-05-22
Cl
a
i
r
e
Dros
s
ada: Support calls throu
g
h dereferences in Find_Actual
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Trojan
e
k
ada
:
Remove
u
nreferenced utili
t
y ro
u
tine Is_Actual_Tagged
_
Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Joffrey Hugue
t
ada: Ad
d
contracts to Ada
.
Strings
.
Unbounded l
i
brary
commit
|
commitdiff
|
tree
2023-05-22
E
r
ic Bot
c
azou
ada: Fix
crash
o
n
Ada
.
Cont
a
i
n
ers with No_Dispatching_Calls
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Bot
c
azou
ada: I
m
plement con
v
ersions from Big_Integer to
l
a
rg
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
a
d
a:
Fi
x
error and c
r
ash on importe
d
function with
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
St
e
ve Baird
ada:
Rej
e
ct illegal
d
eclaratio
n
s i
n
expre
s
sion functions
commit
|
commitdiff
|
tree
2023-05-22
S
teve Baird
ad
a
: Better
e
rror mes
s
ag
e
if non-Ada2022 code decl
a
res
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botc
a
zou
ada: Fix d
o
uble fina
l
ization in condi
t
i
o
n
al exit s
t
atem
e
n
t
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botcazou
ada:
F
ix handling of constrained array declarati
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
o
t
r Troja
n
ek
a
d
a: Fix traversa
l
for th
e
rightmost
node of a
pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojan
e
k
ada: Restrict expression pretty-pri
n
ter to
s
ubexpress
i
ons
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Don't
pretty-print DEL withi
n
e
x
pression images
commit
|
commitdiff
|
tree
2023-05-22
P
iotr
Trojanek
ad
a
:
Update Controlli
n
g
_Argument
when copying
trees
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada:
up
d
a
t
e Ada_Vers
i
on
_
Typ
e
in
f
e
.
h
to match o
p
t
.
ad
s
commit
|
commitdiff
|
tree
2023-05-22
Bob Duf
f
a
da: prevent i
n
f
i
nite
r
ecursion
in C
o
lle
c
t_Types_In_Hierarchy
commit
|
commitdiff
|
tree
2023-05-16
Steve Baird
ada
:
Add "gn
a
t -
-
h
e
lp
-
ad
a
" text for new swit
c
hes
.
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botcazou
ada:
U
se
a
ccumulator
type in e
x
p
a
nsion
of
'Reduce attribut
e
commit
|
commitdiff
|
tree
2023-05-16
E
ric Botcazou
ada: Fix missi
n
g
w
arning on a
g
g
regate with it
e
rated
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botcazou
ada: Fix crash on ite
r
ate
d
co
m
ponen
t
in ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botca
z
ou
ada: Fix internal er
r
or on '
I
ma
g
e appli
e
d t
o
array
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric
B
o
tca
z
ou
ada:
Fix intern
a
l error on
c
ha
i
n
of predicated recor
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Y
a
nnick
M
oy
ada: Update proof of runtime units
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: Implement
inheritance of user-defined liter
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
a
vier Miranda
a
d
a
:
Sp
u
riou
s
er
r
or
analyzing
'
o
l
d
o
r 'r
e
sul
t
in clas
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
a
vi
e
r Mir
a
nda
ad
a
: Spurious e
r
ror on func
t
i
o
n retu
r
ning CPP
t
y
p
e
commit
|
commitdiff
|
tree
2023-05-16
Piotr Troja
n
ek
ada: Ap
p
l
y
range checks to
p
r
ea
n
alyzed
ag
g
regat
e
e
xpre
s
si
o
ns
commit
|
commitdiff
|
tree
2023-05-16
G
h
juvan Lacambre
ada: usage
.
adb: document -gna
t
yD switc
h
commit
|
commitdiff
|
tree
2023-05-16
Marc Poulhiès
a
d
a: Fix Ada
representation o
f
r_debug
a
nd link_ma
p
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Johan
n
e
s
K
liem
a
nn
ad
a
:
Enab
l
e Support_Atomic_Pr
i
mitives on PPC Linux
commit
|
commitdiff
|
tree
2023-05-16
Eric
B
ot
c
azo
u
a
d
a:
Follow-up impro
v
ement
to implementation
o
f stora
g
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
A
rnaud
Charlet
a
d
a:
A
dd tags on style messages
commit
|
commitdiff
|
tree
next