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: Add missing guards for degenerate storage models
2023-05-29
Steve Baird
a
da: Def
a
u
l
t_Component_Value trum
p
s Init
i
alize/Nor
m
a
lize_
S
c
alar
s
commit
|
commitdiff
|
tree
2023-05-25
S
t
e
v
e
Bair
d
ada: Av
o
i
d dupli
c
a
t
ed streaming subp
r
ogr
a
ms
commit
|
commitdiff
|
tree
2023-05-23
S
teve
B
aird
ada: A discrimi
n
a
nt of a v
a
riable
is
n
ot a var
i
able
commit
|
commitdiff
|
tree
2023-05-22
S
t
eve Baird
ad
a
:
Accept Assert pr
a
gmas
in expression functi
o
ns
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada: R
e
ject illegal declara
t
ions
i
n expression
fu
n
ctions
commit
|
commitdiff
|
tree
2023-05-22
S
t
e
v
e Baird
ad
a
: Bette
r
error
m
e
s
s
age if non-Ada2022 code declar
e
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Stev
e
Baird
ada: Add "gnat -
-
help
-
ada"
t
e
xt fo
r
new switches
.
commit
|
commitdiff
|
tree
2023-05-15
Steve Ba
i
r
d
ada:
E
m
it warnings for (some)
i
neffective static pred
i
cate
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Steve Baird
ada: Better
er
r
o
r message for
bad
D
iscard_Names conf
i
g
u
ratio
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
Steve Baird
ada:
Enf
o
rce
A
ggrega
t
e as
p
ect legality r
u
le
commit
|
commitdiff
|
tree
2022-11-21
S
teve Bai
r
d
ada: Inte
r
n
a
l com
p
iler error for
S
equen
t
ia
l
Partitio
n
_
Elabor
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Steve
B
ai
r
d
ada: Ada 2
0
22 Im
a
ge attribute bugs
commit
|
commitdiff
|
tree
2022-11-21
Steve Baird
ada
:
I
mprove
d
o
cumentation for
-
g
natw
.
h
war
n
ings
commit
|
commitdiff
|
tree
2022-11-08
Steve Ba
i
rd
ada
:
Compile-time simplification o
f
'Image
incorrectly
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
a
d
a: Impro
v
e handling of de
c
lare expressions
i
n deferred
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
S
teve Baird
ad
a
:
Re
w
o
r
k
C
UDA host-side invocat
i
on of device-side
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Steve Ba
i
r
d
ada: P
u
t_Image a
s
p
ect sp
e
c
inc
o
rrectly not inherite
d
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Static intrinsic functions
are
a
core languag
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Al
l
ow enabling a restr
i
c
t
ed
s
et of
langu
a
ge ext
e
n
s
ions
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Bair
d
ada: Generate mis
s
ing object decls for adainit
/
adaf
i
nal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Stev
e
Bair
d
ada: Generate host-side CUDA_Reg
i
ster_Function ca
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Steve Baird
ada: Min
o
r
p
otenti
a
l bug in
s
em_ch
6
.
a
db
commit
|
commitdiff
|
tree
2022-10-06
S
teve B
a
ird
ada: Inco
r
rect inferences drawn from if/e
l
s
if
/
whil
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
S
t
eve
Ba
i
rd
ada: Improve CUDA host-s
i
de and
device-side b
i
nder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Stev
e
B
a
ird
[Ada] Improve CU
D
A hos
t
-side and d
e
vice-side b
i
nder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Ba
i
r
d
[Ada] Improve CUDA ho
s
t-side and device-side
b
inde
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve
B
aird
[Ada]
I
nter
n
al error compiling formal
instan
c
e of gene
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Synt
a
x error in Ada 202
2
array ag
g
regate causes
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ad
a
] I
n
itia
l
i
z
e a local variab
l
e
t
o avo
i
d
a CodePee
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Ba
i
r
d
[Ada]
b
ugbox refere
n
cing IN
O
X prefixed view of primitive
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Stev
e
B
a
ird
[A
d
a] Lo
c
k
_F
r
ee aspect t
a
kes pre
c
ede
n
ce over
C
eiling_Locking
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Remove a n
o
-l
o
n
ger-
c
orrec
t
comm
e
nt
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
aird
[Ada] Disable lock f
r
e
e
pro
t
ected implementation if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
aird
[Ada]
E
nab
l
e loc
k
free prote
c
ted
i
mpleme
n
tation
b
y
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
t
eve Baird
[Ada] Restore missing
A
ggre
g
at
e
aspect for Ada
.
Cont
a
i
ner
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Ste
v
e Baird
[Ada] Slice len
g
t
h
c
o
mput
a
tio
n
b
ug in Generic_Bound
e
d_Length
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve Baird
[Ada] Impr
o
ve
d
ocumentation of valida
t
ion c
h
ec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Cope
with s
c
ala
r
subt
y
pes that have
a
non-sca
l
ar
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada
]
Document ch
a
n
ge to leg
a
l
ity checks f
o
r Inox c
a
se
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve
B
aird
[
A
da] Temporaril
y
simplify l
e
gality checks for
Inox
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada
]
Bad
V
alid_Scal
a
r
s
result if signed int comp
o
nent
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Bai
r
d
[
Ada] I
C
E ha
n
dling
d
iscriminant-dependent index con
s
t
raint
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve Ba
i
rd
[Ada] Single-element Append performance improvement
commit
|
commitdiff
|
tree
2022-09-05
Ste
v
e B
a
i
r
d
[Ada] Bad De
f
ault_Initia
l
_Condition che
c
k for a not
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Steve
B
a
i
rd
[Ada] U
s
e
right i
m
pl
e
ment
a
tion type for
n
onb
i
nary-modulus ops
commit
|
commitdiff
|
tree
2022-07-04
Steve B
a
i
r
d
[
A
da
]
Enforce deferred constant completi
o
n
rules
commit
|
commitdiff
|
tree
2022-07-04
S
t
eve Baird
[A
d
a] Co
m
piler rej
e
c
t
s
l
e
gal a
l
locator
i
n reco
r
d component
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Steve Baird
[Ada] Avoid unwa
n
ted warnings for stati
c
all
y
-known
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve Baird
[A
d
a]
A
nother case
w
he
r
e freezing incorr
e
ctly su
p
presses
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve
B
aird
[Ada
]
Missing disc
r
imina
n
t checks when
a
ccessing
variant
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve
B
ai
r
d
[
A
da] I
n
correct determination o
f
whether an exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve
Baird
[Ad
a
]
D
elete no-longe
r
-used Convert_To_Return_Fa
l
se
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada] Avoi
d
in
t
ernal c
o
mpiler error
f
or ille
g
al Predicat
e
_Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada] Fix
bug
i
n hand
l
ing of Predicate_Failure aspect
commit
|
commitdiff
|
tree
2022-05-16
Steve
B
a
ird
[Ad
a
]
Implement component fin
a
lization or
d
erin
g
rules
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ste
v
e
B
aird
[Ada] Impleme
n
t
late in
i
tia
l
ization rules for type
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
S
teve Baird
[
A
d
a] Prope
r
ly re
j
ect u
n
supported addre
s
s specifications
commit
|
commitdiff
|
tree
2022-05-10
Stev
e
Baird
[Ada]
F
a
ilure
com
p
iling
"for
.
.
.
of" l
o
op ov
e
r a slice
commit
|
commitdiff
|
tree
2022-05-09
Steve Baird
[Ada] P
r
ope
r
l
y
h
a
ndle
un
p
refixed re
f
erences to components
commit
|
commitdiff
|
tree
2022-01-06
S
teve Baird
[Ada] Avoid buildin
g
m
a
lformed compon
e
nt co
n
straints
commit
|
commitdiff
|
tree
2022-01-06
Steve Baird
[Ada]
A
voi
d
building ma
l
f
ormed componen
t
c
o
nstraints
commit
|
commitdiff
|
tree
2022-01-05
Steve Baird
[Ada]
Improve supp
o
r
t
for cas
i
n
g on types with con
t
r
o
lled
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Steve Baird
[Ada]
Improve support for casing o
n
types with con
t
rolled
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Steve B
a
ird
[Ada] Add missing regular expression sy
n
t
ax erro
r
check
commit
|
commitdiff
|
tree
2021-10-25
Steve Baird
[
A
da] Relax INOX r
e
s
t
rictions when casing
o
n
c
o
m
p
osite
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Steve Baird
[
A
d
a
] V
a
lid postconditions incorrectly re
j
ected
.
commit
|
commitdiff
|
tree
2021-10-11
Stev
e
Baird
[Ada]
I
ncorrect Dynamic_Pre
d
icate
r
e
s
ults for static
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Steve Bair
d
[Ada
]
Fix co
m
piler internal e
r
ror
commit
|
commitdiff
|
tree
2021-10-04
Steve Ba
i
rd
[
A
d
a
] Improve checking for invalid
i
ndex values w
h
en
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada
]
Improved ch
e
ckin
g
for
i
nvalid
inde
x
valu
e
s when
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
S
teve Baird
[
A
da] Imp
r
o
v
e
er
r
o
r
message for
.
a
li
file
v
ers
i
o
n
m
ism
a
tch
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada] Fix bug in
inherit
e
d user-def
i
ned-l
i
tera
l
aspects
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Ste
v
e Baird
[
A
d
a] Improve error message for
.
al
i
fi
l
e v
e
rsion mismatch
commit
|
commitdiff
|
tree
2021-10-01
Steve Bair
d
[Ada]
N
o ABE che
c
k needed fo
r
an
e
xpression fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Steve Ba
i
rd
[
A
da] Update "Implementation Defined Cha
r
acterist
i
cs
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Steve
B
aird
[Ad
a
] Improve perfo
r
mance fo
r
case-insensitive r
e
gul
a
r
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Steve Baird
[Ada]
A
dd -gnatX support for
casing on array values
commit
|
commitdiff
|
tree
2021-09-21
Steve
B
ai
r
d
[Ada] E
n
fo
r
ce l
e
galit
y
rule f
o
r Predicate_Failure aspect
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
S
t
eve B
a
ird
[Ada] Ref
a
c
tor
s
ort proce
d
ures of d
o
u
b
ly linked
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
S
t
e
ve Baird
[Ada]
I
mprove per
f
orma
n
c
e
o
f Ada
.
Co
n
tainers
.
Doubly_Linked_Li
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Ste
v
e Baird
[Ada]
A
d
d -gnatX
s
uppor
t
for casing on discriminated
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Steve Baird
[Ada] Un
s
ync
h
ronized concurrent access to
a
B
o
olean
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve Baird
[Ad
a
] I
m
prove interactions b
e
t
we
e
n DSA and Pu
t
_
Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Ste
v
e Bai
r
d
[Ada] Unsynchronize
d
a
c
cess
to a Boolean in tasking
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
S
te
v
e Baird
[Ada] Enab
l
e Ada 2020
P
ut_Image and Image sup
p
ort for
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve
B
a
i
rd
[Ad
a
] Imple
m
ent missing
constraint checks for default
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve
B
a
ird
[Ada] Fix bug in casing on compos
i
te
values wi
t
h -
g
natX
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada] Add GNAT RM text regarding Ada 2022
d
efault Put_
I
mage
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Steve Ba
i
rd
[
A
da] Fix some "current inst
a
nce" bugs
commit
|
commitdiff
|
tree
2021-07-05
Steve B
a
ird
[Ada] Remove Ada
.
S
trings
.
Text_Out
p
u
t
and chil
d
units
commit
|
commitdiff
|
tree
2021-07-05
Steve
Baird
[Ada]
Temp
o
rar
i
ly disable A
d
a 2
0
22 Imag
e
a
n
d Pu
t
_
Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Ste
v
e
Baird
[Ada] Add Ada 2022 Image and Put_Image
support
fo
r
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
S
t
eve
Bair
d
[
Ada] Add
Ada
.
St
r
ings
.
Text_Buffers and r
e
pl
a
c
e
us
e
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
S
t
e
ve
B
aird
[Ada]
Casing on composite values
commit
|
commitdiff
|
tree
2021-06-16
S
t
eve Ba
i
rd
[Ada] I
n
cl
u
de inf
o
about con
t
a
i
ners in GNAT
R
M Implementatio
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Steve Bai
r
d
[Ada] Avoid unhelpful
d
e
a
d
code warnings
commit
|
commitdiff
|
tree
2021-06-15
Ste
v
e
Baird
[Ada] A
v
oid
i
nappropria
t
e
error m
e
ssages regarding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Stev
e
Ba
i
r
d
[Ada] I
m
plement AI1
2
-0187 (Stab
l
e properties of a
b
stract
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
S
teve Bair
d
[Ada] D
o
n't constant
-
fold renamed qua
l
ified expr
e
ssions
commit
|
commitdiff
|
tree
2020-11-24
Stev
e
Bai
r
d
[Ada]
F
i
x
S
tring_Literal
aspect spe
c
checki
n
g problem
.
.
.
commit
|
commitdiff
|
tree
next