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: Update copyright notice
2023-01-09
Arnaud
Charle
t
ada:
U
pdat
e
co
p
yright notice
commit
|
commitdiff
|
tree
2023-01-09
Eric Botc
a
zou
a
d
a: Remove a couple of unreachable st
a
tements
commit
|
commitdiff
|
tree
2023-01-09
Er
i
c
B
otcazou
ada: Simplify final
i
zation of temporaries
c
reate
d
for
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric Bo
t
ca
z
ou
ada: Min
o
r tw
e
ak to test
added
i
n p
r
eviou
s
c
hange
commit
|
commitdiff
|
tree
2023-01-05
Eric Botc
a
zou
ada:
C
lean up
inte
r
face handl
i
ng in Expand_N_Obje
c
t_Declaration
commit
|
commitdiff
|
tree
2023-01-05
Pi
o
tr T
r
ojanek
ada: Flag renaming-as-spec as a bo
d
y to inline
commit
|
commitdiff
|
tree
2023-01-05
Piot
r
Trojanek
a
da: Remove u
n
helpful spe
c
ial case for renamed b
o
dies
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Marc Poulhiès
ada: Fi
x
nested generic instan
t
iation
commit
|
commitdiff
|
tree
2023-01-05
Eric Bo
t
cazo
u
ada: Do not
u
se decimal approximat
i
on in -gnatRj o
u
tput
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcazou
ada: Optimize cl
a
ss
-
wid
e
o
b
jects initi
a
lized with funct
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Eric
B
otcaz
o
u
ada:
F
ix pasto in comment
commit
|
commitdiff
|
tree
2023-01-05
R
o
nan Des
p
lanques
ada: Fix spurious emissi
o
n
s
of -gna
t
wj warning
commit
|
commitdiff
|
tree
2023-01-05
Javier Miran
d
a
ada: INOX: pr
o
totype RFC on String I
n
ter
p
olation
commit
|
commitdiff
|
tree
2023-01-05
Joao Azeved
o
a
d
a: U
p
date gnatpp do
c
ume
n
tat
i
on with --layou
t
switch
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcazou
ad
a
: Fur
t
h
er adju
s
t fr
e
ezing
for expansion of
contrac
t
s
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcazo
u
ada: Simp
l
ify new expa
n
si
o
n o
f
contr
a
cts
commit
|
commitdiff
|
tree
2023-01-05
Rona
n
De
s
pl
a
nques
ada: Adjust handling of
"
%g" in GNAT
.
Formatt
e
d_String
commit
|
commitdiff
|
tree
2023-01-05
Marc Poulhiès
ada:
F
ix gener
i
c ins
t
antiati
o
n o
f
sibling pac
k
age
commit
|
commitdiff
|
tree
2023-01-05
Jus
t
in Squirek
ada: Spurious er
r
or on Lock_Free prote
c
ted t
y
pe w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
E
ric Botcazou
ada
:
R
e
vert to constrained alloca
t
ion f
o
r
stri
n
g con
c
atenation
commit
|
commitdiff
|
tree
2023-01-05
St
e
ve Baird
ada: Bette
r
error mes
s
age for bad Discard
_
Names configuratio
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Bob Duff
a
da: Update doc for -g
n
atw_q
commit
|
commitdiff
|
tree
2023-01-05
Eric Botcazo
u
ada: F
i
x finalization issues
i
n extende
d
return statements
commit
|
commitdiff
|
tree
2023-01-05
Bob D
u
ff
ada: Fi
x
incorre
c
t warning about
unrefe
r
enced p
a
cked
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Ghjuvan Lacambr
e
ad
a
: Fix unesc
a
p
e
d quot
e
s when com
b
i
n
ing
f
diagnos
t
ics
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Ghjuvan Lacambre
ada: out
p
ut
.
a
d
b
: f
i
x newline being
inserted when buffer
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
R
o
nan Desplanques
ada: Fix GNAT
.
For
m
atted_String's
h
andling of real val
u
es
commit
|
commitdiff
|
tree
2023-01-03
Ronan Desplanques
a
d
a: Fix p
a
rsing b
u
g
in GNAT
.
Formatted_S
t
ring
commit
|
commitdiff
|
tree
2023-01-03
Eri
c
Bot
c
azou
a
d
a: Fix
p
rema
t
ure fina
l
i
zation of
r
e
t
urn
te
m
porar
y
commit
|
commitdiff
|
tree
2023-01-03
R
o
nan Desplan
q
ues
ad
a
: Fix format
s
tri
n
g pa
r
sing in GNAT
.
Formatted_String
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: Make App
l
y
_
D
iscrimin
a
nt_Check
.
D
enotes_Explicit_
D
erefere
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: Fix
calling conventi
o
n
of foreign
f
un
c
tions r
e
turning
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Marc Poulhiès
ada: A
d
apt
f
rontend optimi
z
ati
o
n for
aggr
e
gate
assignme
n
t
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada:
A
noth
e
r small adjustment to special resolu
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Bot
c
azou
ada
:
Make Sem_Uti
l
.
I
s
_Alia
s
ed_View
p
redicate more ro
b
us
t
commit
|
commitdiff
|
tree
2023-01-03
J
o
e
l Bro
b
ec
k
er
ada
:
GNAT UGN:
Adjust wo
r
ding in
"Platform-spec
i
fic
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: Fix detect
i
on of function calls
i
n object dec
l
ar
a
tions
commit
|
commitdiff
|
tree
2023-01-03
B
o
b Duff
a
d
a
: Si
m
pli
f
y [Small_]Inte
g
er_Type_For
commit
|
commitdiff
|
tree
2023-01-03
Javier Miranda
ada: Can
n
ot ref
e
rence ghost entity in class
-
wide p
r
econdition
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: Fix support of De
f
ault
_
Compon
e
nt_Valu
e
aspe
c
t
.
.
.
commit
|
commitdiff
|
tree
2022-12-20
Marc Pou
l
hiès
rust:
fix link serialization [PR10
8
113]
Signed-off-by:
Marc Poulhiès
<dkm@kataplop.net>
commit
|
commitdiff
|
tree
2022-12-06
Yannick Moy
a
d
a: Allow
N
o_Ca
c
hin
g
o
n v
o
latile
t
ypes
commit
|
commitdiff
|
tree
2022-12-06
Jav
i
e
r
Miranda
a
d
a: Spurious error on nested
cal
l
using the prefix
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Eric
B
o
tcazou
a
da
:
Suppress war
n
ing f
o
r specif
i
c
c
o
nsta
n
t val
i
d condition
commit
|
commitdiff
|
tree
2022-12-06
Eric Botcazou
ada:
F
i
x
spu
r
ious error i
n
che
c
k
ing of SPA
R
K elabor
a
tion
commit
|
commitdiff
|
tree
2022-12-06
Eric Botcazo
u
ad
a
: Elide the copy in exten
d
ed returns for
n
onlimited
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Eric Bot
c
azou
ada: Small adjustment to special
r
e
s
olution of member
s
hip
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
E
r
i
c
Botcazou
ada: Use
l
a
r
ger type for
m
embership
test of universa
l
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Justin
S
q
uirek
a
d
a
:
Ac
c
ess
i
bility
c
ode reorganizati
o
n
a
nd bug
f
ixes
commit
|
commitdiff
|
tree
2022-12-06
L
ia
i
ss
M
e
rzo
u
gu
e
ada:
A
dd Codepeer Exempti
o
n
+
s
implify TO_C code
.
commit
|
commitdiff
|
tree
2022-12-01
Eric Botcazo
u
ada:
S
t
r
ip
conversions for the implement
a
tion of s
t
orage
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
Steve Baird
a
d
a: Enforce Aggr
e
gate aspect legali
t
y rule
commit
|
commitdiff
|
tree
2022-12-01
Eric Botca
z
ou
ada: Further adjustments to Use
r
's Guide for P
I
E
default
commit
|
commitdiff
|
tree
2022-12-01
Rona
n
Desplanques
ada: F
i
x mis
p
hrasing i
n
comment
commit
|
commitdiff
|
tree
2022-12-01
Gary Dismukes
ad
a
: Us
e
the address
t
y
p
e o
f
a St
o
r
age_Model_Type for
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
Ronan Des
p
la
n
ques
ada: Fix m
i
no
r
issues
i
n ref
e
rence manual
commit
|
commitdiff
|
tree
2022-12-01
Josue N
a
va Bell
o
ada
:
Minor up
d
ates t
o
gna
t
/doc con
f
iguration
commit
|
commitdiff
|
tree
2022-11-28
E
r
ic
B
otc
a
zo
u
ada: Adjust runtime library and Us
e
r
'
s Guide to PIE
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
Joel
Brobecker
ada: doc/share/conf
.
py: Switch the HTML
documentatio
n
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
Clai
r
e Dross
ada: An
n
otate GNAT
.
Sour
c
e_Inf
o
with
an abstract
s
tate
commit
|
commitdiff
|
tree
2022-11-28
Eric Botcazou
a
d
a
:
Fix internal error o
n
conversion as
i
n
/o
u
t actual
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
E
r
ic Botcazou
a
d
a: Add PIE
s
upport to backtrace
s
on
Linux
commit
|
commitdiff
|
tree
2022-11-28
Yannick
Moy
ada: Implement change to SPARK RM rul
e
o
n
state refin
e
me
n
t
commit
|
commitdiff
|
tree
2022-11-24
Eri
c
Botcazou
ada: Ad
d
a
s
se
r
t
io
n
for the imple
m
entation of
s
torage
.
.
.
commit
|
commitdiff
|
tree
2022-11-24
Justin Squ
i
rek
ada: Spurio
u
s
e
r
ror on Lock_Free protected typ
e
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr Tr
o
janek
ada: Accep
t
aspects Glo
b
al and Depends on abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Ghjuvan
L
ac
a
m
b
r
e
a
da: Disable c
h
eckin
g
of Elab_Spec p
r
o
c
edures in CodePe
e
r_M
o
de
commit
|
commitdiff
|
tree
2022-11-22
Piotr Trojane
k
ada: Adju
s
t
numb
e
r of errors when
removing
warning
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
E
r
ic Botcazou
ada
:
Fix
formatting glitches in Make_Tag_Assignment
commit
|
commitdiff
|
tree
2022-11-22
Eric
Botcazou
ada: Fix recent assertio
n
failure on G
P
R2
commit
|
commitdiff
|
tree
2022-11-21
Eric Botcazou
ada: Adjust recent c
h
ange
f
or
r
e
tur
n
s invo
l
ving f
u
n
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
M
a
rc
Poul
h
iès
ada: D
o
not share Pac
k
ed Array Type if sizes of typ
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Ronan Desplanques
ada: Ord
e
r pragmas alpha
b
et
i
ca
l
ly
in
r
ef
e
rence manual
commit
|
commitdiff
|
tree
2022-11-21
Eric Botcazou
ad
a
: Minor tweak i
n
asser
t
ion
commit
|
commitdiff
|
tree
2022-11-21
Steve Baird
a
da: Inte
r
nal compiler
error
for Sequential P
a
rtition_El
a
b
o
r
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Eric Botcazou
ada: Small cleanup in Expand
_
N_Object_De
c
lara
t
ion
commit
|
commitdiff
|
tree
2022-11-21
Steve Bai
r
d
ada: Ada 2022 Image attribut
e
bugs
commit
|
commitdiff
|
tree
2022-11-21
Ghjuvan Lacambre
ada:
D
isable s
u
bprogram ca
l
l
v
a
lidation in CodePeer
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Bob Duff
ada: Move war
n
ings swi
t
ch
e
s
commit
|
commitdiff
|
tree
2022-11-21
S
t
eve B
a
ird
ada: I
m
p
r
ove do
c
umentation for -gnatw
.
h
w
ar
n
ings
commit
|
commitdiff
|
tree
2022-11-21
Marc
P
oulhi
è
s
ada: Reject n
o
n
c
onfirming Size attribute value for
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
R
onan Desplanque
s
a
d
a: Fi
x
gnatmak
e
's p
a
r
sing of adc f
i
les
commit
|
commitdiff
|
tree
2022-11-21
Ronan Despl
a
nques
ad
a
: Twe
a
k error messages on misplaced
with keywords
commit
|
commitdiff
|
tree
2022-11-14
Bo
r
is Yako
b
o
wski
ada: S
i
l
ence CodePeer false positive
commit
|
commitdiff
|
tree
2022-11-14
Bob Duff
ada: Remove incorrect co
m
ments about
i
nitialization
commit
|
commitdiff
|
tree
2022-11-14
Javier Miranda
ada:
Fla
g
unsupporte
d
dispa
t
c
h
ing
c
ons
t
ructor cal
l
s
commit
|
commitdiff
|
tree
2022-11-14
A
l
exandre Oliva
ada: hardcfr docs: add optio
n
al
checkpoints
commit
|
commitdiff
|
tree
2022-11-14
Gary Dism
u
ke
s
a
d
a
:
Cr
a
sh on applying 'Pos to expressi
o
n of a type
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
R
o
nan Desp
l
an
q
ues
a
da: Fix non
-
capturing
p
arentheses han
d
ling
commit
|
commitdiff
|
tree
2022-11-14
Y
annick M
o
y
ada: Fix error
o
n SPARK_Mode o
n
library-l
e
vel separa
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
i
ot
r
Trojanek
ada: Adjust
l
o
c
ations i
n
aspects on generic
f
ormal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Trojanek
ada:
F
ix style in c
o
de f
o
r gene
r
ic
formal subprogra
m
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piot
r
Trojanek
ada: Exp
a
nd ge
n
e
r
ic
for
m
a
l
subprogra
m
s
with
c
on
t
ract
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
a
trick Be
r
nardi
ada: Enable
S
upport_A
t
omic_Primi
t
ives on QNX
and RTEMS
commit
|
commitdiff
|
tree
2022-11-14
Y
a
nnic
k
M
o
y
ad
a
: Improve location of error messages in instantiati
o
ns
commit
|
commitdiff
|
tree
2022-11-14
A
rna
u
d Charlet
ada:
R
e
mo
v
e gna
t
check reference
commit
|
commitdiff
|
tree
2022-11-08
Eric
Botcazou
ada
:
F
i
x o
v
ersight in impl
e
ment
a
ti
o
n
of
allo
c
ators
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Steve B
a
ird
ada: Compile
-
time si
m
pli
f
ication of 'Image incorrectly
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
Trojanek
ada: Clean up call to check if aspect
s
are pres
e
nt
commit
|
commitdiff
|
tree
2022-11-08
Ronan Desplan
q
ues
ada: Adjust classwide contrac
t
ex
p
re
s
sion p
r
ean
a
lysis
commit
|
commitdiff
|
tree
next