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
J
avier Miranda
ada:
C
rash pr
o
cessing p
r
a
g
m
as
Compile_Ti
m
e_Error and
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
J
avier Mi
r
a
n
d
a
ada:
Crash processing the
a
ccessibi
l
ity level
of a
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
J
a
vier Miran
d
a
ada: Crash p
r
ocessing
type invaria
n
ts on ch
i
ld subprogra
m
commit
|
commitdiff
|
tree
2023-09-15
Javier Miranda
ada: Crash o
n
creation
of ex
t
ra fo
r
m
als
on type extension
commit
|
commitdiff
|
tree
2023-09-14
J
a
v
ier Miranda
ada: Assertion fa
i
lure
o
n expans
i
on o
f
record w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Ja
v
ier Miranda
ada
:
Asse
r
tion failure o
n
calculation of Large_Max_Size_Mutable
commit
|
commitdiff
|
tree
2023-09-14
Javi
e
r Mi
r
a
n
da
ada: A
s
sertion fail
u
re
o
n fo
r
-of loo
p
i
tera
t
i
n
g on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Mira
n
da
ada: Assert
i
on
f
ailure
a
dding e
x
t
ra
for
m
als to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Javier M
i
randa
ada: Cra
s
h on cr
e
ation of extra f
o
rm
a
ls o
n
type extension
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
a
d
a
:
Cras
h
on
f
unctio
n
returning empty Ada
2022 aggrega
t
e
commit
|
commitdiff
|
tree
2023-09-05
Javier Miran
d
a
ada: Enforc
e
subtype conform
a
nce of in
t
erface primitives
commit
|
commitdiff
|
tree
2023-08-07
Javi
e
r Miran
d
a
a
d
a
:
Spurious error on
c
l
ass-wide precon
d
itions
commit
|
commitdiff
|
tree
2023-07-28
Javier Miranda
a
da: Fix unsupported d
i
s
patching c
o
nstru
c
tor call
commit
|
commitdiff
|
tree
2023-07-18
Javier M
i
randa
ada: Const
r
aint_E
r
ror ca
u
sed b
y
'I
m
a
g
e applied
t
o
interface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
ada: Constraint_Error caused by interface c
o
nversion
commit
|
commitdiff
|
tree
2023-06-20
Javier
Mi
r
anda
ada: Spu
r
ious error on p
a
ckage instantia
t
ion
commit
|
commitdiff
|
tree
2023-06-15
Jav
i
er Miranda
ada: Crash on C++ const
r
uctor of private type
commit
|
commitdiff
|
tree
2023-05-29
Javie
r
Mir
a
n
d
a
ada: Crash on aggregate for tagge
d
record
w
it
h
discriminants
commit
|
commitdiff
|
tree
2023-05-29
Javier Mirand
a
ada: Spurious error on
s
tring inte
r
po
l
atio
n
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
a
d
a: Crash
o
n function retur
n
ing allocated ob
j
ect con
t
ai
n
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Mirand
a
a
d
a: Cr
a
sh on loo
p
in d
i
spatc
h
in
g
co
n
dit
i
o
nal
e
ntry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Jav
i
er
M
i
r
and
a
a
da
:
Dupli
c
ate decl
a
ration of
_master entity
commit
|
commitdiff
|
tree
2023-05-25
Jav
i
er
Miranda
ada:
Missing warni
n
g on
n
ull-excluding a
r
ra
y
ag
g
rega
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Ja
v
ier Mi
r
anda
a
d
a: Cras
h
on empty aggr
e
g
a
te
using the Ada 2022 no
t
ation
commit
|
commitdiff
|
tree
2023-05-23
Javier
M
ir
a
nda
ada: Spurious error
s
on clas
s
-wi
d
e preconditi
o
ns of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
a
da: Crash on
d
isp
a
t
c
h
i
n
g primitive re
f
e
r
encing limi
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
avier
Miranda
ad
a
:
Spuri
o
us err
o
r analyzing '
o
ld or 'resul
t
in cla
s
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Ja
v
ier Miranda
ada: Spu
r
ious
e
rror on f
u
ncti
o
n re
t
urning CPP ty
p
e
commit
|
commitdiff
|
tree
2023-05-15
Javie
r
Miranda
ada: IN
O
X: p
r
ototype RFC
on Stri
n
g Interpolat
i
on
commit
|
commitdiff
|
tree
2023-05-15
Javier Mirand
a
ada: Skip dy
n
amic interface c
o
n
v
ersion under native
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
J
avier
M
i
ran
d
a
Fi
x
a
ssertion
f
ailure on VSS li
b
rary
commit
|
commitdiff
|
tree
2023-01-05
Javier Miranda
ada
:
I
N
OX:
p
rototy
p
e
RFC on
Strin
g
Interpolation
commit
|
commitdiff
|
tree
2023-01-03
Javier M
i
ra
n
da
ada: Cannot refer
e
nce ghost entity in
class-wide precondit
i
on
commit
|
commitdiff
|
tree
2022-12-06
Javier Mirand
a
ada: Spuri
o
us error on nested
c
all using the prefix
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Javier
M
i
r
anda
ada: Flag unsupported dispatching con
s
tructor calls
commit
|
commitdiff
|
tree
2022-11-08
J
av
i
er Mira
n
da
ada: Enforce m
a
tching
of
e
xtra formals
commit
|
commitdiff
|
tree
2022-11-08
Javie
r
Miranda
ada: Missing master
of task causing assertion failur
e
commit
|
commitdiff
|
tree
2022-11-04
J
avie
r
Miranda
a
da: Fl
a
g unsupported
d
i
spatching
cons
t
ructor calls
commit
|
commitdiff
|
tree
2022-11-04
Ja
v
ier
M
iranda
ada: Skip dy
n
amic interfac
e
conversion under configura
b
le
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada:
S
kip dy
n
amic int
e
r
f
ace conv
e
rsi
o
n
under con
f
igu
r
able
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Javier Miran
d
a
[A
d
a] Reve
r
t "Enf
o
r
ce matching o
f
extra formals"
commit
|
commitdiff
|
tree
2022-09-06
Javier
Mira
n
da
[Ada] Enforce matching of
e
xtra formals
commit
|
commitdiff
|
tree
2022-09-06
J
a
vier
Miranda
[Ada] R
e
port error in non-legal class-wide conditions
commit
|
commitdiff
|
tree
2022-07-06
Jav
i
er Mi
r
a
nda
[
Ad
a
] M
i
ssing error on tagged
t
ype conversion
commit
|
commitdiff
|
tree
2022-06-02
Javi
e
r
Mi
r
anda
[Ada] Upd
a
te documen
t
ation o
f
GNAT
.
Dynamic
_
Tables
commit
|
commitdiff
|
tree
2022-05-19
Javier Miranda
[A
d
a]
W
rong interface dynamic dispatch
via a
c
cess parameter
commit
|
commitdiff
|
tree
2022-05-18
Javi
e
r Miranda
[Ada]
Cr
a
sh bu
i
lding
VSS with
compiler
bui
l
t with assertions
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[
A
da
]
Ad
a
202
2
: A
I
12-0143 In
d
ex att
r
ibute
for entr
y
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
J
avier Miranda
[Ada] Crash freez
i
n
g declarat
i
o
n
that will ra
i
se constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Jav
i
er Mirand
a
[A
d
a
] S
p
urious er
r
o
r
on subprogram with class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[Ada] Implem
e
nt c
a
l
l
s to
a
b
s
tract subprograms in class
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
Javi
e
r Mira
n
d
a
[
A
da] Accept call
s
to abstract subprograms in class
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Miranda
[Ada]
C
ompi
l
er crash on -
g
nata -
O
2
commit
|
commitdiff
|
tree
2022-05-13
Javier
M
iranda
[
Ada
]
Ada ABI change w
h
en b
u
ilding with assertions
commit
|
commitdiff
|
tree
2022-05-13
Javier Mira
n
da
[Ada] Wrong address fo
r
clas
s
-wide
interfac
e
access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ad
a
] Crash in task b
o
dy reference to discrimina
n
t
commit
|
commitdiff
|
tree
2022-01-07
Javi
e
r Miranda
[Ada] Crash in
c
l
ass-wide pre/postcond
i
t
io
n
s
commit
|
commitdiff
|
tree
2022-01-07
Javier Miranda
[Ada] Spuriou
s
error caused by order of
interfaces
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
J
avier Mirand
a
[Ada] Crash in class-wide pre/
p
ostcon
d
i
t
ions
commit
|
commitdiff
|
tree
2021-10-25
Javier Miranda
[Ada] Ada 2022: Class
-
wide types
a
nd formal ab
s
tract
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
J
a
vier Miranda
[Ada] Fix latent pr
o
b
l
e
m in
S
em_Ch8
.
Build
_
Class_W
i
de_Wrapper
commit
|
commitdiff
|
tree
2021-10-04
Javier Miranda
[Ada]
Entities in E_Loop sco
p
e
s are not
li
b
rary-
l
e
v
el
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javier
M
iranda
[Ad
a
] Ada2022: AI1
2
-
0
1
9
5 overriding
cla
s
s-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javier Mira
n
da
[Ada] Wrappers of access-to-sub
p
rograms w
i
t
h
pre/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
Ja
v
ier Miranda
[
A
da] Interface behaves differently fr
o
m abstrac
t
tagged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Miranda
[A
d
a] Ada2020: AI12-0195 overridin
g
class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
J
a
vier Miranda
[
Ada] Ada2020: S
p
ecial handling of types derive
d
from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
J
avier Mirand
a
[Ada
]
ACA
T
S 4
.
1R-c611a04
:
C
lass-wi
d
e preco
n
di
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Javi
e
r Mi
r
anda
[Ada]
A
CATS 4
.
1R-c611a04: Class-wide
precondi
t
ions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Javier Miranda
[Ada] Wrong
membership
t
es
t
co
m
putation for interface
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javier M
i
randa
[
A
d
a] S
p
uri
o
u
s errors on tagg
e
d
ty
p
es with renam
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Javier Miranda
[Ada]
ACATS 4
.
1H - B
8
53001 - missed errors f
o
r
renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Jav
i
er
M
ira
n
da
[Ada] Wrong detection of p
o
te
n
tially blocking call
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Mi
r
a
n
da
[
A
da] Spurious error
i
n c
u
rr
e
nt instance
used
as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
J
a
v
i
e
r Mir
a
nd
a
[
A
da] Sp
u
ri
o
us
error
i
n ta
f
t amm
e
n
d
ment derivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
J
a
v
ier Miranda
[Ada
]
Spurious e
r
r
o
r
in
c
urrent instance
u
se
d
as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
J
avier Miranda
[Ada] C
r
ash in
e
x
pres
s
io
n
func
t
ion def
i
ned in protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Miranda
[A
d
a
]
Priv
a
t
e
type
u
n
e
x
pectedly
v
is
i
bl
e
commit
|
commitdiff
|
tree
2020-10-16
Javier Miranda
[Ada] Cr
a
sh in generic renaming
d
ecl
a
ration of c
h
ild
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier
Mi
r
anda
[Ada]
A
da2020:
A
I12-000
3
S
p
ecifyin
g
the standar
d
stor
a
ge
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier M
i
randa
[
A
da] Cleanup
d
efinition of
M
i
g
ht_Have
_
Tasks
commit
|
commitdiff
|
tree
2020-07-27
J
a
vie
r
M
i
ra
n
da
[Ada] Ad
a
2
0
20: AI12-0027 Acc
e
ss values a
n
d
unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Miranda
[
Ada] Spurious error in generic
d
is
p
at
c
hing c
o
nstr
u
ctor
commit
|
commitdiff
|
tree
2020-07-27
Javie
r
Miranda
[Ada] Ada2020: AI12-0027
A
ccess values
and una
l
iased
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Ja
v
ie
r
Miranda
[Ada]
Mi
s
place of
i
nternal master renaming declaratio
n
commit
|
commitdiff
|
tree
2020-07-16
Javier
Mir
a
n
d
a
[Ada] A
v
o
i
d false positive reporte
d
by Co
d
ePeer
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[Ada]
A
da2020: AI12-0107 conv
e
n
t
ion of
By_
P
rotected_P
r
ocedure
commit
|
commitdiff
|
tree
2020-07-15
J
a
vier Mirand
a
[Ada] Wrong resolution of 'access in pr
o
tected subprogram
commit
|
commitdiff
|
tree
2020-07-10
J
avier Miranda
[Ada] Pote
n
tially unevaluated nested
e
x
pressio
n
s
commit
|
commitdiff
|
tree
2020-07-10
Jav
i
er Miranda
[Ada] Spurious e
r
r
or in ge
n
eric dispatching con
s
tru
c
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Javie
r
Mira
n
da
[Ada] Fix recent
r
egre
s
si
o
n on _Master decl
a
ration
commit
|
commitdiff
|
tree
2020-07-07
Javier Miranda
[Ada] Ada2020
:
AI12-
0
1
98 potential
l
y unevaluated compo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
J
a
v
ier Miranda
[Ada] Ada2020: AI12-0198 potentia
l
l
y
u
n
evaluate
d
components
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Mirand
a
[Ada]
Ada20
2
0: AI12-0198 potentially unevaluated c
o
mpone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Javi
e
r M
i
r
anda
[Ada] Ada2020: AI12-0198 pote
n
tially u
n
e
v
aluated array
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
J
a
vier Miranda
[
A
da] ACA
T
S 4
.
1
G
- C760A02 - Near
i
nfinite finalizati
o
n
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Mira
n
da
[
A
da] Crash in tag
g
ed ty
p
e
constructor
w
ith task component
s
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Mir
a
nd
a
[Ada] M
i
ssing error on a
s
pects
Input and Output
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javie
r
M
irand
a
[Ad
a
] Crash in tagg
e
d ty
p
e c
o
nstructor wi
t
h task components
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javi
e
r Mir
a
n
d
a
[A
d
a]
A
d
a2020: AI12-0
2
79 more dispatching points with
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next