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: Crash processing the accessibility level of an actual parameter
2023-09-26
J
a
vier Miranda
ada: Crash pr
o
cess
i
ng th
e
access
i
bility level of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Jav
i
er Miranda
ad
a
:
Cr
a
sh
p
rocessing
typ
e
invariants on child subprog
r
am
commit
|
commitdiff
|
tree
2023-09-15
Jav
i
e
r Miranda
ada:
Crash
on creation of extra formals on ty
p
e e
x
tensio
n
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Assert
i
on failure on expa
n
s
i
o
n of
re
c
ord with
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Jav
i
er Mi
r
an
d
a
ada: A
s
se
r
tion failu
r
e
on cal
c
ul
a
t
i
on of
L
arge_Ma
x
_Size_Mutable
commit
|
commitdiff
|
tree
2023-09-14
J
avi
e
r
Miran
d
a
ada: Assert
i
on failure on for-of
l
oop
iterating on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Ja
v
ier Miranda
ada: As
s
e
r
t
i
on failure
adding
e
xtra
f
ormals to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Javier
Miranda
ad
a
:
C
r
ash on creation of extra
f
ormals on t
y
pe e
x
tension
commit
|
commitdiff
|
tree
2023-09-05
Javier Mira
n
da
ad
a
: Cr
a
sh on
functi
o
n retur
n
i
ng
emp
t
y Ada
2022 aggregate
commit
|
commitdiff
|
tree
2023-09-05
Jav
i
er
M
ir
a
nda
ad
a
: Enforce su
b
type conformance of interface primitives
commit
|
commitdiff
|
tree
2023-08-07
Javier
Miranda
ada: Spuriou
s
er
r
or on c
l
as
s
-wide preconditions
commit
|
commitdiff
|
tree
2023-07-28
Ja
v
ier
Miranda
ada: Fix unsupp
o
rted di
s
patching constr
u
cto
r
c
a
ll
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
ada: C
o
nstrain
t
_Error caused by 'Image applied
t
o inte
r
face
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
avier Mir
a
nda
ada:
C
onstraint_Erro
r
caused by interfac
e
c
onversion
commit
|
commitdiff
|
tree
2023-06-20
Javier Miranda
ada:
S
p
u
rious err
o
r on package
i
nstantiati
o
n
commit
|
commitdiff
|
tree
2023-06-15
Javier Miranda
ada:
Crash on
C++ constructor
of private type
commit
|
commitdiff
|
tree
2023-05-29
J
av
i
er Miranda
a
d
a
: Crash
o
n aggregate for
t
a
gge
d
record with discri
m
ina
n
ts
commit
|
commitdiff
|
tree
2023-05-29
Javier Mira
n
da
ad
a
:
Sp
u
rious
e
rror on string int
e
rpolatio
n
commit
|
commitdiff
|
tree
2023-05-26
Javier
M
iranda
ada: Cras
h
on function returning alloca
t
ed object co
n
taining
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Cra
s
h on loop in dispatching condition
a
l entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Duplicate decl
a
r
a
tion of _master e
n
tity
commit
|
commitdiff
|
tree
2023-05-25
Javier Mira
n
da
ada: Missi
n
g warning on null-excluding array
aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Javier
Miranda
ad
a
: C
r
a
sh on emp
t
y aggregate
u
sing the Ada 2
0
22 no
t
ation
commit
|
commitdiff
|
tree
2023-05-23
Jav
i
er
M
iranda
a
d
a: Spu
r
ious
e
rrors on cl
a
ss-wide p
r
e
conditions of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Javier
Mirand
a
ada: Cra
s
h o
n
dispatchin
g
primitive
r
eferencing limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Mi
r
an
d
a
ada
:
Spuri
o
us error analyzing 'old or 'result in class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Ja
v
ier Miranda
ada: Spuri
o
us err
o
r
on function
r
eturning C
P
P type
commit
|
commitdiff
|
tree
2023-05-15
J
av
i
e
r
Miranda
ada:
INOX:
pr
o
totype RFC on Str
i
ng Inte
r
polat
i
on
commit
|
commitdiff
|
tree
2023-05-15
J
avie
r
Mir
a
nd
a
a
d
a: Skip dynamic interface
c
onve
r
s
i
on under nat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
Javier
Mi
r
anda
F
i
x ass
e
rtion failure on VSS
l
ibrar
y
commit
|
commitdiff
|
tree
2023-01-05
Javier
Mirand
a
ad
a
:
INO
X
: prototype RFC on String Interpolation
commit
|
commitdiff
|
tree
2023-01-03
Javier Miranda
ada: Cannot re
f
e
r
e
n
c
e
gh
o
st entity in class-
w
ide preconditio
n
commit
|
commitdiff
|
tree
2022-12-06
J
a
vier Mirand
a
ada: Spurious
error on nested
c
all usin
g
the pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Javier Miran
d
a
ada: Flag un
s
upported disp
a
tch
i
n
g co
n
st
r
uctor calls
commit
|
commitdiff
|
tree
2022-11-08
Javier
M
i
r
anda
ada: Enforce matchin
g
of
e
x
t
ra formals
commit
|
commitdiff
|
tree
2022-11-08
Javi
e
r Miranda
ada: Missing
m
aster of ta
s
k
causing assertion failure
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: F
l
ag unsupported dispatching co
n
structor calls
commit
|
commitdiff
|
tree
2022-11-04
Javie
r
Mirand
a
ad
a
: Skip d
y
nam
i
c interfac
e
co
n
version under co
n
figurable
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Javier Mir
a
nda
ada: Skip dyn
a
mic interface
c
onversio
n
under
c
o
n
figurable
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Javier Miranda
[Ada] Revert
"
E
nfo
r
ce matching of extra formal
s
"
commit
|
commitdiff
|
tree
2022-09-06
Ja
v
ier Miranda
[Ada] Enforce
m
a
t
ching of extra form
a
ls
commit
|
commitdiff
|
tree
2022-09-06
Javier Mi
r
anda
[Ada] Report error
i
n non-l
e
gal cl
a
ss-wi
d
e condit
i
o
n
s
commit
|
commitdiff
|
tree
2022-07-06
Javi
e
r
M
iranda
[Ada] Missing
error on tagged ty
p
e
c
onv
e
r
sion
commit
|
commitdiff
|
tree
2022-06-02
Javier Miranda
[Ada]
Update
documentation of
GNAT
.
Dynamic_Tabl
e
s
commit
|
commitdiff
|
tree
2022-05-19
Javier Miranda
[Ada] Wrong inte
r
face dynam
i
c dispatc
h
via access parameter
commit
|
commitdiff
|
tree
2022-05-18
Jav
i
er M
i
randa
[Ada] Crash building VSS with co
m
piler built w
i
th assert
i
on
s
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[
Ada] Ada2022: AI12-0143 Index
a
t
tribute for entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[A
d
a] Crash freezing declaration t
h
at
w
il
l
rai
s
e constraint
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Mi
r
anda
[Ada]
S
purious error on
s
u
bprogram
with class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Ja
v
ier
M
iranda
[Ada] Implement calls to abstract subprograms in
c
lass
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
J
a
vier Mi
r
anda
[Ada] A
c
cept calls to abstract su
b
prog
r
ams in
class
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Miranda
[Ada
]
Compiler crash on -gnata -O2
commit
|
commitdiff
|
tree
2022-05-13
J
avier Miranda
[A
d
a] Ada ABI change when building
w
i
t
h assertion
s
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada] Wrong a
d
dress for cla
s
s-
w
ide int
e
rface acc
e
ss
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
J
a
vier
M
iranda
[Ada] Crash in task bo
d
y re
f
ere
n
ce to discr
i
minant
commit
|
commitdiff
|
tree
2022-01-07
J
a
vi
e
r
Miranda
[Ada
]
Crash in class-wide pre/postco
n
diti
o
n
s
commit
|
commitdiff
|
tree
2022-01-07
Javier Miranda
[Ada] Spurious error ca
u
sed by order
o
f interface
s
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Jav
i
er Miranda
[Ada]
C
r
a
sh in class-wide pre/postcond
i
tions
commit
|
commitdiff
|
tree
2021-10-25
Javier Mir
a
nda
[A
d
a
] Ad
a
2
0
22:
Class-wide typ
e
s
and form
a
l abs
t
ract
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javier
Miranda
[A
d
a] Fix
l
ate
n
t
problem in Sem_Ch8
.
Bui
l
d_Class_Wi
d
e_Wrapper
commit
|
commitdiff
|
tree
2021-10-04
Ja
v
ier Miran
d
a
[Ad
a
] Entities in E_
L
o
o
p
scopes
a
re
not libra
r
y
-level
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javi
e
r M
i
ra
n
da
[Ada] Ada2022:
AI
1
2
-0
1
95
o
ve
r
riding class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javier Miranda
[
Ada] Wra
p
pe
r
s of ac
c
es
s
-
to-su
b
p
r
ograms with pre/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Javier Miranda
[Ada]
Inte
r
face beha
v
e
s
di
f
ferently from
abst
r
act tagged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier
M
iranda
[Ada] Ada20
2
0: AI12-0195 overridin
g
class-wide
p
re
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier
Mir
a
nd
a
[Ada] A
d
a2020:
S
pec
i
al handling of
t
ypes
d
erived from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Javier M
i
randa
[Ada] ACATS 4
.
1R-c
6
11a04:
C
las
s
-
wi
d
e
p
r
e
c
o
n
d
itions
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Javier
Mira
n
d
a
[
A
da] ACATS 4
.
1R-c6
1
1a04
:
Class-wid
e
preco
n
ditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
J
a
vier Mirand
a
[Ada
]
W
ro
n
g membersh
i
p test computation for interfa
c
e
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javie
r
Mi
r
anda
[Ada
]
Spurious e
r
rors on tagged ty
p
es
with ren
a
med
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
J
avier
Mi
r
and
a
[Ada]
A
CATS 4
.
1H - B853001 - mis
s
e
d
errors for r
e
named
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miran
d
a
[Ada] Wrong det
e
c
t
ion o
f
p
o
tentially bl
o
cking ca
l
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Jav
i
er Miranda
[Ada] Spurious error in
c
u
r
r
ent instance used as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] Spurio
u
s err
o
r in ta
f
t ammendment deriv
a
tion
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javier Miranda
[Ada] Spurious
e
r
r
o
r
in
current instance u
s
ed as
f
orm
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Mirand
a
[Ada]
Cra
s
h in expressio
n
function defined
i
n protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Mi
r
anda
[Ada] Private typ
e
unexpectedly visi
b
l
e
commit
|
commitdiff
|
tree
2020-10-16
J
a
vier Miranda
[
Ada] C
r
ash i
n
gener
i
c renaming
d
e
c
laration of ch
i
ld
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
J
avier
M
iranda
[Ada]
A
da2
0
20: A
I
12-000
3
Specifying the sta
n
d
ard stora
g
e
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier Miran
d
a
[Ada]
Cleanup definiti
o
n of Might_Have_Tasks
commit
|
commitdiff
|
tree
2020-07-27
J
a
vier Mi
r
anda
[Ada] A
d
a2020: AI12-00
2
7
Access values and
unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Mir
a
nda
[Ada
]
Spurious
error in g
e
ne
r
ic dispat
c
hing cons
t
ruct
o
r
commit
|
commitdiff
|
tree
2020-07-27
Ja
v
ier Miranda
[A
d
a
]
Ada2020: A
I
12-0027 Acc
e
s
s
v
alues and unal
i
ased
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javi
e
r
Mi
r
anda
[Ada] Misplace
o
f internal master
r
e
naming declaration
commit
|
commitdiff
|
tree
2020-07-16
Javier Mi
r
anda
[
A
da] Avoid
f
alse
p
o
si
t
ive report
e
d
by
C
odePeer
commit
|
commitdiff
|
tree
2020-07-16
Ja
v
ier Miranda
[Ada]
Ada2020:
A
I12-010
7
con
v
ention
o
f By_Prot
e
cted_Procedure
commit
|
commitdiff
|
tree
2020-07-15
Javier Miranda
[Ada]
Wrong res
o
l
ution of
'access in protected subp
r
ogram
commit
|
commitdiff
|
tree
2020-07-10
J
a
vier Miranda
[Ada] Pot
e
nti
a
lly unev
a
luated nest
e
d expr
e
ssions
commit
|
commitdiff
|
tree
2020-07-10
Javie
r
Miranda
[A
d
a
]
S
purious
e
rror
in gen
e
ric dispatchi
n
g
c
o
nstr
u
ctor
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Javier Miranda
[Ada] Fix rec
e
nt
r
egression on _Ma
s
te
r
d
eclara
t
ion
commit
|
commitdiff
|
tree
2020-07-07
J
av
i
er Mira
n
da
[Ada]
Ada202
0
:
AI12
-
0198
p
otentia
l
ly u
n
e
v
a
l
uated components
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Miranda
[Ada] Ada
2
020: AI12-0198 p
o
tent
i
ally
unev
a
luated co
m
po
n
ents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
J
avier Miranda
[
Ada] Ada2020: AI12-0198 potentiall
y
unevaluated compo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Javier Miranda
[Ada]
Ad
a
2020: AI
1
2-0198 potentially unev
a
lua
t
ed arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javier
Miranda
[
A
da]
A
CATS
4
.
1G - C760A02 - Ne
a
r infinite fin
a
liza
t
ion
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javie
r
M
iranda
[Ada] Crash in tag
g
e
d t
y
pe constructor with task co
m
ponents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Miranda
[Ada]
M
i
s
s
i
ng err
o
r
on aspects In
p
u
t an
d
O
u
tput
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Jav
i
e
r
Miranda
[Ada] Crash in tagged type construc
t
o
r
with tas
k
c
o
mponents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Miranda
[A
d
a] Ada2
0
20: AI1
2
-02
7
9 m
o
re dispatchin
g
point
s
with
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javie
r
Miranda
[Ada] Cr
a
sh in tagged type constr
u
ctor with task
c
omponents
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next