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 exception raised on invalid contract in generic package
2023-05-29
Steve Baird
ada: Default_Compo
n
ent_V
a
lu
e
trumps Ini
t
ialize/Normalize_Scalars
commit
|
commitdiff
|
tree
2023-05-25
S
teve Bai
r
d
ada
:
A
void d
u
plicate
d
st
r
eaming su
b
pr
o
g
r
am
s
commit
|
commitdiff
|
tree
2023-05-23
Steve Baird
a
d
a
:
A
d
iscriminant of a
variable is not a v
a
riab
l
e
commit
|
commitdiff
|
tree
2023-05-22
S
teve
B
aird
ada: Accept Assert
p
ragm
a
s
in expression f
u
nc
t
ions
commit
|
commitdiff
|
tree
2023-05-22
Steve Bair
d
a
da: Rejec
t
illegal declara
t
i
o
ns
in expression functions
commit
|
commitdiff
|
tree
2023-05-22
Steve B
a
ird
ada: Better er
r
or me
s
sage if non-Ada2022 code declares
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Steve Baird
ada
:
Add
"gnat --help-ada" t
e
xt for new switches
.
commit
|
commitdiff
|
tree
2023-05-15
Steve B
a
i
rd
ada: Emi
t
warning
s
for (some) ineffective
s
ta
t
i
c predicate
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Steve Bai
r
d
ada: B
e
tter erro
r
message for bad Discard_Names
c
onfiguratio
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
S
t
eve Baird
a
da: Enforce Aggregate aspect le
g
ality rule
commit
|
commitdiff
|
tree
2022-11-21
Steve Ba
i
rd
ad
a
:
Inter
n
al compiler error
f
o
r Sequential Par
t
ition_Elabor
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Steve Bai
r
d
a
da: Ada 2022 Image at
t
ribut
e
bugs
commit
|
commitdiff
|
tree
2022-11-21
Steve
Bair
d
ada: Impr
o
ve documentation
f
or -gnatw
.
h
warnings
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
a
d
a:
Compile-time si
m
p
l
ifi
c
ation of 'Imag
e
i
ncorr
e
c
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
ada: Im
p
rove handling
of
d
e
c
lar
e
expressions in defer
r
ed
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Steve
Bair
d
ad
a
: Rew
o
rk CU
D
A host-side
i
nvoca
t
ion of d
e
vice-side
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
St
e
ve Baird
ada: Put_Image aspec
t
spec incorrectly not inherited
commit
|
commitdiff
|
tree
2022-11-04
Steve
B
a
ird
a
d
a: St
a
t
i
c i
n
trinsic
f
unctio
n
s
are a
c
ore langua
g
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
S
teve Baird
ada: Allow enabling a re
s
tricted set of languag
e
exten
s
ions
.
commit
|
commitdiff
|
tree
2022-11-04
Stev
e
B
a
i
rd
ada:
Generate missing
o
b
j
e
ct decls
f
or adainit/ad
a
final
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Generate host-s
i
de CUDA_R
e
gister_Function
calls
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
S
teve Baird
ada: Minor
poten
t
ia
l
bug
i
n sem_ch6
.
adb
commit
|
commitdiff
|
tree
2022-10-06
S
teve Ba
i
rd
ada: Incorr
e
ct inferences drawn from if
/
elsif/whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Steve
Ba
i
r
d
a
d
a: Improve C
U
D
A
hos
t
-side and device-s
i
d
e
binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Bair
d
[Ada] Improve C
U
DA hos
t
-side and
d
evice-side bin
d
er
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Improve C
U
DA
host-
s
i
de a
n
d d
e
vice
-
side binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
S
t
eve
Baird
[Ada
]
I
nternal
e
rror compiling fo
r
m
a
l instan
c
e
of gen
e
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Bai
r
d
[Ada] Synt
a
x error in A
d
a 202
2
arra
y
a
g
gregate causes
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada]
Initializ
e
a local variable t
o
avo
i
d a Co
d
ePeer
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve B
a
ird
[Ada]
bugbox referencing INOX prefixed
v
i
ew of primitive
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada]
Lock_Free as
p
ect
takes prece
d
ence ove
r
Ceiling_Lockin
g
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve
B
aird
[Ada] Remove a no-long
e
r-correct comment
commit
|
commitdiff
|
tree
2022-09-06
S
t
e
v
e Bai
r
d
[Ada] Disable
l
ock free protecte
d
implementation if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
t
eve Baird
[A
d
a]
E
na
b
l
e
lock free
p
r
o
t
ected implemen
t
ation
by
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada
]
R
e
s
tore missing
Aggregat
e
a
spect fo
r
Ada
.
Cont
a
iners
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
t
eve Baird
[A
d
a]
S
l
ic
e
l
e
ngth comput
a
tion bu
g
i
n
Generic_Bounded_Length
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Bai
r
d
[Ada] Improve documentati
o
n of val
i
da
t
ion checking
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[A
d
a
] Cope with scalar subtypes that
h
a
v
e a non-
s
calar
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Ste
v
e Bai
r
d
[Ada] D
o
cument cha
n
ge to le
g
a
lit
y
checks f
o
r Inox ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
a
ir
d
[Ada] Te
m
porarily
simplify legality checks for Inox
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[
A
da] Bad Valid_Sc
a
lars result if s
i
gned int
c
omponent
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
Ba
i
rd
[
Ada] ICE h
a
ndling discr
i
mina
n
t-depend
e
n
t
ind
e
x constraint
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve B
a
ird
[Ada] Single-el
e
men
t
Append
p
er
f
orm
a
nce
i
mprovement
commit
|
commitdiff
|
tree
2022-09-05
St
e
ve Baird
[Ada] Bad Defa
u
lt_
I
n
i
ti
a
l_
C
onditio
n
check for a not
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Steve Baird
[Ad
a
] Use right implem
e
ntation type
f
o
r nonbinary-modulus op
s
commit
|
commitdiff
|
tree
2022-07-04
Ste
v
e
B
aird
[Ada] Enfor
c
e deferred con
s
tant c
o
mpletion rules
commit
|
commitdiff
|
tree
2022-07-04
Ste
v
e
Bai
r
d
[Ada] Compiler
rej
e
cts lega
l
allo
c
ator in
r
ec
o
rd co
m
ponent
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
S
t
e
v
e Baird
[Ada] Avoi
d
unwanted warnings for statically-k
n
own
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve Bai
r
d
[Ada] A
n
other case w
h
ere freezing
incorrectly suppresses
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve Baird
[A
d
a]
M
iss
i
n
g
discriminant checks when accessing var
i
ant
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
S
t
eve
B
aird
[Ada] I
n
correct
d
etermination of whether an exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
S
t
e
ve Baird
[Ada] Delete no-lon
g
er-used Con
v
ert_To_Retur
n
_
False
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
S
teve Baird
[A
d
a
]
Avoid inter
n
al com
p
iler
error for illegal Predic
a
te
_
Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
St
e
ve Baird
[
Ada] Fix bug
i
n
handlin
g
of Predicate
_
Fail
u
re aspect
commit
|
commitdiff
|
tree
2022-05-16
Steve
Baird
[Ada] Implem
e
nt component fina
l
i
z
a
t
i
o
n ordering rules
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Steve
B
ai
r
d
[Ada] Implem
e
nt late initializatio
n
ru
l
e
s
fo
r
type
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Steve Baird
[Ada]
P
rope
r
l
y
reject unsupported address specifications
commit
|
commitdiff
|
tree
2022-05-10
S
t
eve Baird
[
A
da] Failure compil
i
ng "for
.
.
.
of" loo
p
over a slice
commit
|
commitdiff
|
tree
2022-05-09
Steve Baird
[Ad
a
]
Pr
o
p
erly han
d
le unprefixed references t
o
c
om
p
o
n
e
nts
commit
|
commitdiff
|
tree
2022-01-06
Steve Baird
[
A
d
a
] Av
o
i
d
bui
l
ding malfo
r
med
c
omponent con
s
traints
commit
|
commitdiff
|
tree
2022-01-06
Ste
v
e Baird
[
Ada]
Avoid building malformed com
p
onent constraints
commit
|
commitdiff
|
tree
2022-01-05
Steve Ba
i
rd
[Ad
a
] Imp
r
ove su
p
por
t
for casing on typ
e
s w
i
t
h co
n
troll
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Ste
v
e Baird
[Ada] Impr
o
ve support for ca
s
ing on types with
c
o
ntrolled
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Steve Baird
[Ada
]
Ad
d
mi
s
sing regu
l
ar express
i
on syntax error che
c
k
commit
|
commitdiff
|
tree
2021-10-25
Steve Baird
[Ada]
R
ela
x
INOX r
e
s
t
rictions w
h
en casin
g
on composite
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
St
e
ve
B
aird
[Ada] Valid
p
ostco
n
ditions incorrectly r
e
jected
.
commit
|
commitdiff
|
tree
2021-10-11
Steve Ba
i
rd
[
A
d
a
] Incorrect Dynami
c
_
Pr
e
dicate re
s
ult
s
for static
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Steve Baird
[A
d
a
] Fix compi
l
er internal erro
r
commit
|
commitdiff
|
tree
2021-10-04
Steve
Baird
[Ada] I
m
prove checkin
g
for
i
nvalid i
n
dex va
l
ues
w
hen
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[
Ada
]
Im
p
roved ch
e
c
k
i
ng for invalid
i
ndex values
w
hen
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
S
t
e
v
e Baird
[
Ada
]
Improve error messa
g
e
f
or
.
a
l
i file vers
i
on
m
isma
t
ch
commit
|
commitdiff
|
tree
2021-10-01
St
e
ve Baird
[Ad
a
] Fix bug in inherited use
r
-d
e
fined-lit
e
ral aspects
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve
B
aird
[Ada
]
Improve error
m
essa
g
e
for
.
a
l
i file
version mismatch
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[
A
d
a] No ABE
ch
e
ck n
e
eded for
a
n expression funct
i
on
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Steve
B
air
d
[
Ada] Update
"
I
m
plemen
t
ation Defined C
h
a
racteristi
c
s
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Steve
B
aird
[Ad
a
] Improve p
e
rformance f
o
r c
a
se-insensitive reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
St
e
ve Bair
d
[Ada] Add -g
n
at
X
suppor
t
for
c
asing on
a
rray values
commit
|
commitdiff
|
tree
2021-09-21
St
e
ve B
a
ir
d
[Ada] Enforce legality rule for Predicate_F
a
ilure aspect
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Steve Baird
[Ada] Refactor
sort procedures of d
o
ubl
y
l
inked
l
ist
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
S
t
e
v
e Baird
[Ada]
I
mpro
v
e performance of Ada
.
Contai
n
e
r
s
.
D
oubly_Linked
_
Li
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
S
tev
e
Bair
d
[A
d
a]
A
dd -gnat
X
support for casing on discr
i
minated
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Ste
v
e Baird
[Ada] Unsynchronized
con
c
urrent a
c
cess t
o
a
B
oolean
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve B
a
ird
[Ada] Improve interactions
between D
S
A a
n
d Pu
t
_Im
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve B
a
ir
d
[Ada] Unsynch
r
o
nized access
to a Bo
o
lean in tasking
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada] Enable A
d
a
2
020 Put_Image and Image support for
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada] Implem
e
nt m
i
ssing constraint check
s
fo
r
default
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[A
d
a] Fi
x
bug in casi
n
g on compos
i
t
e value
s
with
-
g
natX
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada] Add GNAT RM text regarding
Ada 2022 default Put_Ima
g
e
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Steve
B
aird
[Ada] Fix so
m
e "curre
n
t instance" bu
g
s
commit
|
commitdiff
|
tree
2021-07-05
S
t
eve Baird
[Ada] Remov
e
Ada
.
S
trings
.
Te
x
t_Output and child un
i
ts
commit
|
commitdiff
|
tree
2021-07-05
Steve Baird
[Ada] T
e
mpora
r
ily di
s
abl
e
Ada 2022
Ima
g
e and P
u
t_Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Steve Baird
[Ada] Add Ada 2
0
22 Ima
g
e and Put
_
Im
a
g
e
support
for
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Steve Bair
d
[
A
da] Add Ada
.
S
trings
.
T
ext_Buffers and repl
a
c
e
uses
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Steve Bair
d
[
A
da] Casing on composite va
l
ue
s
commit
|
commitdiff
|
tree
2021-06-16
Steve
Baird
[Ada] I
n
clude info
a
bout containe
r
s
in GNAT RM Imp
l
ementat
i
o
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Steve
B
a
ird
[A
d
a] Avoid unhelpful dead co
d
e warnin
g
s
commit
|
commitdiff
|
tree
2021-06-15
Steve
Baird
[Ada]
A
void
i
nappropriate error messages r
e
garding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Steve Ba
i
rd
[Ada]
Implement AI
1
2-0187 (Stable propert
i
e
s
of abstrac
t
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Steve Ba
i
rd
[Ada
]
Do
n
't con
s
t
a
nt-fold r
e
n
a
m
e
d
q
ualified exp
r
essi
o
ns
commit
|
commitdiff
|
tree
2020-11-24
S
t
eve Baird
[
A
da]
F
ix Strin
g
_Lit
e
ra
l
aspect spec checking
p
roblem
.
.
.
commit
|
commitdiff
|
tree
next