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-10-10
Javier Mira
n
d
a
ada:
Cr
a
sh
proce
s
s
i
ng pragmas Comp
i
le_Time
_
Erro
r
and
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javier Miranda
a
d
a:
Crash processing the ac
c
e
ssibility level of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Javier Mi
r
anda
ad
a
: Crash processing type invariants on child subpr
o
gra
m
commit
|
commitdiff
|
tree
2023-09-15
Javier Miranda
ada:
Cra
s
h on creat
i
o
n of ext
r
a fo
r
mal
s
on type extension
commit
|
commitdiff
|
tree
2023-09-14
J
av
i
er
M
iranda
ada:
A
ss
e
rti
o
n f
a
ilur
e
on exp
a
nsion of record wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javi
e
r M
i
randa
ada: A
s
s
e
r
ti
o
n failure on calculati
o
n o
f
Large_Max_Size_Mutable
commit
|
commitdiff
|
tree
2023-09-14
Javier M
i
randa
ada: Asser
t
ion failure on for-of
l
o
op
i
terating on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier
Mi
r
anda
ad
a
: Assertion
failure addi
n
g extra forma
l
s to
la
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada:
Crash on
creation of
extra forma
l
s on type e
x
t
ension
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
a
da: Crash on function retu
r
ning empty Ada 2022 aggregate
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
a
d
a: En
f
or
c
e
subt
y
pe conformance of in
t
erface primitives
commit
|
commitdiff
|
tree
2023-08-07
Ja
v
ier Miranda
ada:
S
purious error on cl
a
ss
-
wide precondit
i
on
s
commit
|
commitdiff
|
tree
2023-07-28
J
avie
r
Miranda
ada:
F
ix
u
n
supported dispatching constr
u
ctor call
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
ada: Constraint
_
Error cau
s
e
d
by 'Image ap
p
lied to
interface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
a
vier Mi
r
anda
ada:
Constraint_Err
o
r
caused b
y
interface con
v
ersion
commit
|
commitdiff
|
tree
2023-06-20
Javier
M
ira
n
da
ada: Spurious e
r
ror on pack
a
ge
in
s
tantiat
i
o
n
commit
|
commitdiff
|
tree
2023-06-15
Javie
r
Miranda
ada: Crash on C+
+
constr
u
ctor of pr
i
vate type
commit
|
commitdiff
|
tree
2023-05-29
Javier Mir
a
nda
ada:
C
ras
h
on aggregate for tagge
d
record wit
h
d
iscriminants
commit
|
commitdiff
|
tree
2023-05-29
Jav
i
er Miranda
ad
a
: Spurious er
r
or on
string inte
r
polation
commit
|
commitdiff
|
tree
2023-05-26
Javie
r
Mir
a
nda
ada: Crash
o
n
fu
n
ction returning
allocated object
c
ontainin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
J
a
vier Miran
d
a
ada: Crash on loop in d
i
spatching conditional entr
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ier
Miranda
ad
a
:
D
u
pl
i
ca
t
e de
c
larat
i
o
n
of _mast
e
r
entity
commit
|
commitdiff
|
tree
2023-05-25
Javier Miranda
a
d
a:
M
i
s
sing warning on null-excluding a
r
ray aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Javi
e
r Miranda
ada: C
r
ash on empty aggrega
t
e using the Ad
a
2022
notation
commit
|
commitdiff
|
tree
2023-05-23
Javie
r
Mira
n
da
ada: Sp
u
r
i
ous errors
o
n
cla
s
s
-
w
i
d
e prec
o
n
d
itions o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
J
av
i
er Miranda
ada:
C
r
ash on
d
i
s
pa
t
chin
g
primitive referencin
g
limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
a
v
ier Miranda
ada:
S
puriou
s
error
a
nalyzin
g
'old or
'
re
s
ult in class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
avier
M
iranda
a
d
a
: Spurious error on fu
n
ction
re
t
u
r
ning
C
PP ty
p
e
commit
|
commitdiff
|
tree
2023-05-15
J
a
vier Mirand
a
a
da: INOX: proto
t
ype RFC on String Interpolat
i
on
commit
|
commitdiff
|
tree
2023-05-15
Javier M
i
randa
ada:
S
ki
p
dynamic
interface conversion under nativ
e
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
Javier Miranda
Fix assertion failure on VSS library
commit
|
commitdiff
|
tree
2023-01-05
J
avier Mir
a
n
da
ada: INOX: prototype RFC on St
r
ing In
t
erpolation
commit
|
commitdiff
|
tree
2023-01-03
Javier M
i
randa
a
da
:
Cannot reference ghost enti
t
y
in class-wid
e
preconditi
o
n
commit
|
commitdiff
|
tree
2022-12-06
Javier Mi
r
anda
ada: Sp
u
rious e
r
ror on
nes
t
ed c
a
ll using
the pre
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
J
a
vi
e
r Mira
n
d
a
ada: Flag
u
ns
u
pported d
i
s
patchi
n
g
c
onstr
u
ctor
c
a
lls
commit
|
commitdiff
|
tree
2022-11-08
Javier Mira
n
da
ada: Enf
o
r
c
e matchi
n
g of ex
t
ra formals
commit
|
commitdiff
|
tree
2022-11-08
J
a
v
ier
M
iranda
ada: Mi
s
sing master
o
f t
a
sk c
a
using assertion failu
r
e
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Flag unsup
p
orted
d
i
spatc
h
ing construc
t
or cal
l
s
commit
|
commitdiff
|
tree
2022-11-04
J
a
vier Miranda
ad
a
: Skip
d
ynamic inter
f
ac
e
conver
s
i
on und
e
r
conf
i
gura
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Ja
v
i
e
r
Mir
a
nd
a
ada: Skip dynamic interfac
e
conversion
u
nde
r
con
f
igur
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
J
a
vier Miranda
[Ada] Reve
r
t "Enforce matchin
g
o
f extra formals"
commit
|
commitdiff
|
tree
2022-09-06
J
a
vie
r
Mirand
a
[Ada] Enforce matching of e
x
tra for
m
als
commit
|
commitdiff
|
tree
2022-09-06
Javie
r
Miranda
[Ada] Re
p
ort error in non-lega
l
class-wi
d
e con
d
it
i
ons
commit
|
commitdiff
|
tree
2022-07-06
Jav
i
er
Miranda
[Ada] Missing e
r
r
o
r
on tagged type conv
e
r
s
ion
commit
|
commitdiff
|
tree
2022-06-02
Javier Mir
a
nda
[A
d
a] Update docume
n
tat
i
on of GNAT
.
Dynami
c
_Tables
commit
|
commitdiff
|
tree
2022-05-19
Javier
Miranda
[Ada] W
r
ong interface d
y
namic di
s
patch via ac
c
ess parame
t
er
commit
|
commitdiff
|
tree
2022-05-18
J
a
vier Miranda
[
A
da] Crash building VSS
w
ith c
o
mpiler
b
uilt w
i
th assertions
commit
|
commitdiff
|
tree
2022-05-18
Ja
v
ier Mir
a
nda
[Ada
]
Ada2022: AI
1
2-0143 I
n
dex attribute for entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[Ada]
Crash fre
e
zing de
c
la
r
ation that
will raise c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Jav
i
er Miranda
[Ada] Spurious error
o
n
s
u
b
pro
g
ra
m
with class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier M
i
r
a
nda
[Ada]
I
m
p
lement ca
l
ls to abstract
s
ubprograms in cla
s
s
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
J
avier
M
ir
a
nda
[
Ada] Accept call
s
to ab
s
t
r
act subprogra
m
s i
n
c
l
ass
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
M
iranda
[A
d
a] Compiler crash on -
g
nata -O2
commit
|
commitdiff
|
tree
2022-05-13
Ja
v
ier M
i
randa
[
A
da] Ada
ABI change wh
e
n
building with assertions
commit
|
commitdiff
|
tree
2022-05-13
J
a
v
ier
M
iranda
[Ada] Wron
g
add
r
ess fo
r
c
l
a
s
s-w
i
de
i
nterface access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javi
e
r M
i
r
a
nda
[Ada] Crash in task bod
y
reference to dis
c
riminant
commit
|
commitdiff
|
tree
2022-01-07
J
a
vier Miranda
[Ada] Crash in
cl
a
ss-wide pre
/
postconditions
commit
|
commitdiff
|
tree
2022-01-07
Javier Miranda
[
Ada
]
Sp
u
r
i
o
u
s
er
r
or caused by
order of
i
nter
f
aces
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Javier Miran
d
a
[Ad
a
]
C
r
as
h
i
n
cl
a
ss-wide
p
re/
p
ostconditions
commit
|
commitdiff
|
tree
2021-10-25
Javier Miranda
[Ada] Ada 2022: Class-wide ty
p
es and f
o
rmal
a
b
s
t
r
a
ct
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javi
e
r Miranda
[
Ada] Fix
l
a
t
ent problem
i
n S
e
m
_
Ch8
.
Buil
d
_
C
lass_Wide_W
r
apper
commit
|
commitdiff
|
tree
2021-10-04
Javier Mirand
a
[Ada] Ent
i
ties in E_Loop scopes are
not libra
r
y
-
level
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javier Miranda
[Ada]
Ada2022: AI12-0195 ove
r
ridin
g
c
lass-wide
pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Ja
v
ier
Miranda
[Ada] Wrappers of a
c
ce
s
s-to-subprog
r
a
ms with pre/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Javier Mir
a
n
d
a
[Ada] Interface
b
ehav
e
s differen
t
ly from abstr
a
ct tagged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Mira
n
da
[Ad
a
] Ada
2
020: AI12-0195
o
verriding class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Miranda
[Ada] Ada2020: Special handling
o
f types
derived
from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Javier Miranda
[
Ada] ACATS 4
.
1
R-c
6
11a04: Class-wide p
r
econditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
J
a
vier Miran
d
a
[A
d
a]
A
CATS
4
.
1R-
c
611a0
4
:
Class-
w
ide preconditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Ja
v
ier Miranda
[Ada] Wro
n
g memb
e
rs
h
ip test computation for interf
a
ce
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javier M
i
randa
[Ada
]
Spurious errors on
tagged types with ren
a
med
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Javier Miranda
[Ad
a
] ACATS 4
.
1H -
B
853001 -
m
i
s
sed errors for rename
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] W
r
o
n
g
detecti
o
n of
potenti
a
lly blockin
g
call
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] Spurious error
in current
i
n
sta
n
ce used
a
s formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Jav
i
e
r
M
iranda
[Ada] Spurious
e
r
r
or in ta
f
t
am
m
endment derivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
J
avier Mi
r
a
nda
[Ada
]
Spurious error in current instance used as f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javi
e
r Mir
a
nda
[Ada
]
Cr
a
sh in e
x
pressi
o
n functi
o
n de
f
in
e
d in protect
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Miranda
[
Ada]
Priv
a
te type unexp
e
ctedly
v
i
sible
commit
|
commitdiff
|
tree
2020-10-16
Javier Miranda
[Ada] Crash in gen
e
ric
r
enaming d
e
c
l
a
r
ation of child
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
J
a
v
i
er Miranda
[Ada] Ada202
0
: AI12-0003
S
pecifying the stan
d
ard storage
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier Miranda
[
A
da] Cleanup def
i
nition of Mi
g
h
t
_Ha
v
e_Tasks
commit
|
commitdiff
|
tree
2020-07-27
J
a
vier Miranda
[Ada]
A
da2020:
A
I12-0027 Access value
s
a
nd un
a
l
ias
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Miranda
[
A
da] Spurious error in generic dispa
t
c
h
ing construct
o
r
commit
|
commitdiff
|
tree
2020-07-27
Javier
Mira
n
da
[Ad
a
] Ada2020: AI12-
0
02
7
A
c
c
ess values and una
l
iased
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier Mir
a
nda
[A
d
a]
Mispla
c
e of i
n
tern
a
l mas
t
er
r
enaming declaration
commit
|
commitdiff
|
tree
2020-07-16
Javi
e
r Miranda
[Ada]
A
void false
positive
r
e
p
orted b
y
Co
d
ePeer
commit
|
commitdiff
|
tree
2020-07-16
J
a
vier Miranda
[
A
da
]
A
da2020: AI12-0107 con
v
e
ntion of
B
y_Protected_Proce
d
ure
commit
|
commitdiff
|
tree
2020-07-15
Ja
v
ier Miranda
[Ada] Wrong
r
esolution of 'access in prote
c
ted subprogram
commit
|
commitdiff
|
tree
2020-07-10
Javi
e
r Miranda
[Ada]
Po
t
ential
l
y unevaluate
d
nested e
x
pressions
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[Ada] Spuri
o
us error
i
n
g
e
ner
i
c
d
ispatc
h
ing construc
t
or
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Ja
v
ier Miranda
[Ada
]
Fix recent re
g
r
ession on
_
Master dec
l
aration
commit
|
commitdiff
|
tree
2020-07-07
Javier Mir
a
nda
[Ada] Ada202
0
: AI12-0
1
98 poten
t
i
ally unevaluated com
p
onent
s
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier M
i
rand
a
[Ada] Ada2020: AI12-0198 po
t
e
n
tial
l
y unevalua
t
ed comp
o
ne
n
ts
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
J
a
vie
r
Miranda
[Ada] Ada
2
02
0
: AI12-01
9
8 pot
e
ntially uneva
l
uate
d
compone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Javier Mir
a
n
da
[Ada]
A
d
a
2020: AI12-0198
p
o
tentially unevalu
a
t
e
d array
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javier
Miran
d
a
[Ada
]
ACA
T
S 4
.
1G - C7
6
0A02 - Near infinite finalizat
i
on
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javi
e
r
Miranda
[Ada] Crash in tag
g
ed
type con
s
tructor
with task co
m
po
n
e
n
ts
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Ja
v
i
er Mira
n
da
[A
d
a] Missing e
r
ror on aspects
Input and O
u
tput
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Miranda
[Ada] Crash in
tagged type constructo
r
with
ta
s
k
c
o
m
ponents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
J
a
vier M
i
randa
[Ada] Ada2020: AI
1
2-0279 more dis
p
a
tc
h
ing p
o
ints w
i
th
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next