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: Spurious reference warning on qualified expression
2024-05-06
Justin
Squirek
ada:
S
purious re
f
erence w
a
rning on
q
ualified
e
x
pressi
o
n
commit
|
commitdiff
|
tree
2024-05-06
Justin Squirek
a
da
:
Spurious re
f
er
e
nc
e
warning on qualified e
x
p
re
s
sion
commit
|
commitdiff
|
tree
2024-05-06
Ro
n
an
D
esplanques
ad
a
: Fix RM re
f
erence in comment
commit
|
commitdiff
|
tree
2024-05-06
Eric Botc
a
zou
ada: Make
a
c
o
upl
e
of
comm
e
nt
tweak
s
commit
|
commitdiff
|
tree
2024-05-06
E
ric Botc
a
zou
ada: Rework p
r
ocessing of
spe
c
ial objects needing finalization
commit
|
commitdiff
|
tree
2024-05-06
E
ric Botcazou
ada: Re
p
lace references t
o
PO_Simp
l
e by Pr
o
tected_Objects
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Eric
B
otcazou
a
d
a:
F
i
x
w
r
ong F
i
nalization_Size for No_Hea
p
_F
i
nalization
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Ronan
D
esplanq
u
es
ada:
Fix spurious warni
n
g e
m
ission
commit
|
commitdiff
|
tree
2024-05-06
Piotr Tr
o
janek
ada: Rep
l
a
ce redunda
n
t conditions
w
i
th
as
s
ert
i
ons
commit
|
commitdiff
|
tree
2024-05-06
Yann
i
ck Mo
y
ada: Fix
detection
o
f (U
n
)Hide_In
f
o
p
r
agma
i
n GNATprove
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Piotr Troj
a
nek
ada: Fi
x
missing
asso
c
iated node
f
or pa
c
ked array
itypes
commit
|
commitdiff
|
tree
2024-05-06
Richar
d
Kenner
ada: Don't propagate
c
o
nve
n
tion to int
e
rnal s
u
bp
r
ogr
a
ms
commit
|
commitdiff
|
tree
2024-05-06
B
o
b Duff
ada: Fix
memory leak in 'Image
commit
|
commitdiff
|
tree
2024-05-06
E
r
i
c
Bo
t
cazou
ada: Extend Round attribute to
o
r
dinary fixed
p
oint
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
E
ric Botcazou
a
d
a
: Fix non
-
idiomatic construc
t
commit
|
commitdiff
|
tree
2024-05-06
Eric Botcazou
a
d
a: Adjust so
u
rce lo
c
at
i
on for d
e
g
enerate scope
ma
s
ter
commit
|
commitdiff
|
tree
2024-05-06
Yannick Moy
ada: Prevent i
n
lining in GNATprove for memory leak
s
commit
|
commitdiff
|
tree
2024-05-06
E
ric Botc
a
zou
ada: Partial impleme
n
t
ation
o
f redesign of suppor
t
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Yannic
k
Moy
ada: Do n
o
t
i
nline in GNATprove
t
he s
u
bpro
g
ram
s
with
.
.
.
commit
|
commitdiff
|
tree
2024-05-02
Marc Poulhiès
fix sing
l
e
ar
g
ument static
_
a
s
sert
commit
|
commitdiff
|
tree
2024-04-15
Piotr Trojane
k
a
da
:
Add d
o
cumentation for Ex
c
eptional_Ca
s
es
commit
|
commitdiff
|
tree
2024-01-23
Ron
a
n Des
p
lanqu
e
s
U
pdat
e
year in Gnat
v
sn
commit
|
commitdiff
|
tree
2024-01-22
Marc
Poulhi
è
s
Update c
o
pyrigh
t
years
.
commit
|
commitdiff
|
tree
2024-01-09
E
r
i
c Botcazou
a
d
a: Fix bogu
s
Constraint_Error on allo
c
ator for access
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Eric Botcazou
ada
:
Pre
l
i
minar
y
cleanup in a
l
ias
i
ng support code
commit
|
commitdiff
|
tree
2024-01-09
Viljar Ind
u
s
a
da: Do not count comp
a
r
i
son
of addresses as a modification
commit
|
commitdiff
|
tree
2024-01-09
G
ary Dismukes
ada:
M
inor chan
g
e
replacing "not Pres
e
nt" tests with
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Bob Duff
ada: Al
l
o
w
p
assing priva
t
e
types
to generic formal
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Gary Dismukes
ada
:
Excess el
e
m
e
nts
c
r
eated f
o
r indexed agg
r
egates
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
E
r
ic Botcazou
ada: Remove u
n
used runtime
entit
y
commit
|
commitdiff
|
tree
2024-01-09
Tucker Taft
a
da: Fi
x
limited_with in
C
heck_Scil; allo
w
for <> in
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Er
i
c Botcazou
ada: Fix intern
a
l e
r
r
o
r on clas
s
-wide a
l
loca
t
or
i
nside
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Eri
c
Bot
c
azou
a
d
a
:
Add __atomic_
s
tore_
n
binding
t
o
S
y
s
t
em
.
Atomic_Primitives
commit
|
commitdiff
|
tree
2024-01-09
Javier Miranda
a
da: C
a
nnot requeue t
o
a procedure implemente
d
b
y
a
n
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Piotr Troja
n
ek
ada: Remove s
i
d
e effects
d
epending
o
n the conte
x
t of
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
P
i
o
tr Trojane
k
ada: More aggress
i
ve i
n
lining of subprogram calls i
n
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
P
i
ot
r
Troj
a
nek
ada:
Remove dead detectio
n
of recurs
i
v
e inlined subpro
g
r
ams
commit
|
commitdiff
|
tree
2024-01-09
Piotr Tr
o
janek
ada: R
e
move
dead
c
od
e
fo
r
GNATpr
o
ve
i
nlining
commit
|
commitdiff
|
tree
2024-01-09
Piotr T
r
o
jane
k
a
da:
Fix uses of not Presen
t
commit
|
commitdiff
|
tree
2024-01-09
Steve Baird
ada:
F
ix
bu
g
i
n
Se
m
_Util
.
En
c
l
osing_Declaration
commit
|
commitdiff
|
tree
2024-01-09
Steve Baird
ada: Er
r
or
compiling A
d
a 2022
o
bject renamin
g
w
ith
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Joffr
e
y
Huguet
ad
a
:
F
ix
precondition in Interfaces
.
C
.
Stri
n
g
s
commit
|
commitdiff
|
tree
2024-01-09
Eric
Botcazou
ada: Remove u
n
rea
c
hable
c
o
de in Re
s
olve
_
Ex
t
ension_Aggreg
a
t
e
commit
|
commitdiff
|
tree
2024-01-09
Bob D
u
ff
a
d
a
: Avoid xref on out params of TSS
commit
|
commitdiff
|
tree
2024-01-09
Piotr Tr
o
janek
a
da: Docum
e
nt new SPARK as
p
ect and
p
ragma A
l
ways_Terminates
commit
|
commitdiff
|
tree
2023-12-19
Marc Poulhiès
testsu
i
te:
adj
u
st c
a
ll to
abort in
e
xcess-preci
s
ion-12
commit
|
commitdiff
|
tree
2023-12-19
Marc Pou
l
hiès
ada: Add makefile tar
g
ets for building/insta
l
li
n
g html doc
commit
|
commitdiff
|
tree
2023-12-19
Eri
c
Bot
c
azou
a
da: Fix int
e
rnal erro
r
on c
a
ll with
p
a
rameter of p
r
e
d
icated
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Viljar Indus
ada: Check all interfaces for
v
alid i
t
erator
type
commit
|
commitdiff
|
tree
2023-12-19
Gary Dis
m
ukes
ada: Missing
er
r
or on positional c
o
n
t
ainer aggr
e
g
ates
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Sheri Bernst
e
in
ada:
R
emove G
N
ATcheck violati
o
ns
commit
|
commitdiff
|
tree
2023-12-19
Eric
B
otcazou
ada:
R
e
wo
r
k
c
omm
e
nt in Exp
a
nd
_
Ct
r
l_Function_Call
commit
|
commitdiff
|
tree
2023-12-19
Gary Dismukes
ada
:
C
o
mpiler
ha
n
gs
on cont
a
iner aggregate with function
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Piotr Trojanek
a
d
a
: Fix style and typ
o
s i
n
comments
commit
|
commitdiff
|
tree
2023-12-19
Piotr
Trojanek
ada: R
e
mov
e
unrefere
n
ced util
i
ty
routi
n
e Ge
t
_Logical_Line_Nu
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Patrick Bernardi
ad
a
: gnatb
i
nd
:
Do
no
t
ge
n
erate
A
da
.
Co
m
man
d
_Line r
e
f
e
rences
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Vasi
l
iy Fofanov
ada: Optimize p
e
rformance and remove
d
y
namic f
r
ame
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Piotr Trojane
k
ada: I
g
no
r
e unconstrained compo
n
ents as inputs
for
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Er
i
c Botca
z
ou
a
d
a: Rename Is_Co
n
str_Subt_For
_
U
N
_Aliased
f
lag
commit
|
commitdiff
|
tree
2023-12-19
Jo
h
annes
K
liem
a
nn
ada
:
Re
m
o
ve No_Dynam
i
c_Priorities f
r
om
Restricted_Tasking
commit
|
commitdiff
|
tree
2023-12-19
Pat
r
i
c
k Bernardi
ada: Adapt Ada
.
Comm
a
nd_Line to work on
configurable
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Ronan Desp
l
a
n
que
s
ada: Fix crash on
concurrent type aggregate
commit
|
commitdiff
|
tree
2023-12-19
Eric B
o
tcazou
ada: Fur
t
her clea
n
up in
f
inalization m
a
chinery
commit
|
commitdiff
|
tree
2023-12-19
Y
ann
i
ck
M
oy
ada: Fi
x
SP
A
RK expansion of container aggre
g
ates
commit
|
commitdiff
|
tree
2023-12-19
E
r
ic Botc
a
zou
ada:
A
d
d missing guard to p
r
evious
change
commit
|
commitdiff
|
tree
2023-12-19
Eri
c
Botcazou
ada: Fix spuriou
s
visibil
i
ty error on par
e
n
t
'
s
c
o
m
ponen
t
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Botc
a
z
ou
ada:
P
lug small loophole in
f
i
nal
i
zatio
n
machinery
commit
|
commitdiff
|
tree
2023-12-19
Steve Baird
ad
a
: Cope with Sem_Util
.
Enclos
i
ng_Declaration oddness
.
commit
|
commitdiff
|
tree
2023-12-19
Rona
n
Despl
a
nque
s
ada: Restore object
constraint optimization
commit
|
commitdiff
|
tree
2023-12-19
Yannick M
o
y
ada:
D
o not is
s
ue S
P
ARK legality error if SPARK
_
Mode
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Yannick Moy
ada:
C
leanup SPARK
l
egali
t
y
c
hecki
n
g
commit
|
commitdiff
|
tree
2023-12-19
S
te
v
e Baird
ad
a
: I
l
l
e
gal
i
nstance of G
e
neri
c
_
1
.
Gen
e
ric_2 inc
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazou
ada: Furth
e
r cl
e
an
u
p in f
i
na
l
i
z
atio
n
mac
h
in
e
ry
commit
|
commitdiff
|
tree
2023-12-08
M
a
rc Poulhi
è
s
Revert
"
t
estsu
i
te: require avx_runtime fo
r
some tes
t
s"
commit
|
commitdiff
|
tree
2023-12-07
M
a
r
c
Poulhiès
testsu
i
te: skip gcc
.
tar
g
et
/
i38
6
/pr106910-1
.
c
t
est when
.
.
.
commit
|
commitdiff
|
tree
2023-12-07
Marc Poulh
i
ès
te
s
tsuite: refine gcc
.
dg/
a
n
a
lyzer/fd-4
.
c test for n
e
w
l
i
b
commit
|
commitdiff
|
tree
2023-12-07
M
arc
P
oulhiès
t
estsuite: req
u
ire av
x
_runt
i
me for some tes
t
s
commit
|
commitdiff
|
tree
2023-11-30
Er
i
c
Botcazou
a
da: Rework fix for wrong fin
a
li
z
a
tio
n
of qua
l
if
i
ed
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
ada: Support Put_Ima
g
e for
t
ype
s
i
n
user-
d
efined instances
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Yannic
k
Moy
ad
a
:
R
emov
e
S
PAR
K
legali
t
y che
c
ks
commit
|
commitdiff
|
tree
2023-11-30
Sheri Bernstein
ada: Rem
o
v
e
GNATcheck violations
commit
|
commitdiff
|
tree
2023-11-30
Viljar Indus
ada: Ignore
defere
d
compile
t
ime
errors without backend
commit
|
commitdiff
|
tree
2023-11-30
Yann
i
c
k Moy
ada: Fix spel
l
ing of functions with(out) "side
e
f
fe
c
t
s
"
commit
|
commitdiff
|
tree
2023-11-30
J
av
i
er Miran
d
a
ada: Crash i
n
i
tia
l
izing
component o
f
private record
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
a
d
a
:
Name resolut
i
on in
e
xpa
n
ded instanc
e
s
commit
|
commitdiff
|
tree
2023-11-30
S
t
eve Ba
i
rd
a
da: Add
c
o
mme
n
t describing P
a
rtition_
E
laborati
o
n
_Pol
i
cy
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve B
a
ird
ada:
Too-s
t
rict co
n
formance checking for fo
r
mal discri
m
inate
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Eric
B
otcazou
ada: Fi
x
predic
a
te
c
h
eck fa
i
lure
i
n
E
xp
a
n
d_A
l
locator_Expression
commit
|
commitdiff
|
tree
2023-11-30
Eri
c
Botcazou
a
da:
Fix
w
r
ong fin
a
li
z
a
tion
for quali
f
ied a
g
gregat
e
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
S
teve Baird
ada: Con
s
tant_Indexing used when context requires a
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Simon Wr
i
gh
t
Fix PR ada/111909 On
Darwin, dete
r
mine filesystem ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric
Botcazou
ada: Fi
x
w
r
o
ng s
i
ze value output with -g
n
a
tR -gnatc
commit
|
commitdiff
|
tree
2023-11-28
M
ar
c
P
oulhiès
ada: Add
commen
t
f
o
r assertion
commit
|
commitdiff
|
tree
2023-11-28
S
t
e
v
e Baird
ada: Err
o
r com
p
i
l
i
ng reduction
e
xpress
i
on with overloade
d
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Gary Dismukes
ad
a
: Er
r
or
s
on instance of
M
ultiway
_
Trees with di
s
c
rimi
n
a
ted
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Bob Duff
ad
a
: False alarms from
-gnatw
.
t with
generic fun
c
tions
commit
|
commitdiff
|
tree
2023-11-28
E
ric Botcazou
ad
a
:
Further cle
a
n
u
p in fi
n
a
liz
a
tion machinery
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazou
ada:
F
ix incorrect
quoti
n
g in documentation
commit
|
commitdiff
|
tree
2023-11-28
Eri
c
Bot
c
azou
ada:
Fix prematur
e
finaliza
t
ion for nested
r
eturn wit
h
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Sebastian P
o
e
plau
ada: Add new pr
e
dicate Is_A
d
d
res
s
_Compatible_
T
ype
commit
|
commitdiff
|
tree
next