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: Deep delta aggregates cleanup.
2023-11-21
Steve Bair
d
ad
a
:
D
e
ep delta ag
g
regates cleanup
.
commit
|
commitdiff
|
tree
2023-11-21
S
teve
B
aird
a
d
a: Deep
d
elta aggregates
commit
|
commitdiff
|
tree
2023-11-07
Ste
v
e B
a
ird
a
da: New
L
ocal_
R
estrictions and User
_
Aspect aspec
t
s
.
commit
|
commitdiff
|
tree
2023-09-05
Stev
e
Ba
i
rd
ada:
Co
m
p
ile
r
hangs o
n
invalid postcond
i
tion
commit
|
commitdiff
|
tree
2023-09-05
Steve B
a
ird
ad
a
: Spu
r
iou
s
warn
i
n
g about ne
g
ative modular
l
iteral
commit
|
commitdiff
|
tree
2023-08-01
S
t
e
ve Baird
ada: Bugbox compilin
g
Constrai
n
ed_
P
rotect
e
d_Obje
c
t
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
a
da: I
n
c
orr
e
ct
opti
m
iza
t
ion
for unconstrained limi
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
St
e
ve
Baird
ada
:
Finali
z
ation not performed
for component of
protected
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Baird
ada
:
Default_Com
p
onent_Val
u
e t
r
ump
s
I
n
itialize/
N
o
r
malize_Scala
r
s
commit
|
commitdiff
|
tree
2023-05-25
Ste
v
e Baird
ada: Avoid du
p
licated str
e
aming subpro
g
rams
commit
|
commitdiff
|
tree
2023-05-23
Steve
B
a
i
r
d
ada: A discrimina
n
t
o
f
a variable is
not a variable
commit
|
commitdiff
|
tree
2023-05-22
Ste
v
e Ba
i
rd
ada
:
Acce
p
t As
s
e
rt
p
ragmas i
n
expression fu
n
c
tions
commit
|
commitdiff
|
tree
2023-05-22
S
t
e
ve Baird
ada: Reject
i
llegal
declaration
s
in expressio
n
f
u
nctio
n
s
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
a
d
a: Bette
r
e
rror
m
essag
e
i
f non-Ada2022 cod
e
declares
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Steve Baird
ada: Add "gnat -
-
help
-
a
da" text f
o
r ne
w
switch
e
s
.
commit
|
commitdiff
|
tree
2023-05-15
S
teve Baird
ada: Emit warni
n
gs fo
r
(s
o
me)
ineffec
t
ive static predi
c
ate
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Steve Baird
ada: Be
t
ter error mess
a
ge for b
a
d Discard_Name
s
configu
r
atio
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
S
t
eve Baird
ada: Enf
o
rce
Aggre
g
a
te aspect legali
t
y rule
commit
|
commitdiff
|
tree
2022-11-21
Steve Baird
ada: Internal
compi
l
er
error
for Sequential Partitio
n
_Elabor
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Steve Baird
ada:
A
da 2022 Image
a
ttri
b
ute bu
g
s
commit
|
commitdiff
|
tree
2022-11-21
S
t
eve
B
aird
a
d
a
:
Improve docum
e
nta
t
i
on f
o
r -gnatw
.
h
w
arnings
commit
|
commitdiff
|
tree
2022-11-08
Stev
e
Baird
ada
:
Compile-time sim
p
lification of 'Image i
n
correctly
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
ada: Impr
o
ve handling of decl
a
re expres
s
ions in deferred
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
S
t
eve Ba
i
rd
a
da: Rewo
r
k CUDA
h
ost-s
i
d
e
invo
c
ation of device-sid
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
St
e
ve Bai
r
d
ada: Put_Image aspect spec inco
r
rectl
y
n
o
t
i
nherited
commit
|
commitdiff
|
tree
2022-11-04
Steve B
a
ird
ad
a
:
Static intrinsi
c
function
s
a
re a core langua
g
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
S
t
eve Baird
ada: Allow
enabling a restri
c
ted set
o
f
language extensions
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada:
Generate mi
s
sing object
decls
f
or
a
dainit/adafinal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada:
G
enerate
h
ost-s
i
de CU
D
A_Regist
e
r_F
u
nction calls
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Steve Baird
ada: Minor po
t
e
n
t
ia
l
bug in s
e
m_ch6
.
a
d
b
commit
|
commitdiff
|
tree
2022-10-06
S
t
eve
B
air
d
ada: Incorrec
t
inferences drawn fro
m
if/elsif/while
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Steve Bair
d
a
da:
I
mprove CUDA host
-
sid
e
a
n
d
d
e
vice-side b
i
n
d
er
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Bai
r
d
[Ada] Improve C
U
DA
host-side and device-side
bin
d
er
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve
Bair
d
[
A
da] Improve CUD
A
hos
t
-side
a
nd device-side binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
S
t
eve Baird
[
A
da] I
n
terna
l
error compiling
formal
i
ns
t
a
n
c
e of
generic
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Syntax
e
rror in
Ada 2022 ar
r
a
y
aggregate caus
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve B
a
i
rd
[Ada] Initi
a
lize a
l
o
c
al v
a
riable to a
v
oid a
C
odePee
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Ba
i
rd
[Ada] bug
b
ox
r
e
ferencin
g
INOX pre
f
ix
e
d view o
f
primi
t
ive
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
S
t
e
v
e Bai
r
d
[Ada] L
o
ck_Fre
e
aspect
t
akes
p
r
ecedence ove
r
Ceiling_Lockin
g
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve
Baird
[Ada] Remov
e
a
n
o-longer-
c
orrect commen
t
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Dis
a
ble lock free protecte
d
im
p
lement
a
tion if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve B
a
ird
[Ada] Enable
l
o
ck free prot
e
cte
d
implementation
by
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve Baird
[
A
da] Restore missing Aggregate aspect
f
or
A
da
.
C
ontai
n
ers
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada]
Slice length computation bug in Gene
r
ic_Bou
n
ded_Leng
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve B
a
ird
[Ada] Im
p
rove
d
ocumentation
of validation
che
c
king
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[
A
da] Cope
w
it
h
scal
a
r su
b
typ
e
s tha
t
have a non-scalar
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Stev
e
B
a
i
r
d
[Ada
]
Document
c
hange to legality che
c
k
s
for Inox
case
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
t
eve Baird
[Ad
a
] Te
m
porar
i
ly simplify legality chec
k
s for
I
nox
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[
Ada] Bad Valid
_
Scalars resul
t
i
f
signed in
t
component
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] I
C
E
handling discr
i
m
i
nant-
d
ependent in
d
ex const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve Baird
[Ada] Single-element Append
p
erfor
m
anc
e
impro
v
e
ment
commit
|
commitdiff
|
tree
2022-09-05
St
e
ve Baird
[Ada]
B
a
d
Default_Initia
l
_Condition check for a not
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Steve Baird
[Ada] Use right i
m
ple
m
entation
t
ype for nonbinary-modul
u
s
o
ps
commit
|
commitdiff
|
tree
2022-07-04
Steve Baird
[
Ada] Enforce deferred cons
t
a
n
t
com
p
l
e
tion rules
commit
|
commitdiff
|
tree
2022-07-04
Steve Bair
d
[Ada] Compiler
r
ejects legal allo
c
ator i
n
r
ecord component
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
St
e
ve Baird
[Ada] Av
o
id unwanted warnings for stati
c
ally-known
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve Baird
[Ada] Anothe
r
case where freezi
n
g incorr
e
c
t
ly suppres
s
es
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
S
t
eve Baird
[
A
da
]
M
i
s
s
i
ng disc
r
iminant
c
hecks wh
e
n a
c
cessin
g
varia
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
S
t
eve Ba
i
rd
[Ada]
Incorrect d
e
ter
m
ination of
w
hethe
r
an express
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve Baird
[Ada] D
e
lete no-longer-used Convert_To_Return_Fals
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada]
A
void internal compi
l
e
r
err
o
r
for i
l
legal Predicate_Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada]
Fix
b
u
g in handling of P
r
edica
t
e_Failu
r
e
aspect
commit
|
commitdiff
|
tree
2022-05-16
Steve Baird
[Ada] Implement co
m
ponent finalization orderin
g
rules
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Steve B
a
i
rd
[Ada]
I
mplement late init
i
alization rules
f
o
r type
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
S
t
e
ve
Ba
i
rd
[
A
da]
P
roperly reject unsupported address spe
c
ifications
commit
|
commitdiff
|
tree
2022-05-10
Stev
e
Ba
i
rd
[Ada
]
Failure comp
i
ling "fo
r
.
.
.
of" lo
o
p
o
ver a slice
commit
|
commitdiff
|
tree
2022-05-09
Steve
Ba
i
rd
[Ada] P
r
ope
r
ly
handle unprefixed
r
eference
s
to component
s
commit
|
commitdiff
|
tree
2022-01-06
Steve Baird
[Ada] Avoid buildin
g
malformed component constraints
commit
|
commitdiff
|
tree
2022-01-06
Ste
v
e
B
aird
[Ada] Avoid building malform
e
d
component constraints
commit
|
commitdiff
|
tree
2022-01-05
Stev
e
Baird
[A
d
a
]
Improve support f
o
r ca
s
in
g
on types
w
ith controlled
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
St
e
v
e
Baird
[Ada] Improve support
for
casing o
n
types with co
n
trolled
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
S
teve Baird
[
A
da
]
Add
m
i
ssing r
e
gular express
i
on
s
y
n
t
ax error check
commit
|
commitdiff
|
tree
2021-10-25
Steve Baird
[Ad
a
] Rel
a
x INOX r
e
stricti
o
ns wh
e
n casing
on
c
omposite
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
S
t
e
v
e
B
a
i
rd
[Ada] Va
l
id postcon
d
i
tio
n
s
i
n
c
orr
e
ctly re
j
ected
.
commit
|
commitdiff
|
tree
2021-10-11
Stev
e
Bair
d
[Ad
a
] Incorrect Dynamic_Predicat
e
results f
o
r sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Steve Baird
[A
d
a]
F
i
x
compil
e
r internal erro
r
commit
|
commitdiff
|
tree
2021-10-04
S
t
eve B
a
ird
[A
d
a] Im
p
rove
checking for
i
n
valid in
d
ex values when
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
S
t
e
ve Bair
d
[Ada] Impro
v
ed
c
h
e
cking for invalid index values when
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Bai
r
d
[Ada
]
Impro
v
e err
o
r
mes
s
ag
e
for
.
al
i
fil
e
version mi
s
m
atc
h
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada] Fix bug in inher
i
ted user-defined-literal aspects
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Bai
r
d
[Ad
a
]
Improve error m
e
ssage for
.
a
l
i file
version mi
s
match
commit
|
commitdiff
|
tree
2021-10-01
Steve Bair
d
[A
d
a] No
A
BE check needed
fo
r
a
n
e
x
p
ress
i
o
n
f
u
n
ction
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Steve Baird
[Ada] Upda
t
e
"Implementation Defin
e
d Characterist
i
cs
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Steve Baird
[
A
da] Improve
p
erforma
n
ce for ca
s
e
-
insensitive regular
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Steve
B
air
d
[
A
da] Add -gnatX support
f
or
c
asing on array
v
al
u
es
commit
|
commitdiff
|
tree
2021-09-21
Steve Ba
i
rd
[Ada] Enforce
l
egality rule for Predicate_F
a
ilu
r
e aspect
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
S
t
eve Baird
[Ada] Ref
a
ctor
s
or
t
procedures of do
u
bly linke
d
list
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
St
e
ve Ba
i
rd
[Ad
a
] Improve
p
erfo
r
mance
o
f Ada
.
Conta
i
ner
s
.
D
oubly_Linked_Li
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Steve Baird
[Ada]
Ad
d
-
g
natX s
u
pport for
c
asing o
n
discri
m
inated
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Steve Baird
[
A
da] Unsynchronized
c
o
ncurrent
a
cc
e
ss
t
o a Boolean
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve Baird
[Ada]
I
mprove interactions between DSA
and Put_Im
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve
B
a
ird
[Ada]
U
nsynchronized access to a Boole
a
n i
n
t
asking
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[
A
d
a] Ena
b
le Ada 2020
Put_I
m
age and
Image su
p
port for
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[
A
da]
I
m
plement missing con
s
traint checks
f
or defa
u
lt
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve
B
aird
[A
d
a] Fix bug
i
n c
a
sing
o
n com
p
o
site
values
w
ith
-
gna
t
X
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada] Add GNAT RM tex
t
r
e
garding Ada 2022 default Put_
I
mage
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
S
t
eve Ba
i
rd
[A
d
a
]
Fi
x
some "c
u
rren
t
inst
a
n
c
e
"
bugs
commit
|
commitdiff
|
tree
2021-07-05
Steve B
a
ird
[Ada] Re
m
ov
e
Ada
.
St
r
ings
.
T
ex
t
_Output and chi
l
d uni
t
s
commit
|
commitdiff
|
tree
2021-07-05
Steve Baird
[
Ada]
T
e
mp
o
rar
i
ly disable
A
da 2022 Im
a
ge and
P
ut_Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
S
t
e
ve Baird
[Ada] Add A
d
a
2022 Im
a
ge a
n
d Put_Image
support for
.
.
.
commit
|
commitdiff
|
tree
next