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 wrong expansion of array aggregate with noncontiguous choices
2023-05-29
J
a
vier Mir
a
n
da
ada: Crash on aggregate fo
r
t
a
gged re
c
ord w
i
th discriminants
commit
|
commitdiff
|
tree
2023-05-29
J
a
vi
e
r
Miran
d
a
ada: Spurious erro
r
on string interpolation
commit
|
commitdiff
|
tree
2023-05-26
Javier Mira
n
da
ada: Crash on function
r
eturning
allocate
d
object c
o
n
t
aining
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Crash on loop i
n
dispatc
h
i
ng condit
i
onal entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Mir
a
nda
ada:
D
up
l
i
cate
d
ec
l
aration of _master entity
commit
|
commitdiff
|
tree
2023-05-25
Javi
e
r M
i
randa
ad
a
: Missing warning on null
-
excluding arra
y
aggreg
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
J
av
i
er M
i
randa
ada: Crash on empty
agg
r
egate using th
e
Ada 2022 notation
commit
|
commitdiff
|
tree
2023-05-23
Jav
i
e
r
M
i
r
a
nda
ada: Spu
r
ious errors on class-
w
ide preconditions
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Javier
M
iran
d
a
a
da: Crash
o
n di
s
patching primitive referenci
n
g lim
i
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Miranda
ada: Sp
u
r
i
ous error analyzing 'old or 'result in class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier
M
iranda
a
d
a
: Spuriou
s
error
o
n
f
u
nction
r
etu
r
ning CPP
t
ype
commit
|
commitdiff
|
tree
2023-05-15
Javier Miranda
ada: INOX: prototype R
F
C
on String Interpolat
i
o
n
commit
|
commitdiff
|
tree
2023-05-15
J
avier Mirand
a
a
d
a: Skip dynamic interface conversion un
d
er nativ
e
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
Javi
e
r Miranda
Fix assertion failu
r
e on
V
S
S library
commit
|
commitdiff
|
tree
2023-01-05
Javi
e
r
M
i
r
anda
ada: INOX: prototype RFC
o
n String In
t
erpolation
commit
|
commitdiff
|
tree
2023-01-03
Javier Mira
n
da
a
da: Cann
o
t reference gho
s
t
entity in class
-
w
ide
p
recondit
i
on
commit
|
commitdiff
|
tree
2022-12-06
J
a
vier Miranda
ada: Spuri
o
us
error on nested call
using
the pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Javier Mira
n
da
a
d
a:
F
lag unsup
p
orted
dispatching const
r
uctor calls
commit
|
commitdiff
|
tree
2022-11-08
J
avi
e
r Miran
d
a
ada: Enforce matching of extra formal
s
commit
|
commitdiff
|
tree
2022-11-08
J
a
vier Miranda
ada: Missing
m
aster
of task ca
u
s
i
n
g ass
e
r
tion
f
ailure
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ad
a
: Fla
g
unsupported dispa
t
ch
i
ng cons
t
ructor calls
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada:
S
kip
dyn
a
m
ic
i
nterface conversi
o
n
under con
f
igurabl
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
J
a
vier Miranda
a
d
a: S
k
ip dynamic
i
n
terface conversion under
configurable
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Javier Mir
a
nda
[A
d
a] Revert "
E
nforce
m
atching of extra formals"
commit
|
commitdiff
|
tree
2022-09-06
Javier Miranda
[
Ada] Enfor
c
e matching of e
x
tra formals
commit
|
commitdiff
|
tree
2022-09-06
Javier Mi
r
an
d
a
[Ada] Report error in
n
on-lega
l
class-wide c
o
nditions
commit
|
commitdiff
|
tree
2022-07-06
J
av
i
er Miranda
[Ad
a
]
M
i
s
si
n
g
error on tagg
e
d type
conversion
commit
|
commitdiff
|
tree
2022-06-02
Jav
i
er Mirand
a
[A
d
a] Update d
o
cumentat
i
on o
f
GNAT
.
Dynamic
_
Tables
commit
|
commitdiff
|
tree
2022-05-19
Javier
M
i
ran
d
a
[
A
da
]
Wrong
interface dyna
m
ic di
s
p
a
t
c
h
via ac
c
es
s
parameter
commit
|
commitdiff
|
tree
2022-05-18
Javie
r
M
i
randa
[Ada]
C
rash building VSS
w
ith compiler built with ass
e
rtions
commit
|
commitdiff
|
tree
2022-05-18
Javier M
i
randa
[Ad
a
] Ada202
2
: AI12-0143 Index
a
ttri
b
u
te for entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
J
a
vier Miranda
[Ada]
Crash
f
ree
z
ing declaration that will raise constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Mi
r
a
n
da
[Ada] Sp
u
rious
error on subprogram with class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Ja
v
ier
M
ira
n
da
[Ada] Imp
l
ement ca
l
l
s
t
o abstr
a
ct sub
p
r
o
gram
s
in c
l
a
ss
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
Javier
Miranda
[Ad
a
]
Accept c
a
lls to abstract subprograms in class
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javi
e
r Mi
r
anda
[Ada] Compiler cras
h
on -gnata
-
O2
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada]
Ada ABI change wh
e
n building with assertions
commit
|
commitdiff
|
tree
2022-05-13
Javier
M
iranda
[
Ada] Wrong address for
class-wide
i
nterface access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Miranda
[Ad
a
] Crash in
t
ask
b
ody reference
t
o discriminant
commit
|
commitdiff
|
tree
2022-01-07
J
a
vier
M
iranda
[
Ada] Crash i
n
class-wide pre/postcondi
t
io
n
s
commit
|
commitdiff
|
tree
2022-01-07
Javier Miranda
[Ad
a
] Sp
u
rious erro
r
caused by o
r
de
r
o
f
interfaces
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Ja
v
ier Mira
n
da
[
A
da] Cra
s
h in cla
s
s-w
i
d
e pre/postcon
d
itions
commit
|
commitdiff
|
tree
2021-10-25
Javier M
i
rand
a
[Ada] Ada
2022: Class-wide typ
e
s and form
a
l abstr
a
ct
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javie
r
M
iranda
[Ada] Fix latent problem in Sem_C
h
8
.
Build_Class_W
i
d
e
_Wrapper
commit
|
commitdiff
|
tree
2021-10-04
Javier Miranda
[Ada] Entities in E_Loop sco
p
es are not library-level
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javier Miranda
[Ada
]
A
da2
0
22: AI12-0195 overriding class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javi
e
r Miranda
[Ada] Wrappers of access
-
to-subprograms with
p
re/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Javi
e
r M
i
randa
[Ada]
I
n
terface behaves
d
ifferently from
a
b
stract tag
g
ed
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Jav
i
er Miranda
[
Ada
]
Ada2020: AI12-0195
o
ve
r
r
i
ding class-wide pr
e
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
J
a
vie
r
Miran
d
a
[
Ada]
A
da20
2
0:
S
pecial
h
andling of types deriv
e
d from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Javier
Mir
a
nda
[Ada] ACATS 4
.
1R-c611a04: Class-wide p
r
e
conditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Javier Miranda
[Ada]
A
CATS 4
.
1
R-c611a04:
C
la
s
s-w
i
d
e
preconditi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Jav
i
er Miranda
[Ada] Wro
n
g membership test
computatio
n
f
o
r
inter
f
ace
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Ja
v
ier Miranda
[Ada] S
p
urious errors o
n
tagged types with renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Ja
v
i
e
r Miranda
[Ada] AC
A
T
S 4
.
1H - B85
3
001 - mis
s
ed errors fo
r
renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada]
Wrong
d
e
te
c
tio
n
of potentially blocking c
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Mirand
a
[Ada] Spuriou
s
error
i
n
cu
r
rent in
s
tance used a
s
f
o
r
mal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada]
Spurious error
in taft ammendment derivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javier Miranda
[Ada]
S
p
urious error in curr
e
nt instan
c
e used as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Jav
i
er Miranda
[Ada] Crash in expression function defined in protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javi
e
r Miranda
[Ada] Priva
t
e
type unexpectedly visi
b
le
commit
|
commitdiff
|
tree
2020-10-16
Javie
r
Miranda
[
A
da]
C
r
ash in generi
c
renamin
g
declaration of c
h
ild
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
J
a
v
ier Mi
r
anda
[
Ada] Ad
a
2
0
2
0:
A
I12-
0
0
0
3 Spec
i
fyi
n
g
t
h
e
s
tan
d
ard storage
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier Miranda
[Ada] Cle
a
nup defini
t
i
o
n o
f
Might_H
a
ve_Tasks
commit
|
commitdiff
|
tree
2020-07-27
Jav
i
er Miranda
[Ada]
A
da
2
0
2
0: AI12-0027 Access values and unaliase
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javie
r
Miranda
[Ada] Spurious er
r
or in
g
ene
r
ic dispatching constructor
commit
|
commitdiff
|
tree
2020-07-27
J
a
vier Miranda
[
A
da
]
Ad
a
2020
:
A
I1
2
-0027 Access values and unaliase
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier Mi
r
anda
[Ada] Misplace of inte
r
nal mas
t
er r
e
n
a
ming d
e
clarat
i
on
commit
|
commitdiff
|
tree
2020-07-16
J
avier
Miranda
[Ada]
A
void false positive reported
by Code
P
eer
commit
|
commitdiff
|
tree
2020-07-16
Javier
Miran
d
a
[Ada] Ada20
2
0: AI1
2
-0107 convention of B
y
_Protected_Pr
o
cedure
commit
|
commitdiff
|
tree
2020-07-15
Javier Miranda
[Ad
a
] Wrong
r
esolution o
f
'acce
s
s
in protected subprogra
m
commit
|
commitdiff
|
tree
2020-07-10
J
a
vier Miran
d
a
[Ada] Poten
t
i
ally unevaluated nested expressions
commit
|
commitdiff
|
tree
2020-07-10
Javier M
i
ran
d
a
[
Ada] Spur
i
ous error in generic dispa
t
ching constructor
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Javi
e
r Miranda
[Ada] Fix r
e
c
e
nt regression on _
M
aster decl
a
ration
commit
|
commitdiff
|
tree
2020-07-07
J
avier Miranda
[Ada] Ada
2
020:
A
I12-0198 potentially unevaluated
c
ompon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
J
a
vier M
i
randa
[Ada] Ada2020:
A
I12-0198 p
o
t
e
nti
a
lly un
e
valuated com
p
onents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Miranda
[Ada]
A
da2
0
2
0: AI12-0198 potenti
a
ll
y
unevalua
t
e
d
componen
t
s
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Jav
i
er Mi
r
anda
[A
d
a] Ada2020: AI12-0198 potenti
a
lly
unev
a
lua
t
e
d
a
rray
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javier Mi
r
anda
[A
d
a]
A
CATS 4
.
1G - C760
A
02 - Near infin
i
te finaliz
a
tion
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Miranda
[
A
da]
C
rash in tagg
e
d
typ
e
constructor with task componen
t
s
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
a
vie
r
Miranda
[
Ada] Missing error on aspe
c
ts
I
nput and Output
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Ja
v
ier
M
irand
a
[Ada]
C
rash in tagged type cons
t
ructor with t
a
sk components
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier M
i
randa
[Ad
a
] Ada
2
020: AI12
-
0279
mor
e
dispatchin
g
points with
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
J
a
vier Mir
a
nda
[Ad
a
] Crash in tagged
type constructor
with task com
p
o
nents
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier Miranda
[Ada] Crash
i
n
t
a
gg
e
d type c
o
n
s
tructor
with task components
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier
Mira
n
da
[Ada] C
r
ash in tagged
t
y
p
e
const
r
uctor
with task
co
m
ponents
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Ja
v
ier M
i
randa
[Ada] Cra
s
h in tagged type const
r
ucto
r
with
t
ask
c
o
m
ponents
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Javier M
i
randa
[Ada] C
r
ash
i
n tagged
t
ype con
s
tructor
w
ith task comp
o
n
e
nts
2020-06-15
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Javier M
i
randa
[Ada]
C
r
a
s
h on dispatching conditional entry call
2020-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Javie
r
Miranda
[A
d
a] Classwide con
t
r
oll
e
d obj not d
i
spatching
2020-06-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
J
a
vier Miranda
[Ad
a
]
M
issing
check on priv
a
te overriding of
dis
p
atching
.
.
.
2020-06-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Javier Miranda
[
Ad
a
] Better code gen
e
ra
t
ion for n
e
sted aggregates
2020-06-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Ja
v
ier Mira
n
da
[Ad
a
]
CCG: regr
e
ssions on ACATS c460007
,
c46013a, cd10
0
9d
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
a
vie
r
Miranda
[
A
da] Improv
e
d suppo
r
t
for aspect alig
n
ment in
CCG
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
a
v
i
er Miranda
[Ada] Compile
r
crash p
r
ocessin
g
co
n
trolled type primitive
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Javier
M
iranda
[Ada] Reser
v
ing s
w
itch d
_
K
for
known problem isssu
e
s
.
.
.
2019-12-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier
M
i
r
a
n
da
[Ada] Spurious error on precondit
i
on of subprogram
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Jav
i
e
r
Miranda
[Ada] Adding support f
o
r unsupport
e
d type conversions
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Ja
v
ier Mira
n
da
[
A
d
a]
Pragma Linker_Section in subprogram ins
t
ant
i
ations
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Ja
v
i
e
r Mi
r
anda
[A
d
a] Adding support for un
s
upported type conversion
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next