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: Tune warning about assignment just before a raise statement
2023-05-25
Piotr Trojanek
ada: Tu
n
e warning about ass
i
gnment
j
u
s
t before a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
tr Trojanek
a
da:
Accept aliase
d
para
m
eter
s
in Exceptional
_
C
ases
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhi
è
s
ada: Fi
x
incorrect
h
a
n
dling of Aggr
e
gat
e
aspect
commit
|
commitdiff
|
tree
2023-05-25
Bo
b
Duff
ada:
F
i
x
obsol
e
t
e comm
e
nt
i
n Sinfo
.
Uti
l
s
commit
|
commitdiff
|
tree
2023-05-25
M
a
rc Po
u
lhiès
ada: Fix SPARK c
o
ntex
t
n
o
t restore
d
when
L
oad_Un
i
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Tr
o
janek
ada: Res
t
r
ict use of formal parameters within e
x
ceptiona
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
anek
ada
:
Accept and analyze new aspect Exc
e
ptiona
l
_Cases
commit
|
commitdiff
|
tree
2023-05-23
E
ric
B
o
t
cazou
ada: R
e
wor
k
fix for
i
n
ter
n
al error on q
u
anti
f
ied expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
G
a
ry Dismukes
ada: ICE on BIP ca
l
l in class
-
w
ide function return
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick Bernar
d
i
a
da: Remo
v
e r
e
dun
d
ant parenthese
s
fro
m
S
yst
e
m
.
Stack_Checking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tr
o
janek
ada:
Add tags
t
o warnings
contr
o
l
led by
Warn_On_Redundan
t
_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
ojanek
ad
a
: Cl
e
a
nup in
c
onsistent
iter
a
t
i
on over
exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
a
da: Fi
x
latent issue
in
s
upport for prot
e
c
t
e
d entries
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otcazou
a
d
a
: Fix addre
s
s
manipulat
i
o
n
issue in the tasking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Rap
h
ael A
m
i
ard
a
d
a: Make string interpola
t
ion
p
art of
t
h
e
core extensi
o
ns
commit
|
commitdiff
|
tree
2023-05-23
Claire Dross
ada: Update ghost
code for proof of
in
t
ege
r
in
p
ut
funct
i
ons
commit
|
commitdiff
|
tree
2023-05-23
Arnaud Char
l
et
ad
a
: Add new
s
witch -gna
t
yz
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
cazou
ada: Fix
m
inor addre
s
s arithmeti
c
issues in System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
ric Botca
z
ou
ada: Fix o
v
ersight i
n
la
t
e
st
change
commit
|
commitdiff
|
tree
2023-05-23
Raphael
A
m
iard
ada: Reor
g
anize documentat
i
o
n
of GNAT experimental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
r
i
c
Botc
a
zou
ada
:
Fi
x
resolution of mod oper
a
tor
o
f
S
yst
e
m
.
Storage_El
e
m
ents
commit
|
commitdiff
|
tree
2023-05-23
V
adim
G
odunko
ada: Remove un
n
ec
e
ss
a
ry call t
o
Detach
.
commit
|
commitdiff
|
tree
2023-05-23
Ronan Despl
a
n
ques
ada
:
Fix
r
eferen
c
e to Ada i
s
sue in comme
n
t
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
a
d
a: Fix
addre
s
s arithmetic issues
i
n the exp
a
nded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada:
F
ix
a
d
dress ari
t
hmetic issues in the runtime
commit
|
commitdiff
|
tree
2023-05-23
S
t
eve Baird
a
d
a: A di
s
criminant of a variabl
e
is n
o
t
a
variable
commit
|
commitdiff
|
tree
2023-05-23
Y
annick Moy
ada: Add d
e
f
a
ult value at
i
nitialization
f
or CodePeer
commit
|
commitdiff
|
tree
2023-05-23
Yan
n
ick
Moy
a
da: Facilitate proo
f
of Inter
f
aces
.
C
.
T
o
_Ada
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
a
da: Remove
t
he bod
y
of Syst
e
m
.
Storage_
E
lements
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
ada: Spur
i
o
us errors on cl
a
ss-wide pre
c
ondition
s
of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada: Turn assertions
into
d
ef
e
nsive code in e
r
r
o
r locations
commit
|
commitdiff
|
tree
2023-05-23
Ronan D
e
splanques
ada: Add men
t
ion of what LSP
s
tands
f
or
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojanek
a
da: Fix
end
i
ngs of pretty-
p
rinted
numeric literals
commit
|
commitdiff
|
tree
2023-05-23
E
r
i
c Bo
t
cazou
ada: Fix i
n
ternal er
r
o
r
on quantifi
e
d
e
xpress
i
o
n
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix bogus error on p
r
edicat
e
d limit
e
d record
declare
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Syn
c
different variants of
i
nt
e
rrupt han
d
ler regis
t
ration
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
ada: Revert to ol
d
pr
e
tty
-
printing of internal e
n
tities
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r
T
rojanek
ad
a
: Ignore acces
s
ibility
a
ctuals in expression pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Remove spec
i
al-case for pare
n
theses in exp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojan
e
k
ada: Transfer
f
ix for pre
t
ty-p
r
int
e
d
parentheses from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ada
:
Fix ex
p
ression pretty-pr
i
nter
for SP
A
RK counterexamples
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
an
e
k
ad
a
:
Sup
p
r
e
ss wa
r
ning about Subpro
g
ram_
V
ari
a
nt failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Small code cl
e
a
nup
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
ojanek
ada: Mi
n
or fix typo in comment
commit
|
commitdiff
|
tree
2023-05-23
R
o
n
an Desplanqu
e
s
ada: Remove duplicate
c
omment
commit
|
commitdiff
|
tree
2023-05-23
Jav
i
er Miranda
ada:
C
r
as
h
on dispatching primitive refere
n
ci
n
g limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan
De
s
planques
ada: Reuse
i
dio
m
at
i
c pro
c
edure in CStand
commit
|
commitdiff
|
tree
2023-05-22
P
i
o
tr Trojane
k
ada: Avoid
repeated ca
l
l
s
when looking for fi
r
st/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
B
o
tcazou
ada
:
Small cleanup in support for protected subprogra
m
s
commit
|
commitdiff
|
tree
2023-05-22
E
ric Bot
c
azou
a
d
a: U
s
e id
i
omatic const
r
uc
t
in E
x
pand
_
N_Package_Body
commit
|
commitdiff
|
tree
2023-05-22
Piotr Troja
n
ek
ada:
F
ix sourc
e
location
f
or crashes in
e
x
p
anded Loo
p
_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplanques
ad
a
: Add missing
word in comment
commit
|
commitdiff
|
tree
2023-05-22
Justin
S
quirek
ada: Incorrect consta
n
t folding in postcondition in
v
o
l
vin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
M
a
r
c
Po
u
l
hiès
ada: Fix
c
r
a
s
h c
a
used by incorrect
e
xp
a
nsion of iter
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botc
a
zou
ada: Fix miss
i
ng f
i
nalization in
s
eparate
p
ackage b
o
d
y
commit
|
commitdiff
|
tree
2023-05-22
Ronan
D
esplanques
a
da: Remove outdated
p
art of comment
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazou
ada
:
Fix missing finalization in library
-
unit
i
nstance
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
a
d
a
:
R
en
a
me Is_Past_Se
l
f_Hiding_
P
oint flag t
o
be Is_Not_Self
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ad
a
:
F
ix spuri
o
us freezi
n
g err
o
r on nonabstr
a
ct
null
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
t
r
Trojanek
a
da: Fur
t
her fi
x
es
t
o GNATprov
e
a
n
d CodePeer expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Trojanek
a
da: Cleanup redundant
c
on
d
iti
o
n in resolution of entity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob
D
uff
ada:
A
dd Is_
P
a
s
t_Self_Hiding_
P
oint f
l
a
g
commit
|
commitdiff
|
tree
2023-05-22
Steve Bair
d
ada
:
Accept Asser
t
pragm
a
s in
expre
s
si
o
n functions
commit
|
commitdiff
|
tree
2023-05-22
P
iotr
T
r
o
j
anek
ad
a
:
Add warning o
n
fr
o
nten
d
inlining of
Sub
p
rogram_Variant
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Fix spu
r
iou
s
wa
r
ning on
Inl
i
ne_Alwa
y
s and co
n
tract
s
commit
|
commitdiff
|
tree
2023-05-22
Arnau
d
Charlet
ada
:
I
m
p
rove -g
n
atyx style c
h
eck
commit
|
commitdiff
|
tree
2023-05-22
A
rnaud Ch
a
rlet
ada: Rem
o
v
e extra parenth
e
se
s
commit
|
commitdiff
|
tree
2023-05-22
Arnau
d
Charlet
a
d
a
: Remov
e
a remainin
g
reference to ?
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Remove
re
d
undant protectio
n
against empty lists
commit
|
commitdiff
|
tree
2023-05-22
C
l
a
ire
Dross
ada: Support calls t
h
r
ough de
r
eferences in Find_
A
ctual
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
R
emo
v
e un
r
ef
e
renced
utility routine
I
s_Actual_Tag
g
ed_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Joffrey Huguet
ada: Add contract
s
t
o
A
da
.
String
s
.
Unbound
e
d library
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazo
u
ada:
F
ix crash
on Ada
.
Conta
i
ners with
N
o_Di
s
patchin
g
_Calls
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tcazou
ada: Implem
e
nt c
o
n
versions from
B
i
g_Integ
e
r t
o
l
arge
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botca
z
o
u
ada:
F
i
x
error and c
r
as
h
o
n
imported
f
unction
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
a
da: Reject il
l
egal decla
r
ation
s
in
expression f
u
nc
t
ions
commit
|
commitdiff
|
tree
2023-05-22
Steve
Baird
ada: Bet
t
er error message if no
n
-Ada2022 code
d
eclares
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
r
ic
Botcazo
u
ada: F
i
x
double finali
z
ation in
c
ondi
t
ional exit state
m
ent
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ada: Fix handling of co
n
strained
a
rray declarati
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojanek
ada: F
i
x tra
v
ersal for t
h
e rightmost node of a p
r
etty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
a
nek
ada: R
e
stric
t
expressi
o
n
pr
e
tty-prin
t
er to sube
x
p
r
essions
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr T
r
oj
a
n
ek
ada
:
Don't
p
retty-print DEL within exp
r
ession image
s
commit
|
commitdiff
|
tree
2023-05-22
P
i
o
tr Troja
n
ek
a
da: Update Controlling_Argument when copying trees
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: update Ada_V
e
rsion_Ty
p
e in fe
.
h to
match opt
.
ads
commit
|
commitdiff
|
tree
2023-05-22
Bob Du
f
f
ada:
p
reven
t
inf
i
nite r
e
c
ursion in C
o
llect
_
Types_I
n
_Hierarchy
commit
|
commitdiff
|
tree
2023-05-16
S
t
eve Baird
ada:
A
d
d "gnat --help-ada"
t
ext fo
r
n
e
w switches
.
commit
|
commitdiff
|
tree
2023-05-16
E
r
ic Bot
c
a
zou
ada
:
Us
e
accumulator type in ex
p
a
nsion of
'Reduce attribute
commit
|
commitdiff
|
tree
2023-05-16
E
r
ic Botcazou
ada: Fix
missing warnin
g
on aggreg
a
te w
i
th iterate
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Bot
c
azou
ada: Fix crash on iterated
c
omp
o
nen
t
in expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Bot
c
azou
ada: Fix
i
nter
n
al er
r
or on 'Image applied to arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: Fix inte
r
na
l
e
rror on chain of predicated record
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Yannick Moy
ada: Update pr
o
of of ru
n
ti
m
e units
commit
|
commitdiff
|
tree
2023-05-16
Eric Botca
z
ou
a
da
:
Implement
i
n
heritance of user-de
f
ined lit
e
ral
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Ja
v
ier Mi
r
anda
ada: Spurious
e
rror
a
naly
z
ing 'old or 'resul
t
in class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Mi
r
an
d
a
ada: Spurio
u
s error
o
n
f
unction
r
et
u
rning CPP type
commit
|
commitdiff
|
tree
2023-05-16
Piotr Troj
a
nek
ada
:
Apply range
c
h
ecks to
p
r
eanalyze
d
a
ggregat
e
expressions
commit
|
commitdiff
|
tree
2023-05-16
Gh
j
uvan Lacambre
ada: usage
.
adb
:
document -g
n
a
t
yD switch
commit
|
commitdiff
|
tree
2023-05-16
M
a
rc Poulhiès
ada: Fix Ada
rep
r
esent
a
tion of r_debug and lin
k
_map
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Johannes Kliemann
ad
a
: Enab
l
e Support_A
t
omic_Primit
i
ves on
P
P
C Linux
commit
|
commitdiff
|
tree
2023-05-16
Er
i
c Botca
z
ou
ada: Follo
w
-up
i
mprovement to implemen
t
ation of storage
.
.
.
commit
|
commitdiff
|
tree
next