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 insertion of declaration inside quantified expression
2022-05-17
Yannick Moy
[A
d
a] Fix inser
t
i
o
n
of decla
r
a
tion i
n
side
q
uanti
f
ied
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Marc
Poulhiès
[
A
da] Fi
x
For
c
ed sign flag in form
a
tted string
commit
|
commitdiff
|
tree
2022-05-17
E
ric B
o
t
c
azou
[Ada] Fix small glitch in Ex
p
and_N
_
Full_Type_Declarat
i
on
commit
|
commitdiff
|
tree
2022-05-17
Bob Duff
[Ada] Requires_Cl
e
a
nup_Actions and N_Pr
o
tect
e
d_B
o
d
y
commit
|
commitdiff
|
tree
2022-05-17
Bob
D
uff
[Ad
a
]
Ou
t
put
.
w always
w
rites to st
d
err
commit
|
commitdiff
|
tree
2022-05-17
D
m
itriy Anisimkov
[Ada] Generic bin
a
ry search impl
e
ment
a
tion
commit
|
commitdiff
|
tree
2022-05-17
Eric Botcazou
[Ada] Fix
bo
g
u
s visibilit
y
err
o
r with partial
l
y param
e
t
e
r
ize
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Etienne Servais
[Ada
]
Take full
v
i
ew of private type
commit
|
commitdiff
|
tree
2022-05-17
Arnaud
Ch
a
rl
e
t
[A
d
a] Allo
w
'
R
educ
e
with -gnat202
2
commit
|
commitdiff
|
tree
2022-05-17
Ghj
u
va
n
La
c
amb
r
e
[
A
d
a
]
Don't create calls t
o
Ab
o
rt_
U
ndefer
w
hen not
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Marc P
o
ulhiès
[Ada] Typo fix in finalization comment
commit
|
commitdiff
|
tree
2022-05-17
Etienne Servais
[Ada] Initialize Compiler
_
St
a
te to avoid
C
onstraint_Err
o
r
commit
|
commitdiff
|
tree
2022-05-17
Eric Botcazou
[
A
da] Deal
with derived record
t
ypes in Has_Compatible_R
e
p
r
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Eri
c
Bo
t
cazou
[A
d
a
]
Stre
a
mlin
e
i
m
p
lementation of Has_Comp
a
tible_Representation
commit
|
commitdiff
|
tree
2022-05-17
Etienne Servais
[Ada] Remove
s
uperfluous ca
l
l
t
o
Original_Node
commit
|
commitdiff
|
tree
2022-05-17
Javi
e
r Miranda
[
A
da] Crash fre
e
zing declaration that will
r
a
is
e
c
onst
r
aint
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier
M
iranda
[Ada] Spuri
o
us err
o
r on
su
b
progr
a
m with
clas
s
-
wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Eric Bot
c
azou
[Ada] Use
Actions fi
e
ld of fre
e
ze
n
odes for s
u
b
programs
commit
|
commitdiff
|
tree
2022-05-17
J
a
vier Miranda
[A
d
a] Implement calls
t
o abs
t
ract
subprograms in clas
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Piotr Trojane
k
[Ada] Fix document
a
tion of using
a
ttr
i
bute L
o
op_Entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Etienne Servais
[Ada]
C
heck token to be "access", reject i
t
if no
t
commit
|
commitdiff
|
tree
2022-05-17
Piotr Tro
j
anek
[Ada] Enable current value propagati
o
n within pr
a
gma
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric
B
otcazou
[Ada] F
i
x fallo
u
t of c
h
ange
i
n equality for untagged
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Pio
t
r Troj
a
nek
[
A
d
a
]
F
ix expan
s
io
n
of attribu
t
e Loop_En
t
ry w
r
t value
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Tr
o
jan
e
k
[Ada] Remove usel
e
ss code re
l
ated
t
o curren
t
value
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
J
u
stin Sq
u
irek
[
Ada]
T
ype
i
n
variant or
po
s
tco
n
dition may cause uninitialize
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Etienne Se
r
v
a
i
s
[A
d
a] Freeze ta
r
get typ
e
on q
u
ali
f
i
e
d
e
xpress
i
on ex
p
ansion
commit
|
commitdiff
|
tree
2022-05-16
Yannick Moy
[Ada] Fix proof
of
double arithmetic units
commit
|
commitdiff
|
tree
2022-05-16
Ghjuvan
L
acambre
[
A
da] Don't crash
o
n gho
s
t
pa
c
kag
e
s when emitting CUDA
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Jo
e
l Brob
e
cker
[Ada] GN
A
T
.
Debug_Pools: Imp
r
ove documentation of
t
he
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Joel Brobecker
[Ada] siga
c
tion re
s
ult
not pr
o
perly checked in __
g
nat_in
s
t
al
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Joel Brobec
k
er
[
A
da] Fix thinko in QNX's i
m
plementati
o
n of __gnat_insta
l
l
_h
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Jo
e
l Brobe
c
k
er
[Ad
a
] Add <std
l
ib
.
h> #incl
u
de
i
n c
s
treams
.
c
commit
|
commitdiff
|
tree
2022-05-16
Joel Brobeck
e
r
[A
d
a]
r
eplace call
to bzero in terminals
.
c
by call
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Gary Dis
m
uke
s
[Ad
a
] Revis
e
S
torage_Model
_
Sup
p
or
t
operations t
o
do
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Etienne
S
e
rvais
[
A
da] Handle case-expression inside if-
e
xpression in
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Y
an
n
ick Moy
[Ada] U
p
da
t
e com
m
ent jus
t
ifyi
n
g no
n
-inlining for proof
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Ma
r
c Poulhiès
[Ada]
F
ix iterated e
l
emen
t
assoc
i
ation loop
var esc
a
ping
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Bo
t
c
azou
[Ada] Fix i
n
tern
a
l error on itera
t
ed
array aggregate
commit
|
commitdiff
|
tree
2022-05-16
Javier
M
iranda
[Ada] Acce
p
t calls
t
o abstract
subprograms in class
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Botc
a
zo
u
[Ada
]
Fix
i
nternal erro
r
on mix of controlled
and protected
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Botcazou
[Ada] Fix inte
r
nal erro
r
on pre
d
i
c
at
e
aspect with itera
t
or
commit
|
commitdiff
|
tree
2022-05-16
Steve Baird
[Ada
]
Implement
c
omponent
finalization ordering rules
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
E
ric
B
otcazou
[Ada] Fix
i
mplementati
o
n
issues w
i
th equality for
un
t
agg
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
i
otr
T
rojanek
[Ada] R
e
move duplicated
d
e
t
e
ction of us
e
r-de
f
ined equality
commit
|
commitdiff
|
tree
2022-05-16
Piotr Tr
o
jan
e
k
[Ada] I
m
prove
b
uilding of
untagged equality
commit
|
commitdiff
|
tree
2022-05-16
Olivier Hainque
[Ada] Map gna
t
l
ib-shared t
o
g
natlib-shar
e
d-
d
u
a
l
f
or
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Botcaz
o
u
[Ada] Couple of
small c
o
nsistency tweaks
commit
|
commitdiff
|
tree
2022-05-16
Eric Botcazou
[
A
d
a
] Fix spurious error on limi
t
e
d view
w
ith incomplete
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Troja
n
ek
[
A
da] Pic
k
vola
t
i
l
e refinement property of a subtype
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojane
k
[Ada] Clarif
y
code for det
e
cting volatile refinement
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Tro
j
anek
[
A
da] Remove
duplica
t
ed code for detecting e
n
a
b
led
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Eric Botcazou
[Ad
a
] Fix incorrect call to inh
e
rite
d
fu
n
ction wit
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Gary Dism
u
kes
[Ada] Storage_Model_Ob
j
ect fails to
r
e
turn
objec
t
e
ntity
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Mi
r
anda
[A
d
a] Compi
l
er c
r
a
s
h on
-
gnata -O2
commit
|
commitdiff
|
tree
2022-05-13
Arnaud Ch
a
rlet
[
Ada] Only use alternat
e
stack
w
hen neede
d
commit
|
commitdiff
|
tree
2022-05-13
Alexan
d
r
e Oli
v
a
[Ada] Extend hardcfr te
s
ting (documenta
t
i
on)
commit
|
commitdiff
|
tree
2022-05-13
Ghjuva
n
L
acamb
r
e
[
Ada] CUDA: use
b
i
nder to generat
e
kernel-registration
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Marc Poulh
i
ès
[Ada] Fix
i
ter
a
ted
c
omponent asso
c
i
ation fo
r
a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ya
n
n
i
ck Moy
[Ada] S
i
mplif
y
he
l
pe
r
units
for formal has
h
ed sets
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yannick
M
o
y
[Ada] Adapt body o
f
form
a
l sets and maps for SP
A
RK
commit
|
commitdiff
|
tree
2022-05-13
Yannick Moy
[Ada]
R
emov
e
dependency on
t
a
mpering
c
heck
s
a
nd c
o
n
t
r
olled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada
]
Ada ABI cha
n
ge when
buildin
g
w
ith
assertion
s
commit
|
commitdiff
|
tree
2022-05-13
Johannes Kanig
[
A
da
]
T
ake in
t
o
account GNSA_ROOT env va
r
for prefix
commit
|
commitdiff
|
tree
2022-05-13
Steve Baird
[Ada] Impleme
n
t
lat
e
initialization
r
u
les for
t
ype
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ed Schonberg
[Ad
a
] H
a
ndle IN iterator f
o
r c
l
ass-wide d
e
rived object
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ya
n
nick Mo
y
[Ada
]
F
a
cilita
t
e proof of
Overwrite in bounded string
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Eti
e
nne
S
erva
i
s
[Ada] Fix c
o
de example on repre
s
en
t
ation clause
commit
|
commitdiff
|
tree
2022-05-13
E
r
ic Botcazou
[Ada]
Do not overw
r
i
te limited view of result type
commit
|
commitdiff
|
tree
2022-05-13
Javier Mir
a
nda
[Ada]
W
rong addre
s
s for
c
lass-wide interface access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Jav
i
er Miranda
[Ada] C
r
a
s
h
in task
b
o
dy reference
t
o di
s
criminant
commit
|
commitdiff
|
tree
2022-05-13
Justin Squirek
[
Ada] Improve expected type error me
s
sages
commit
|
commitdiff
|
tree
2022-05-13
Ale
x
andre Oliva
[Ada]
D
ocu
m
e
n
t co
n
tr
o
l flow redund
a
ncy
commit
|
commitdiff
|
tree
2022-05-13
Eric
B
o
tcazou
[Ada
]
F
i
x c
o
mpiler crash o
n
FOR iteration sc
h
em
e
over
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Tro
j
anek
[Ad
a
] Remove obsolete uses of
U
nchecked_Conversion
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Tro
j
a
n
e
k
[Ada] Remove obsolete uses
o
f
U
nchecked
_
D
e
allocation
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Marc P
o
ulhiè
s
[Ada
]
Fix the Ada 2
0
22 iterated co
m
ponent association
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Etie
n
ne
S
ervais
[
A
d
a
] Fix typo on "
t
ha
t
"
commit
|
commitdiff
|
tree
2022-05-13
Justin Squirek
[Ada] Spurio
u
s access e
r
ror
in function returning type
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Tr
o
janek
[Ad
a
]
A
ccept effectively v
o
latil
e
component
s
in actuals
commit
|
commitdiff
|
tree
2022-05-13
Piotr Tro
j
a
nek
[A
d
a] Rem
o
ve re
d
undant guard i
n
checks
for
v
o
l
atile
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ju
s
t
i
n Squirek
[Ada] In
e
ffective u
s
e type clause war
n
i
ngs cause co
m
p
ile
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Pi
o
tr Trojanek
[Ada] Skip postponed
val
i
d
a
t
io
n
checks w
i
th c
o
mpil
a
tion
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Ar
n
aud Char
l
et
[Ada] Fix URL in doc
commit
|
commitdiff
|
tree
2022-05-12
Bob Duff
[Ada]
Re
s
t
ore double quotes in debug prin
t
o
u
ts
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada] Reuse
collective sub
t
y
p
e for comp
a
rison operato
r
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr
T
ro
j
anek
[Ad
a
] Remove unreferenced Is_
S
elector_N
a
m
e rou
t
i
n
e
commit
|
commitdiff
|
tree
2022-05-12
Arn
a
ud Charlet
[Ada] A
d
d more dummy
nam
e
s in S
e
m
_Warn
.
H
a
s_Ju
n
k_Name
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada] Fix
warning about generic subprograms withed
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr
Trojan
e
k
[Ad
a
]
Fix warning ab
o
ut generic subprogra
m
s withed
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Yannick Moy
[
A
da] Remove
u
s
e
less pragma Warnings
O
ff from r
u
n
t
ime
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Yannic
k
Moy
[Ada] Do no
t
i
s
s
u
e a warning on a postcondition
o
f
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Arnaud Charlet
[
Ada] Remove front-end SJLJ proc
e
ssing
commit
|
commitdiff
|
tree
2022-05-12
Bob Duff
[Ada] Mak
e
debug printo
u
t
s more robus
t
commit
|
commitdiff
|
tree
2022-05-12
Yannick Moy
[A
d
a] A
d
d ghost
c
ode
to facili
t
ate proof w
i
t
h SPARK
commit
|
commitdiff
|
tree
2022-05-12
Y
a
nnic
k
Moy
[Ada]
R
emov
e
use of use-c
l
aus
e
s in load
e
d
r
u
ntime units
commit
|
commitdiff
|
tree
2022-05-12
Etienne Servais
[Ada] Fix support
for ISO-8859-15
a
nd IBM CP 850
e
n
coding
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada] Remove r
e
dundant
guard
against Any_Stri
n
g
commit
|
commitdiff
|
tree
2022-05-12
Piotr
T
rojanek
[Ada] Accept raise ex
p
ressions as operands of bo
o
lean
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Eric Botcazou
[A
d
a
]
P
l
ug lo
o
p
h
ole in Possible_
T
yp
e
_For_Conditiona
l
_Expression
commit
|
commitdiff
|
tree
next