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 references to old variables that have been refactored
2022-06-02
Marc Poul
h
iès
[
Ada]
Fix ref
e
rences
to
o
ld variabl
e
s that ha
v
e be
e
n
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Cl
a
ire D
r
oss
[Ada] Rename
GNAT
p
rove annotate pragma
for term
i
natio
n
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
J
ulien Bortolussi
[Ada]
M
a
k
e
the functional Maps
and
Sets unbound
e
d
commit
|
commitdiff
|
tree
2022-06-02
E
ric Bo
t
c
a
zou
[Ada]
F
ix spuri
o
us use of trampolines with interface
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Gh
j
uvan Laca
m
br
e
[A
d
a
]
A
dd precise s
u
bprogram identification to -fdiagnostics
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Arn
a
ud
C
h
arlet
[A
d
a] Refine previous
c
hanges on maki
n
g symbols public
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Y
a
nn
i
ck
M
o
y
[Ada] Fix spurious
e
rrors on ghost code in generics
commit
|
commitdiff
|
tree
2022-06-02
Er
i
c Botcazou
[Ada] Move registering code for predefined primitives
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Eric B
o
tca
z
ou
[Ada] Build static dispa
t
ch tables alway
s
at the end
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Doug Rupp
[Ada] v
x
7r2-arm/a
a
rch64
- Support At
o
mic Primitives
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Javier Miran
d
a
[
A
d
a]
Update documentati
o
n
of GNAT
.
Dynamic_Tables
commit
|
commitdiff
|
tree
2022-06-02
Eric Bot
c
azou
[
Ada] Fix detectio
n
of deferred constants for
freezing
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Jo
f
frey Huguet
[Ada] Fi
x
prec
o
nditio
n
s of Interfaces
.
C
.
St
r
i
ngs
commit
|
commitdiff
|
tree
2022-06-02
Yannic
k
Moy
[
A
da] Is
s
u
e
errors on wron
g
cont
e
xt for ghost entities
commit
|
commitdiff
|
tree
2022-06-02
Joffrey H
u
guet
[
A
da] Complete
c
o
ntract
s
of
I
nterfaces
.
C
.
Strings subprogra
m
s
commit
|
commitdiff
|
tree
2022-06-02
Yannick Moy
[Ada] Removal of dead code Analyze_Label_
E
ntity
commit
|
commitdiff
|
tree
2022-06-02
Eric Botcazou
[Ada] Prop
a
gate Ha
s
_
I
nheri
t
{able,ed}_Inv
a
riants to
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
D
o
ug
Rupp
[
A
da]
C
o
mbine system
.
ads
f
iles
-
a
r
m and aarch64
linu
x
commit
|
commitdiff
|
tree
2022-06-02
Doug
Rupp
[Ada]
C
ombine sys
t
em
.
ads f
i
le
-
v
x
works7 rt
p
constants
commit
|
commitdiff
|
tree
2022-06-02
Justi
n
Squ
i
rek
[Ada] Gnatbind c
r
ash d
u
ring checksum calcula
t
ion
commit
|
commitdiff
|
tree
2022-06-02
Clair
e
Dro
s
s
[
A
da]
F
ix itera
t
i
o
n on forma
l
vector
s
commit
|
commitdiff
|
tree
2022-06-02
Joffrey Hu
g
uet
[Ad
a
]
A
dd contract
s
to Sys
t
em
.
Address_T
o
_Acc
e
ss_Co
n
ve
r
sion
s
commit
|
commitdiff
|
tree
2022-06-02
Joffrey Huguet
[Ada] Add contra
c
ts
to Interfaces
.
C
.
Stri
n
gs
commit
|
commitdiff
|
tree
2022-06-01
Yannic
k
Moy
[Ada] Allow confirming
v
olat
i
le
p
roperties on
N
o
_Cac
h
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
D
oug Rupp
[Ada] Combine system
.
ads file - v
x
works7 kernel constant
s
.
commit
|
commitdiff
|
tree
2022-06-01
Doug Rupp
[Ada] Comb
i
ne system
.
a
d
s fil
e
s - arm and
a
arch64 qn
x
commit
|
commitdiff
|
tree
2022-06-01
Piotr
T
rojanek
[A
d
a
] Fix missing space in
e
r
r
or mes
s
age
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[Ada]
Fix c
l
assifi
c
a
tion of Subpro
g
ram_Var
i
ant as ass
e
r
tion
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
E
ric Botcazou
[
A
da
]
Rename R
e
turn
s
_On_Secondary_S
t
ack into Needs_
S
e
condary
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Bo
t
c
a
zou
[Ada
]
Do not freeze
s
ubprogram body without
s
p
ec too
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ju
l
ien Bortolus
s
i
[A
d
a
]
Bug
f
ix
i
n "=" function of formal doubly linked
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
M
a
rc Poulhiès
[Ada] Fix pr
e
dic
a
te check on obje
c
t declarati
o
n
commit
|
commitdiff
|
tree
2022-06-01
Doug Rupp
[A
d
a] arm-qnx-7
.
1:
u
n
wind go
e
s
wrong after regs
restore
commit
|
commitdiff
|
tree
2022-06-01
Ghjuvan
Lacambre
[Ada] Enabl
e
usin
g
abso
l
ute paths in
-
fdiagnosti
c
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Er
i
c Botcazou
[Ada] Fix
b
ad
inter
a
ction between
Inli
n
e_Always and
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Piotr Troja
n
ek
[
A
da]
P
ropagate
null-
e
xclusion
to anonymous acc
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
E
r
i
c Bo
t
cazou
[Ada] Add a com
m
ent about a
fi
n
alization issue
commit
|
commitdiff
|
tree
2022-06-01
Eric B
o
tcazou
[Ada] Get rid of secon
d
ary stack
f
or controlled
comp
o
n
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Alexandre
Ol
i
va
[Ada] Note
that harden
i
ng fea
t
ures
a
re experimental
commit
|
commitdiff
|
tree
2022-06-01
Steve Baird
[Ada] A
n
ot
h
e
r case where
f
reez
i
ng in
c
orrectly suppresses
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eri
c
Botcazou
[
A
da] Adjust re
f
eren
c
e i
n
com
m
ent
commit
|
commitdiff
|
tree
2022-06-01
Dou
g
Rupp
[Ada] QNX shared
l
ibr
a
ries - arm-qnx build gnatlib
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric
Botc
a
zou
[
A
da
]
Fix
c
o
m
p
o
s
a
bility
of
r
eturn
o
n t
h
e
s
econdary
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghj
u
van Lacambre
[Ada
]
Fix
"form
a
l paramet
e
r & is not referenced" not
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
G
hjuvan
L
a
ca
m
b
re
[Ada] Adjust warning
s
witches
commit
|
commitdiff
|
tree
2022-06-01
Eric Botc
a
zou
[Ada] Minor
t
weak
s
to
d
i
s
patc
h
in
g
s
upport cod
e
commit
|
commitdiff
|
tree
2022-06-01
Ste
v
e
B
ai
r
d
[Ada] Missing discriminant che
c
ks when accessing variant
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duff
[A
d
a] Fix search
f
or "f
o
r
.
.
.
of" loop subprogra
m
s
commit
|
commitdiff
|
tree
2022-06-01
D
oug Rupp
[Ada]
arm-qnx
-
7
.
1
: u
n
w
i
nd goes
w
r
ong after regs r
e
stor
e
commit
|
commitdiff
|
tree
2022-06-01
J
u
lien Borto
l
ussi
[Ada]
A
dd re
f
e
r
ence counting
in functi
o
n
a
l contain
e
rs
commit
|
commitdiff
|
tree
2022-06-01
Yannic
k
Moy
[Ada]
I
ssue
a warning
o
n entity hid
d
en in u
s
e_c
l
ause
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Yanni
c
k Moy
[Ada] Issue better error m
e
ssage for out-o
f
-order keywords
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[Ada] Use Actions field of
f
reeze nodes for subp
r
ograms
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
M
a
rc Poulhiès
[
Ada]
A
dd inline
d
ocumentation for
I
s_
{
P
a
r
e
nth
e
sis
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob
Duff
[Ada]
I
ncorrect code for
a
nonymou
s
access-to-
f
unction
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duff
[
A
da]
S
u
p
press war
n
i
n
gs on membershi
p
test o
f
r
anges
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan
L
a
c
ambre
[Ada] Fix spurio
u
s options being inserted in -fdia
g
n
ostics
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan L
a
cambre
[A
d
a] Add "option
"
f
i
eld to GNAT's -fdiagn
o
s
tics-f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Julien B
o
rtolussi
[A
d
a] Remove cont
r
act
d
u
p
l
ication in formal
doubly
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Fix exp
a
nsion of structural subpr
o
g
r
a
m
variants
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Si
m
p
lify co
n
struct
i
on of a
p
ath to fil
e
commit
|
commitdiff
|
tree
2022-05-30
Piotr
Trojanek
[Ada] Re
m
ove repeat
e
d desc
r
iption of support
fo
r
A
d
dress
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an Lacambre
[Ada] Add
i
n
sertion character t
o
In
e
ffective_Inline_
W
arni
n
gs
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghj
u
v
an La
c
ambre
[Ada] Add insertion character for overlay mod
i
ficatio
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan
Lac
a
mb
r
e
[
Ada] Fi
x
Wa
r
n_O
n
_All_Unread_
O
u
t
_Parameters not
b
eing
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[Ad
a
] Fix Warn_On
_
Late_Prim
i
t
i
ves messa
g
e
s not be
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an L
a
cambre
[Ada] Fix
-
gnatw
.
f warnings not having th
e
r
ight insertion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
P
i
otr T
r
ojane
k
[Ada]
Deconstruct
deferred
references
commit
|
commitdiff
|
tree
2022-05-30
B
o
b
D
uff
[Ada] Avoid cre
a
ting a
f
inaliza
t
ion wra
p
per
b
lock for
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Justi
n
Squ
i
rek
[Ada] Incor
r
ect
u
nreferenced
w
arnings on
n
ull subprograms
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Romain
Beguet
[Ada] Fix illegal Ada in s-dwali
n
.
a
db
commit
|
commitdiff
|
tree
2022-05-30
Steve Baird
[Ada] Incorrect determina
t
i
on of whether an e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
E
ric Botcazou
[Ada] Fi
x
expansion of a
g
gregate for
discri
m
inate
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Er
i
c Bo
t
cazou
[Ada] Do not freeze speci
f
ically for dispatc
h
tables
commit
|
commitdiff
|
tree
2022-05-30
E
r
ic
B
otcazou
[Ada] Do no
t
analyze expression
f
unctions
f
or di
s
patch
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ar
n
aud Charlet
[Ada]
I
nt
r
o
duce
Opt
.
CCG_Mod
e
commit
|
commitdiff
|
tree
2022-05-30
Y
a
nnick Moy
[Ada]
Update p
r
oofs
o
f
doubl
e
arithmetic un
i
t aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Alexandre
Oli
v
a
[
A
da] Tweaks
to hardening docs
commit
|
commitdiff
|
tree
2022-05-30
Piotr T
r
ojanek
[
A
da] Fix typ
o
in comment for functi
o
nal sets
commit
|
commitdiff
|
tree
2022-05-30
Eric
B
o
tcazou
[Ada] Restore hiding of predefine
d
"=" operat
o
r
t
h
rough
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcazou
[Ad
a
] Do not f
r
e
e
z
e prof
i
les for dispatch tables
commit
|
commitdiff
|
tree
2022-05-30
Yannick Moy
[Ada]
A
dapt proof of r
u
ntime unit s-arit
3
2
commit
|
commitdiff
|
tree
2022-05-30
Yann
i
c
k
M
o
y
[Ada] PR ada/1
0
5303 Fix use of Assertion_Pol
i
cy in
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ste
v
e Baird
[
A
d
a] De
l
ete no-longer-used
Convert_To
_
Return_
F
als
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ju
l
i
en Bortolussi
[
A
da
]
Ad
d
e
m
pty constructors to the functio
n
al containers
commit
|
commitdiff
|
tree
2022-05-30
Ghjuva
n
Lacamb
r
e
[Ada
]
Fix new
C
U
DA k
e
rnel
r
egis
t
ration scheme
commit
|
commitdiff
|
tree
2022-05-19
E
ric Botcazou
[Ada] Avo
i
d cop
y
operation for re
t
urn
s
inv
o
lving
f
uncti
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Bo
t
ca
z
ou
[Ada] Do not give warnings for co
m
piler-ge
n
erated
e
ntities
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
Ada] Sma
l
l hous
e
keepi
n
g work in gn
a
t_gimpli
f
y_
e
xpr
commit
|
commitdiff
|
tree
2022-05-19
E
ric Botcazou
[
Ada] Add support for "simd" function attri
b
ute
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada]
Fix in
t
ern
a
l
e
rror o
n
unchecked u
n
io
n
with
c
omponent
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
da] Do not s
e
t C
u
rrent
_
Error_
N
ode
t
o
a n
o
de
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric
Bo
t
caz
o
u
[Ad
a
] Fix
internal e
r
r
or
on
semi-circul
a
r re
c
ord
t
y
p
es
commit
|
commitdiff
|
tree
2022-05-19
E
ric
Botcazou
[Ada] Fix f
o
r i
n
te
r
nal error on semi
-
circ
u
lar
r
eco
r
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
B
o
t
c
azou
[Ada] A
d
just
c
opyright line
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
Botcazou
[Ada] Pre
s
erve unch
e
cked conver
s
ion of string
constant
commit
|
commitdiff
|
tree
2022-05-19
Piotr T
r
ojanek
[
Ada
]
Remove re
d
un
d
ant marking of illegal pragma with
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr T
r
ojanek
[Ada
]
F
i
x
continuation message without
a prior error
commit
|
commitdiff
|
tree
2022-05-19
Eric Bo
t
c
azo
u
[
A
d
a] Mark Requi
r
e
s
_Transient_Scope as Inline
commit
|
commitdiff
|
tree
2022-05-19
Steve
B
air
d
[Ada]
Avo
i
d internal com
p
i
ler error for i
l
l
e
g
a
l Predicate_Fa
.
.
.
commit
|
commitdiff
|
tree
next