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 internal error on predicate aspect with iterator
2022-05-16
Eric B
o
tcazou
[Ada] Fix
int
e
rna
l
er
r
o
r
on predicat
e
aspe
c
t
with
i
t
e
rator
commit
|
commitdiff
|
tree
2022-05-16
St
e
ve Baird
[
A
da] Implement
component finali
z
a
tion ord
e
rin
g
rul
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Bo
t
c
a
zou
[Ad
a
]
F
ix implementatio
n
issu
e
s wit
h
equality for unta
g
g
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
i
otr Trojanek
[Ada] Remove du
p
licate
d
d
etection
o
f u
s
er-defined equality
commit
|
commitdiff
|
tree
2022-05-16
Piotr Tr
o
jan
e
k
[Ad
a
] Improve bu
i
lding of unt
a
gged
e
quality
commit
|
commitdiff
|
tree
2022-05-16
Oli
v
i
er Hainque
[Ada]
M
a
p
gnatl
i
b-shared to gnatlib-shared-d
u
al
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
E
ric Botca
z
ou
[Ada] Co
u
p
l
e
of small
consistency tweaks
commit
|
commitdiff
|
tree
2022-05-16
Eric
Bot
c
azou
[Ada]
F
ix sp
u
rious error on
limited v
i
ew with incomplete
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
iotr Trojanek
[Ada
]
Pick volatile refin
e
ment property of a su
b
type
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[Ada]
C
larify code for de
t
ect
i
ng
v
o
l
a
tile
r
efi
n
ement
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr T
r
oja
n
ek
[Ada] Remove duplicate
d
code
f
or detecting enabled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
E
ric
B
otcazou
[Ada] Fi
x
inco
r
r
e
ct cal
l
to inherite
d
functio
n
with
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Gary Di
s
mukes
[Ada] Storage_Model
_
Obj
e
ct fails to retu
r
n object entity
commit
|
commitdiff
|
tree
2022-05-13
Ja
v
i
er Miranda
[
Ada] Compiler c
r
ash on -gnata
-O2
commit
|
commitdiff
|
tree
2022-05-13
Arnaud C
h
arlet
[A
d
a] On
l
y u
s
e alternate stack w
h
en needed
commit
|
commitdiff
|
tree
2022-05-13
Alexa
n
dre Oliva
[Ada] Extend hardcfr testi
n
g (doc
u
mentation)
commit
|
commitdiff
|
tree
2022-05-13
Ghjuvan La
c
a
mbre
[Ada] CUDA:
u
s
e
binder to generate kernel-registr
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Marc Poul
h
iè
s
[Ada
]
Fix iterated compon
e
nt association
for array
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yan
n
i
ck M
o
y
[
Ada]
Sim
p
lify h
e
lper units for formal ha
s
h
e
d
s
ets
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yann
i
c
k
Moy
[Ada] Ada
p
t bod
y
of for
m
a
l
set
s
an
d
m
aps for S
P
ARK
commit
|
commitdiff
|
tree
2022-05-13
Yannick Moy
[
Ada]
Remove de
p
endency
o
n tamperin
g
checks
a
nd controlled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Mir
a
nda
[Ada]
A
d
a ABI
change
when building with asserti
o
ns
commit
|
commitdiff
|
tree
2022-05-13
J
ohan
n
e
s Kanig
[Ada] Take i
n
to a
c
count GNSA_ROOT
env var
for prefix
commit
|
commitdiff
|
tree
2022-05-13
Steve Baird
[Ada] Implement late initializati
o
n rules for type
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ed
Scho
n
berg
[Ada
]
Handle IN it
e
rator for clas
s
-wid
e
derived obj
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yannic
k
Moy
[
A
da
]
Facilita
t
e proof of
Overwrite in bounde
d
stri
n
gs
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Eti
e
nne S
e
r
vais
[Ada] Fix
c
ode example on represe
n
tation clause
commit
|
commitdiff
|
tree
2022-05-13
Eric Bot
c
a
z
o
u
[Ad
a
] Do not overwrite
l
imited view of
r
e
s
ult ty
p
e
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada] Wr
o
n
g address
for c
l
a
ss-wide inte
r
face
access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javi
e
r
Mir
a
nda
[Ada] Crash in
t
a
s
k body reference to d
i
scriminant
commit
|
commitdiff
|
tree
2022-05-13
Justin Squi
r
ek
[Ad
a
] Improve expected
t
y
pe er
r
or messages
commit
|
commitdiff
|
tree
2022-05-13
Ale
x
andre Oliva
[Ada] Documen
t
control flow red
u
ndancy
commit
|
commitdiff
|
tree
2022-05-13
Eric Botcazo
u
[Ad
a
]
Fix compiler
c
r
ash on
F
O
R ite
r
a
t
ion scheme over
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Trojanek
[Ad
a
] R
e
m
o
ve obso
l
ete uses of U
n
c
hecke
d
_Conver
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Trojanek
[Ada] Remove obsolete uses of Unchecked_Deallocation
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Marc Poulh
i
ès
[Ada] Fix the Ada 202
2
i
t
erated
component a
s
sociation
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Etienn
e
Serv
a
is
[Ada] Fix typo on "that"
commit
|
commitdiff
|
tree
2022-05-13
Justin Squirek
[
A
da] Spurious access er
r
or in f
u
ncti
o
n
r
e
t
urning type
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piot
r
Trojanek
[Ada] Accept effectively v
o
l
a
tile components in a
c
tuals
commit
|
commitdiff
|
tree
2022-05-13
Pi
o
tr Tro
j
an
e
k
[Ada
]
Remove redundant guard
i
n che
c
ks f
o
r volatile
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Justi
n
Sq
u
irek
[
Ada
]
I
n
effec
t
ive us
e
type clause war
n
ings c
a
use compi
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Tro
j
anek
[
A
d
a
]
Skip postponed
v
alidation che
c
ks with
co
m
pilation
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Arnaud Charl
e
t
[
A
da] Fix
URL in doc
commit
|
commitdiff
|
tree
2022-05-12
Bob
D
uff
[Ada] Restore
d
ouble quot
e
s in d
e
bug printouts
commit
|
commitdiff
|
tree
2022-05-12
Pio
t
r Troja
n
e
k
[A
d
a] Reuse collective subtype
f
or comp
a
rison operators
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr
Troja
n
ek
[
A
da] Remove unrefere
n
ce
d
Is_Se
l
ector
_
Name rou
t
ine
commit
|
commitdiff
|
tree
2022-05-12
Arnaud Charlet
[Ada] Add
m
o
re du
m
m
y
n
ames in Sem_
W
a
r
n
.
Has_Junk_Name
commit
|
commitdiff
|
tree
2022-05-12
P
i
otr Trojane
k
[Ada] Fix w
a
rning abo
u
t generic subpr
o
grams with
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojan
e
k
[Ada] Fix warning about gen
e
ric subprog
r
am
s
withed
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Yan
n
ick Mo
y
[A
d
a] Remove useless
pra
g
ma War
n
ings Off f
r
om runtime
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Yann
i
ck Moy
[Ada] Do
not issue a
w
a
rning on a postc
o
ndition of
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
A
rn
a
ud
Cha
r
let
[Ada] Remo
v
e front-
e
nd SJLJ p
r
ocessing
commit
|
commitdiff
|
tree
2022-05-12
Bob Duff
[Ada
]
Make debug printouts m
o
re r
o
bust
commit
|
commitdiff
|
tree
2022-05-12
Yannic
k
Moy
[Ada
]
A
d
d g
h
ost
code
to facilitate proof with SPARK
commit
|
commitdiff
|
tree
2022-05-12
Yannick M
o
y
[Ada]
R
em
o
v
e
use o
f
use-
c
lauses in loaded runtime u
n
its
commit
|
commitdiff
|
tree
2022-05-12
Etienne Servais
[Ada]
F
ix sup
p
ort for ISO
-
8
85
9
-15 and IBM CP 8
5
0 encoding
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada]
Re
m
ove redundant gua
r
d a
g
ainst Any_String
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[A
d
a
] Ac
c
ept raise
e
xpressions
as oper
a
nds of bool
e
an
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Eric Botcaz
o
u
[Ada] P
l
ug lo
o
p
h
o
l
e in Possible_Type_For_C
o
nditional_Express
i
on
commit
|
commitdiff
|
tree
2022-05-12
Ya
n
nick
M
oy
[Ada] Adapt
C
odePeer
a
n
alysis of
GNAT to changes in
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Er
i
c Botcazou
[Ada] Re
v
amp anal
y
sis of conditio
n
al
e
xpressio
n
s
commit
|
commitdiff
|
tree
2022-05-12
Yannick Moy
[
A
da
]
Proof of 'Image
s
upport
for si
g
ned integers
commit
|
commitdiff
|
tree
2022-05-12
Eric Botcazou
[Ada] Rewrite Sem_Ch4
.
F
in
d
_Boolea
n
_Types
commit
|
commitdiff
|
tree
2022-05-12
Alexandre Oliva
[Ada]
Introduce hardbool Machine_Attr
i
bute for
A
da
commit
|
commitdiff
|
tree
2022-05-12
Pi
o
tr
T
rojanek
[Ada] Fix
sc
o
pe of block
i
n expanded p
r
o
tected entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Etienne Servai
s
[Ada] F
i
x typo in comment
commit
|
commitdiff
|
tree
2022-05-12
Marc Poulhiès
[
Ad
a
]
Fix style checking rule for square
b
racke
t
s in
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Er
i
c
Botcaz
o
u
[Ada]
Fix rem
a
ining asymmetry
i
n Specific_Type
commit
|
commitdiff
|
tree
2022-05-12
P
i
otr Trojanek
[
Ad
a
]
Fix typos in
synt
a
x for
implementation-defined
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
P
i
otr Troj
a
nek
[
A
d
a] Reuse generi
c
str
i
ng has
h
for invo
c
a
t
i
o
n si
g
n
atures
commit
|
commitdiff
|
tree
2022-05-12
Pi
o
tr Trojanek
[Ad
a
] Document Agg
r
egate_In
d
ividually_Assi
g
n as a configurat
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Yannick M
o
y
[Ada]
Pr
o
of
o
f 'Image s
u
p
p
o
rt for un
s
igned integers
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Sort
D
etect_Block
i
n
g
alphabetically among names
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada]
F
ix Compile_Tim
e
_(Error|Warning)
a
s
no
n
-configuration
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
M
a
rc Poulhiès
[Ada]
C
orrectly reject r
e
cord aggregate using brac
k
e
t
s
commit
|
commitdiff
|
tree
2022-05-11
Pio
t
r T
r
ojanek
[Ada
]
Fix
unbalanced paren in documentati
o
n marker
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Marc Poulhiès
[Ada] N
e
w No_Local_Tagged_Types res
t
ric
t
ion
commit
|
commitdiff
|
tree
2022-05-11
E
ric
Botcazou
[Ada] Fix sp
u
r
ious ambigui
t
y for if
_
exp
r
es
s
ion co
n
ta
i
ning
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Trojan
e
k
[A
d
a] Fix
style of body header bo
x
es
commit
|
commitdiff
|
tree
2022-05-11
Eti
e
nne Ser
v
ais
[
A
da] Do
not
c
r
e
ate useless
itype i
n
Con
s
train_Access
commit
|
commitdiff
|
tree
2022-05-11
Pio
t
r
T
r
o
j
a
nek
[Ada] Detect
infinite
l
oops w
i
th opera
t
ors in exit
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Y
annick Moy
[Ada]
Adapt proof of
S
yste
m
.
A
r
ith_Double after update
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Tro
j
ane
k
[Ada] Update
catego
r
i
z
ation of
i
m
pleme
n
tation restriction
s
commit
|
commitdiff
|
tree
2022-05-11
Piot
r
Troj
a
nek
[Ada
]
Fix "S
p
e
c
" and
"B o
d
y"
file he
a
ders
commit
|
commitdiff
|
tree
2022-05-11
Joa
o
A
zevedo
[
Ada] Ad
d
SU
S
E 32bit dependency
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Fix formatting glit
c
hes in GN
A
T
User's Guide
commit
|
commitdiff
|
tree
2022-05-11
Piot
r
Tr
o
janek
[Ada] Use
p
y
gments
f
or Ada
c
ode
examples of elaboration
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
G
a
r
y Dis
m
u
k
es
[Ada]
Exce
s
s finalizat
i
o
n on assi
g
n
me
n
t wi
t
h
t
arget
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Bob Duff
[Ada] fix
c
rash on Secondary_Stack_Size with
d
iscrimina
n
t
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada]
Reset Reach
a
ble field w
h
en
m
utati
n
g
label
into
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Pio
t
r Tro
j
anek
[Ada] Fix layo
u
t of
tables in PDF
version of GNAT
RM
commit
|
commitdiff
|
tree
2022-05-11
P
i
ot
r
Trojanek
[Ad
a
]
Fix la
y
o
ut in des
c
ription of aspects and pragmas
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Fix ma
r
k
u
p
i
n
d
e
scription of implementation-
d
efin
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Tr
o
janek
[Ada] Fix marku
p
in descr
i
ption of pragma
El
i
m
i
nate
commit
|
commitdiff
|
tree
2022-05-11
Johan
n
es Klie
m
ann
[A
d
a] Sup
p
ress warning in g-sthcso f
o
r n
o
n-unix platform
s
commit
|
commitdiff
|
tree
2022-05-11
P
iotr Trojan
e
k
[Ada]
A
dd g
u
ard for
making only
legal
labels unr
e
ac
h
able
commit
|
commitdiff
|
tree
2022-05-11
Piotr
T
ro
j
anek
[Ada] D
o
c
u
ment pragma
A
da
_
202
2
commit
|
commitdiff
|
tree
2022-05-11
S
t
eve Bai
r
d
[Ada] Properly
r
eject uns
u
p
ported a
d
dress sp
e
cific
a
tions
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojan
e
k
[Ada] Mo
v
e
R
e
achab
l
e flag
to E_
L
abel
e
ntities
commit
|
commitdiff
|
tree
2022-05-11
Alexa
n
dr
e
Oliva
[Ada] Set_Is_
K
nown_Valid on
l
y i
f
Safe
_
To_C
a
pture_
V
alu
e
commit
|
commitdiff
|
tree
next