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: Fix exception raised on invalid contract in generic package
2023-05-29
Javier Miranda
a
d
a:
Crash on
a
ggregate for tag
g
e
d rec
o
rd with discriminants
commit
|
commitdiff
|
tree
2023-05-29
Javier Miranda
a
d
a: Spurious error on string interpolation
commit
|
commitdiff
|
tree
2023-05-26
J
a
v
ier Miranda
ada: Cra
s
h on function ret
u
rning allocated
o
bject
containing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ier M
i
randa
ada:
C
r
ash
on l
o
op in dispatching cond
i
tional entr
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
i
e
r
M
i
randa
ada: Duplicate declarat
i
o
n of _master entity
commit
|
commitdiff
|
tree
2023-05-25
Javier Miranda
ada
:
Missing warning on null-excluding array a
g
gregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Javi
e
r Mi
r
a
n
da
ada: C
r
ash on empty agg
r
egate usin
g
t
he Ada 20
2
2 no
t
ation
commit
|
commitdiff
|
tree
2023-05-23
J
a
vier Miranda
ada: Spurious errors on class-
w
id
e
pre
c
ondi
t
ions
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Jav
i
er Miranda
ada: C
r
ash on disp
a
tching pr
i
m
i
tive ref
e
rencin
g
limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Miranda
ada: Spuriou
s
e
r
r
or
a
n
alyzing 'old or 'result in c
l
a
ss
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Jav
i
e
r
M
i
rand
a
ad
a
: Spu
r
ious error on function re
t
urning CPP type
commit
|
commitdiff
|
tree
2023-05-15
Javi
e
r Miran
d
a
ad
a
: INOX:
p
ro
t
otype RFC
o
n Str
i
ng Interpo
l
ation
commit
|
commitdiff
|
tree
2023-05-15
Javie
r
Mi
r
anda
ada: Skip d
y
n
amic i
n
terface conversion under native
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
J
avier Miranda
F
i
x
assertion failu
r
e on VSS
l
ibrary
commit
|
commitdiff
|
tree
2023-01-05
Javier Miranda
ada: INOX: p
r
ototype RFC o
n
String Int
e
rpol
a
tion
commit
|
commitdiff
|
tree
2023-01-03
Javier Miran
d
a
ada: Cannot referen
c
e g
h
ost entity in c
l
a
ss-wide precondition
commit
|
commitdiff
|
tree
2022-12-06
Ja
v
ier Mirand
a
ada: Spuri
o
us error on
n
ested call using
t
he pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Javier Miranda
ada: Flag
u
nsuppor
t
ed di
s
patchin
g
constructor calls
commit
|
commitdiff
|
tree
2022-11-08
J
a
vi
e
r Miran
d
a
a
d
a
: Enf
o
rce matchi
n
g of extra
formals
commit
|
commitdiff
|
tree
2022-11-08
Javie
r
Mi
r
anda
ada: M
i
ssing master of task causing assertion failure
commit
|
commitdiff
|
tree
2022-11-04
Javier
M
ir
a
nd
a
ada: Flag
u
nsupp
o
rted dispatc
h
in
g
c
o
nstructor calls
commit
|
commitdiff
|
tree
2022-11-04
Javier Miran
d
a
a
da: Sk
i
p dy
n
a
m
ic int
e
rfa
c
e
conversion under conf
i
gurabl
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
J
avier
M
ir
a
nda
ada: Skip d
y
n
amic in
t
erf
a
c
e
c
onversion under configu
r
able
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Jav
i
e
r
Miranda
[
A
da] Rev
e
rt "Enforce m
a
tching
o
f extra forma
l
s"
commit
|
commitdiff
|
tree
2022-09-06
Javier Miranda
[Ada]
Enf
o
r
c
e mat
c
hing
o
f
ex
t
ra
formals
commit
|
commitdiff
|
tree
2022-09-06
Javier Miranda
[Ada]
R
eport erro
r
in non-legal c
l
a
s
s-wid
e
co
n
ditions
commit
|
commitdiff
|
tree
2022-07-06
Javier
Miranda
[
A
d
a] Missing
e
rror on tagged type conversion
commit
|
commitdiff
|
tree
2022-06-02
Javier Miranda
[Ad
a
] Update doc
u
ment
a
tion of
GNAT
.
Dyn
a
mi
c
_Tabl
e
s
commit
|
commitdiff
|
tree
2022-05-19
Javier Mi
r
anda
[Ad
a
] Wrong
i
nter
f
ace d
y
nam
i
c di
s
patch via
a
c
cess
parameter
commit
|
commitdiff
|
tree
2022-05-18
J
a
vier Mira
n
da
[Ada] Crash building VSS with comp
i
le
r
built
with as
s
ertion
s
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[
A
d
a] Ada2022: AI12-014
3
Index att
r
ibu
t
e for entr
y
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[Ada] Crash
f
reezing declaration that wi
l
l raise cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
J
a
vier Miranda
[Ada] Spurio
u
s
error on subprogram with class-w
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[
A
da] I
m
plement calls to
a
bstrac
t
subprograms
i
n class
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
J
a
vier M
i
randa
[
Ada]
A
ccept
c
alls to abstract subprog
r
am
s
i
n
class
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javier M
i
randa
[Ada] Compiler
c
rash
o
n -gnata -O2
commit
|
commitdiff
|
tree
2022-05-13
Javi
e
r Miranda
[Ada] Ada ABI change when building with
assertions
commit
|
commitdiff
|
tree
2022-05-13
Ja
v
i
e
r Miranda
[
A
da]
W
r
o
ng ad
d
ress for c
l
ass-wide in
t
erface a
c
cess
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Miran
d
a
[
Ada]
C
rash
i
n ta
s
k body refe
r
ence to discri
m
in
a
nt
commit
|
commitdiff
|
tree
2022-01-07
Ja
v
ier Mira
n
da
[Ada]
Crash in
c
lass-wide
pre/postconditions
commit
|
commitdiff
|
tree
2022-01-07
J
avier Miranda
[A
d
a
]
Spurious error caused by order
o
f int
e
rfaces
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
J
av
i
er Miranda
[Ada] Cra
s
h in class-wid
e
pre/postcondi
t
ions
commit
|
commitdiff
|
tree
2021-10-25
Javier Miranda
[Ada] Ada 2022: Class-wi
d
e
type
s
an
d
forma
l
a
bstract
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
J
a
vier Miranda
[Ada] Fix la
t
ent problem in S
e
m_
C
h
8
.
Build_Cla
s
s_Wide_Wra
p
p
e
r
commit
|
commitdiff
|
tree
2021-10-04
Javier Miranda
[Ada] En
t
ities in E_L
o
op s
c
opes
a
re not li
b
rary-level
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javier Mira
n
da
[Ada] Ad
a
2022: AI12-01
9
5 overrid
i
ng class-w
i
de pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javier
Mir
a
n
d
a
[Ada] Wra
p
p
ers of access-to-subpro
g
ra
m
s w
i
th pre
/
post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
J
av
i
er Miranda
[Ada
]
Inte
r
fa
c
e behave
s
differently from a
b
strac
t
t
a
gged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Mir
a
n
d
a
[
A
d
a] Ada20
2
0:
AI12-0
1
95 overridi
n
g class-
w
i
d
e pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Mir
a
nda
[Ada]
A
da2020:
S
pe
c
ia
l
handling of types d
e
rived from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
J
a
vier M
i
randa
[
A
da
]
ACATS
4
.
1R-c611
a
04: Cla
s
s
-
wide preco
n
ditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Javier Mira
n
da
[
Ada] A
C
ATS 4
.
1R-c
6
11a04: Class
-
wide
preconditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Javier
Mirand
a
[
A
da]
W
rong mem
b
ership test
computat
i
on f
o
r in
t
erface
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javi
e
r M
i
rand
a
[Ada
]
Spurious e
r
ro
r
s
on t
a
g
g
ed typ
e
s wit
h
rena
m
ed
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Javier
M
i
randa
[Ada]
A
C
A
TS 4
.
1H - B85
3
00
1
- mis
s
ed erro
r
s for renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Jav
i
er Miranda
[
Ad
a
]
W
rong det
e
ction
o
f poten
t
ially blocking c
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Mi
r
a
n
da
[Ada
]
Spurious error in cu
r
re
n
t insta
n
ce used as f
o
rma
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
J
a
vi
e
r Miranda
[
Ada]
Spurious
error
in taft a
m
me
n
dment derivat
i
on
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javier Miranda
[
A
da] S
p
urious er
r
or
i
n curr
e
nt instance used as fo
r
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ja
v
ier Miranda
[Ada] Crash in expression function defined
i
n protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Jav
i
er Miranda
[A
d
a] Priv
a
te
t
ype unexpec
t
edly
visible
commit
|
commitdiff
|
tree
2020-10-16
Ja
v
ier
Mi
r
a
n
da
[
A
da] Crash in generic renami
n
g declara
t
i
o
n of ch
i
ld
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier
M
iranda
[Ada] Ada2
0
20: AI12-0003 Speci
f
ying t
h
e stand
a
rd storag
e
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Ja
v
ier M
i
randa
[Ada] Cleanup d
e
fi
n
ition of M
i
ght
_
Have_Tas
k
s
commit
|
commitdiff
|
tree
2020-07-27
Javie
r
Miranda
[Ada] Ada2020: AI
1
2-0027 Ac
c
ess val
u
es and unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Miranda
[Ada
]
Spurious error in generic dispat
c
h
ing constructor
commit
|
commitdiff
|
tree
2020-07-27
Javier Miranda
[A
d
a
] Ada2020: AI12-0027 Access v
a
lues and unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[
A
da] Misplace of
intern
a
l
master renami
n
g declaration
commit
|
commitdiff
|
tree
2020-07-16
J
a
vier Miranda
[Ada] A
v
oid fa
l
se positi
v
e re
p
orted by C
o
deP
e
er
commit
|
commitdiff
|
tree
2020-07-16
Javier Mira
n
da
[Ada]
Ada202
0
: AI12-01
0
7 conventi
o
n of By_Protected_Procedur
e
commit
|
commitdiff
|
tree
2020-07-15
Javier Miranda
[Ad
a
]
Wrong
resolution of 'a
c
cess in prot
e
cted subprogram
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[Ada] Pote
n
tially unevaluated nes
t
ed e
x
p
ressions
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[
A
da]
Spuri
o
us err
o
r in gen
e
r
i
c dispatchi
n
g
constructor
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Jav
i
er M
i
randa
[
A
da] Fix rece
n
t re
g
ression on
_
Master d
e
claratio
n
commit
|
commitdiff
|
tree
2020-07-07
Javier
M
ir
a
nda
[
Ad
a
]
Ada2020:
AI12-0
1
98 poten
t
ially unevaluat
e
d components
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Mirand
a
[
A
da] Ada2020: AI12-0198 potentially unevaluat
e
d c
o
mponents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Miranda
[Ada] Ada2020: AI12-0198 potent
i
all
y
u
nevaluated comp
o
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Jav
i
e
r
Miranda
[Ada
]
Ad
a
2020: AI12-0198 potentially
unevaluated a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javier Miranda
[Ada] ACA
T
S
4
.
1G
-
C
760A0
2
- Near infi
n
ite fina
l
iza
t
ion
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
a
vier Mi
r
anda
[Ada] Crash
in tagged type c
o
nstructor
wi
t
h ta
s
k
component
s
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier
Mirand
a
[Ada] Missing
erro
r
o
n
a
spects I
n
put
a
nd Out
p
ut
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier M
i
randa
[Ada] Crash in tagged typ
e
co
n
s
tructor with task c
o
mponents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Miranda
[Ada] Ad
a
2
0
20: AI12-0279 more di
s
patch
i
ng poin
t
s
with
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javi
e
r Miran
d
a
[A
d
a] Cr
a
sh
i
n tagged type constructor with task components
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
J
av
i
er M
i
randa
[Ada] Crash in tagged
t
y
pe constructor with task components
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
J
a
v
i
er M
i
randa
[Ada] Crash
i
n
tagged
t
ype constructor with task
components
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier
Miranda
[Ada] Cras
h
in ta
g
ged type
c
onstruct
o
r with tas
k
compo
n
ents
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Javi
e
r Miranda
[Ada
]
Crash in tagged type co
n
s
truct
o
r with
task compone
n
ts
2020-06-15
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Javier Miranda
[Ada] Crash on dis
p
atching condi
t
ional entry
c
all
2020-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
J
a
v
i
e
r
Miranda
[Ada] Cla
s
swide
c
on
t
rolled obj not
d
ispatching
2020-06-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
J
avier
M
i
randa
[Ada] M
i
ssing c
h
ec
k
on private overrid
i
ng of di
s
p
atching
.
.
.
2020-06-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Jav
i
er Miranda
[Ada]
Better code
generation for nested aggregates
2020-06-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
avier M
i
randa
[
A
da] CCG:
r
egressions o
n
ACA
T
S
c
460007,
c
46013a, cd1009d
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Ja
v
ier Mi
r
anda
[Ada] Improv
e
d
support for aspect alignm
e
nt in CCG
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javier Miranda
[Ad
a
] Compiler cras
h
processing co
n
trolled type primitive
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Javier Mira
n
da
[Ada] R
e
serving switch d_K for known
p
roble
m
isssues
.
.
.
2019-12-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Jav
i
er Miran
d
a
[Ada
]
Sp
u
rious error on p
r
econdition of subp
r
ogram
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Jav
i
er
M
iranda
[
A
da]
A
dding support
f
or uns
u
pported t
y
pe conversions
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Mir
a
n
d
a
[A
d
a
]
P
ragma Li
n
ker_Section in sub
p
rogram
i
nstanti
a
tions
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier
M
iran
d
a
[Ada] Adding
supp
o
rt f
o
r
u
n
s
upported type conversion
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next