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: Minor tweaks for comparison operators
2023-11-07
Steve Baird
ada:
New Loca
l
_Restrict
i
on
s
a
n
d User_Aspec
t
asp
e
cts
.
commit
|
commitdiff
|
tree
2023-09-05
Ste
v
e Bai
r
d
ada:
C
ompiler han
g
s
on inva
l
id postcondit
i
on
commit
|
commitdiff
|
tree
2023-09-05
Steve Baird
ada
:
Spurious w
a
rning ab
o
ut
n
e
g
at
i
v
e
mod
u
lar literal
commit
|
commitdiff
|
tree
2023-08-01
S
teve Baird
a
d
a: Bugbox compiling
Co
n
s
trained_Protected_
O
bject
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
St
e
ve Baird
ada: Inco
r
r
e
ct
o
ptimization for u
n
constr
a
ined limited
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Steve Baird
ada
:
F
i
nali
z
ation no
t
perfor
m
ed fo
r
co
m
ponent of protected
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Baird
ada: Defau
l
t_Component_Value trumps Initialize/N
o
r
m
alize_Scalars
commit
|
commitdiff
|
tree
2023-05-25
St
e
ve Baird
ada:
Avoid duplicated streaming subprograms
commit
|
commitdiff
|
tree
2023-05-23
S
teve Bai
r
d
ada: A
discrim
i
nant of a
v
a
riable is not
a variable
commit
|
commitdiff
|
tree
2023-05-22
Steve
B
a
i
rd
ada: Accept
A
ssert pragmas in ex
p
r
e
ssion funct
i
ons
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada: Reject illegal decla
r
ati
o
ns in expre
s
sion functions
commit
|
commitdiff
|
tree
2023-05-22
St
e
ve Baird
ada: Bett
e
r er
r
o
r message if no
n
-Ada2022 code de
c
lares
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Steve Ba
i
rd
ada
:
Add "gnat --help-ada"
text for n
e
w switches
.
commit
|
commitdiff
|
tree
2023-05-15
S
t
e
v
e Bai
r
d
a
d
a
: Emit warnings for (some)
ineffective static predi
c
ate
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Steve
B
aird
ada: Better error message for bad Disca
r
d_Names
c
onfigur
a
ti
o
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
Steve Ba
i
rd
ad
a
: Enforce Agg
r
e
gate aspect legality rule
commit
|
commitdiff
|
tree
2022-11-21
S
teve B
a
ir
d
ad
a
: In
t
ernal c
o
mpil
e
r e
r
ror for S
e
quential Partition_Elabor
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Steve Bair
d
ada: Ada 2022 Image attrib
u
te bu
g
s
commit
|
commitdiff
|
tree
2022-11-21
Steve Baird
ada
:
Impr
o
ve documen
t
ation for
-
gnatw
.
h
warni
n
gs
commit
|
commitdiff
|
tree
2022-11-08
Ste
v
e Baird
ada: Compile-time simplifi
c
ation of 'Image in
c
o
rrectl
y
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
St
e
ve Bair
d
ada: Improv
e
handling
of declare e
x
p
r
ession
s
in deferred
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Steve Baird
ada: Rework
CUDA h
o
st-si
d
e invocation of device-side
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Steve
Bai
r
d
ada
:
Put_Image a
s
pect spec inco
r
rec
t
ly not inherite
d
commit
|
commitdiff
|
tree
2022-11-04
Steve B
a
i
rd
ada:
Static intrin
s
ic func
t
ions are a c
o
re
l
anguage
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
S
teve Ba
i
r
d
ada: Allow enabling a restricted set of language extensions
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ad
a
: Generate mis
s
ing objec
t
decls for adainit/adafinal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Steve Bair
d
a
d
a
: Gen
e
rat
e
host-side CUDA_R
e
gi
s
te
r
_Function cal
l
s
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Steve Baird
ada: Minor potentia
l
b
u
g
i
n
sem_
c
h6
.
adb
commit
|
commitdiff
|
tree
2022-10-06
S
teve Bair
d
ada: Incorrect inferences d
r
awn from if/elsi
f
/w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
St
e
ve Bai
r
d
ada: Improv
e
CU
D
A ho
s
t-side and devi
c
e-
s
ide binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Stev
e
Baird
[Ada]
Improve CUDA host-sid
e
and device-side binde
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[
Ada] Improve CUDA host-side and device-side
binde
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Internal err
o
r com
p
iling formal insta
n
ce o
f
generic
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[
Ada] Syntax er
r
or in Ada 20
2
2 array aggregate
causes
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve B
a
i
r
d
[Ada]
Initialize a lo
c
al va
r
i
a
ble
to avoid a CodePeer
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] bugbox referenci
n
g I
N
OX
prefixed
v
iew of
p
rim
i
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada
]
L
ock_Free aspec
t
takes pr
e
cedence over Ce
i
ling_L
o
c
k
ing
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Stev
e
B
aird
[Ada] Remove
a n
o
-longer-correct co
m
ment
commit
|
commitdiff
|
tree
2022-09-06
Steve Ba
i
rd
[Ada] Disable
lock
fre
e
protected imp
l
ementation
if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve B
a
ird
[A
d
a] Enable lock free protected
i
mplementatio
n
by
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Restor
e
m
i
ss
i
ng Aggreg
a
t
e
aspect for Ad
a
.
Conta
i
ner
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ad
a
] Slice length computation bug
i
n Generic_
B
ou
n
d
ed
_
Le
n
gth
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Bair
d
[Ada
]
Improve documenta
t
ion of val
i
dat
i
on chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[
Ada] Cope with scalar subtyp
e
s
tha
t
have a non-sc
a
lar
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
teve
B
a
ird
[Ada]
D
ocument c
h
ange to
legali
t
y chec
k
s for
I
no
x
c
a
se
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
aird
[Ada] Te
m
porarily s
i
mplify legalit
y
c
hecks f
o
r Inox
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Ba
d
Valid_S
c
alars result if sign
e
d int compon
e
nt
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] ICE han
d
lin
g
discriminant-dependent ind
e
x constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve Bair
d
[Ada] Single-elemen
t
Append perf
o
rmance i
m
p
r
o
v
emen
t
commit
|
commitdiff
|
tree
2022-09-05
Steve Baird
[Ada] Bad Defaul
t
_
I
nitial_Condition ch
e
ck for a not
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
St
e
v
e
Baird
[A
d
a] Use
right
i
mpl
e
m
e
n
tation type for no
n
binary-m
o
dulus ops
commit
|
commitdiff
|
tree
2022-07-04
S
t
eve Baird
[Ada
]
Enforce deferred constant compl
e
tion
rules
commit
|
commitdiff
|
tree
2022-07-04
Ste
v
e Baird
[Ad
a
] C
o
mpiler rej
e
cts
l
egal allocator
in
r
e
c
o
rd compo
n
ent
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Ste
v
e Bai
r
d
[
A
da] Av
o
id
u
nwanted war
n
in
g
s for st
a
t
i
cally-k
n
own
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve B
a
i
rd
[Ad
a
] A
n
o
t
her case whe
r
e freezi
n
g i
n
correctly
suppresses
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Steve Ba
i
rd
[Ada
]
M
i
s
s
ing
d
iscriminant check
s
when
acces
s
ing variant
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve Baird
[Ada] Inco
r
rect
d
eterminati
o
n of whether an
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve Baird
[
Ada] De
l
e
t
e
no
-
longer-
u
sed Convert_To
_
Return_Fa
l
se
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Ba
i
rd
[Ada] Avoid
interna
l
c
o
m
p
iler error
f
or
illegal Predicate_Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada] Fix
bug
in hand
l
ing o
f
P
r
edicate_Failure aspec
t
commit
|
commitdiff
|
tree
2022-05-16
S
teve Baird
[Ada] Im
p
lement
c
omponent finaliz
a
t
ion orderi
n
g rule
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Steve Baird
[Ada] Implement late initi
a
liza
t
ion rules for
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Ste
v
e
Bai
r
d
[Ada] Properly reject unsupported add
r
e
ss specificat
i
ons
commit
|
commitdiff
|
tree
2022-05-10
Steve B
a
i
r
d
[Ada]
F
ailure compi
l
ing "for
.
.
.
of" loop o
v
er a sl
i
ce
commit
|
commitdiff
|
tree
2022-05-09
Steve Baird
[Ada] Prope
r
l
y
handle
unprefixe
d
ref
e
r
e
nces
t
o
componen
t
s
commit
|
commitdiff
|
tree
2022-01-06
Steve Baird
[Ada] A
v
oid building malforme
d
comp
o
nent constrain
t
s
commit
|
commitdiff
|
tree
2022-01-06
Steve Baird
[Ada
]
Avoid building malforme
d
compo
n
ent c
o
nstraints
commit
|
commitdiff
|
tree
2022-01-05
Stev
e
Baird
[Ada] Improve su
p
port
f
or casing
o
n types with control
l
ed
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Stev
e
Bair
d
[Ada] Improve su
p
port for casing on types
with contr
o
lled
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Steve B
a
i
rd
[Ada] A
d
d missing regular exp
r
ession syntax error check
commit
|
commitdiff
|
tree
2021-10-25
Steve B
a
ir
d
[Ada]
R
elax
INOX
restrictions when casi
n
g on
c
o
mposit
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Steve Baird
[A
d
a] Valid postconditions incorrect
l
y rej
e
cted
.
commit
|
commitdiff
|
tree
2021-10-11
St
e
ve Baird
[A
d
a] Incorrect
D
yna
m
ic_Predicate
r
e
su
l
ts for static
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Steve Baird
[Ada
]
F
i
x co
m
piler in
t
ernal error
commit
|
commitdiff
|
tree
2021-10-04
St
e
ve Baird
[Ada
]
Impro
v
e checking for invalid index
values
w
hen
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Bair
d
[Ada
]
I
m
proved
chec
k
ing
f
o
r invalid ind
e
x
v
alues when
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada] Imp
r
ove
e
rror messag
e
for
.
a
li
f
ile version mism
a
tch
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada] Fix b
u
g in inherited
user-defined-lite
r
al aspects
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve
B
aird
[Ada] Improv
e
error m
e
s
sag
e
for
.
ali fi
l
e ve
r
sion m
i
smat
c
h
commit
|
commitdiff
|
tree
2021-10-01
Steve
Bai
r
d
[Ada]
N
o ABE chec
k
need
e
d for an expression
function
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
St
e
ve Baird
[
Ada] Update
"
Imple
m
enta
t
i
on
D
efined Characteristics
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
S
teve Bair
d
[Ada] Improve
p
e
r
f
o
rmance for
c
ase-insensitive regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
St
e
ve Baird
[Ada
]
A
d
d
-gn
a
tX
s
u
pport fo
r
c
a
sing
o
n arra
y
values
commit
|
commitdiff
|
tree
2021-09-21
Steve Baird
[Ada] Enforc
e
le
g
ality
r
u
l
e for
P
redicate_Failure
a
s
p
e
ct
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Steve Baird
[Ada
]
Refact
o
r
s
ort
p
roce
d
ures of doubly li
n
ke
d
l
ist
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Steve Baird
[
A
d
a] Impr
o
ve performance
of Ada
.
Co
n
tai
n
ers
.
Doubly_Linked_Li
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Steve Baird
[
A
d
a] Add -gnatX supp
o
rt for ca
s
ing on
discriminated
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
St
e
ve Baird
[Ada] Unsynchronized conc
u
rrent access to a Bo
o
le
a
n
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve Baird
[Ada
]
Improve interactions be
t
ween DSA and P
u
t_Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Steve
B
a
ird
[Ada]
U
nsynchronized access to a Boolean
in ta
s
king
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Bai
r
d
[A
d
a] Enable Ada 2
0
20
P
ut_Image and Ima
g
e suppo
r
t for
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
S
t
eve Baird
[Ada] Implement missing
co
n
strai
n
t checks for default
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Steve Baird
[Ada]
F
i
x
bug in
casing
on c
o
mposi
t
e values with -gnatX
commit
|
commitdiff
|
tree
2021-07-06
Ste
v
e Ba
i
r
d
[
A
d
a] Add
G
NAT RM
t
e
x
t regarding Ada
2
0
2
2
d
efault Put_I
m
age
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Steve
B
aird
[Ada] Fix
s
ome
"current inst
a
n
c
e" bugs
commit
|
commitdiff
|
tree
2021-07-05
Steve B
a
i
rd
[Ada] Remove
A
da
.
St
r
ings
.
Text_Output and child un
i
ts
commit
|
commitdiff
|
tree
2021-07-05
S
teve Bair
d
[Ada] Temporarily disable
Ada 2
0
22 Image and Put_I
m
a
ge
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Steve Baird
[Ada] Ad
d
A
da 2
0
22 Im
a
ge
a
n
d
Put_Image s
u
pport for
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Stev
e
B
aird
[Ada] Add Ada
.
Strings
.
Text_Buf
f
ers an
d
replace us
e
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Steve
B
ai
r
d
[Ada] Casing on com
p
o
site
values
commit
|
commitdiff
|
tree
next