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 incorrect quoting in documentation
2023-10-10
Javier
Mir
a
nda
ada: Crash
p
ro
c
es
s
i
n
g pragmas
C
ompi
l
e_Tim
e
_Er
r
o
r
and
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
J
a
v
ier Mira
n
da
ada: C
r
ash processing the accessi
b
ility
lev
e
l of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Javier Miranda
ada: Cras
h
p
r
o
cessing typ
e
i
nvariants on
chi
l
d s
u
bp
r
ogr
a
m
commit
|
commitdiff
|
tree
2023-09-15
Javier
Miranda
ada: Crash o
n
creation
o
f ext
r
a fo
r
mals on type extension
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ad
a
: Ass
e
r
tion f
a
ilure on
expansion of record w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
a
d
a
:
A
ssertion
f
ailure on calculation of Large_Max_Size_Mutable
commit
|
commitdiff
|
tree
2023-09-14
J
a
vier
M
iranda
ada: Assertion failure on for-of lo
o
p iterating on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Assertion failu
r
e
a
d
ding extra formal
s
to
la
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
J
avier M
i
randa
ada: Crash on creation of extra formals on t
y
pe extension
commit
|
commitdiff
|
tree
2023-09-05
Ja
v
ier Mirand
a
ada:
Crash on
f
unc
t
i
o
n returning
e
mpty Ada 2022
a
g
g
regate
commit
|
commitdiff
|
tree
2023-09-05
Javier
M
iranda
ada:
E
nf
o
rce subtype con
f
ormance of i
n
te
r
face primitive
s
commit
|
commitdiff
|
tree
2023-08-07
J
a
vier Miranda
ada: Spurious e
r
ror on class-wide precon
d
itions
commit
|
commitdiff
|
tree
2023-07-28
J
avi
e
r Mir
a
nda
ada:
F
i
x unsupported
d
ispatching con
s
tructor call
commit
|
commitdiff
|
tree
2023-07-18
Javier
M
iranda
ada: Co
n
strai
n
t_Error caused
b
y 'Image applied to interf
a
ce
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
ada: C
o
nstraint_Err
o
r
caus
e
d by interface
conversion
commit
|
commitdiff
|
tree
2023-06-20
Javier Miranda
ada: Spur
i
ous
e
rro
r
on pac
k
age
i
ns
t
a
n
tiation
commit
|
commitdiff
|
tree
2023-06-15
Javier Mirand
a
ada: Crash on
C
+
+ constructor of private type
commit
|
commitdiff
|
tree
2023-05-29
J
avier Miranda
a
d
a: Cra
s
h
on aggrega
t
e for tagged re
c
ord with
d
i
scriminants
commit
|
commitdiff
|
tree
2023-05-29
Ja
v
i
e
r Mi
r
anda
ada: Spur
i
ous error on string i
n
terpolation
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Crash on funct
i
on
retu
r
nin
g
al
l
ocated object
c
ontai
n
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Crash on loop i
n
d
ispat
c
hing conditional entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ier Mira
n
da
a
d
a: D
u
plicat
e
declaration of _master
e
ntit
y
commit
|
commitdiff
|
tree
2023-05-25
Ja
v
ier Miranda
ada: Missing warning o
n
n
ull
-
excluding array aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Javier
M
ir
a
n
d
a
ada
:
Crash
o
n
empt
y
aggr
e
gate using the Ada 202
2
notation
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
ada: Spurious erro
r
s on clas
s
-
wide preco
n
ditio
n
s o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Ja
v
i
e
r Miranda
ada:
C
rash on dispatching pri
m
itive
referencing limited
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Jav
i
er Mirand
a
ad
a
: Spurious error
an
a
lyzi
n
g 'old
or 'result i
n
class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Ja
v
ier Miranda
ada: Sp
u
rious error o
n
function r
e
tur
n
i
n
g C
P
P type
commit
|
commitdiff
|
tree
2023-05-15
Javier Miranda
ada: INOX
:
prototype R
F
C on String Interp
o
lati
o
n
commit
|
commitdiff
|
tree
2023-05-15
Javier
Mir
a
n
da
a
da: Skip dynamic interface conve
r
s
i
on
u
nd
e
r native
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
Javier
M
iranda
Fix ass
e
rtion
failure on VSS library
commit
|
commitdiff
|
tree
2023-01-05
J
a
v
ier Miranda
ada:
INOX: p
r
ototype
RFC on St
r
ing I
n
te
r
polatio
n
commit
|
commitdiff
|
tree
2023-01-03
Javier M
i
r
a
n
da
ada: Cannot refe
r
e
n
ce ghost entity
i
n class-wide
precondition
commit
|
commitdiff
|
tree
2022-12-06
Javier Miranda
ada: Spurious
error on nest
e
d
c
a
ll using the prefix
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Javier M
i
r
a
nda
ad
a
: Flag unsupported dispatching construct
o
r
calls
commit
|
commitdiff
|
tree
2022-11-08
Javier Miranda
ada:
Enforce ma
t
c
h
ing
of
ext
r
a formal
s
commit
|
commitdiff
|
tree
2022-11-08
Jav
i
er
M
ir
a
nda
ada: Missin
g
master of task causing a
s
se
r
tio
n
failu
r
e
commit
|
commitdiff
|
tree
2022-11-04
Javier Mi
r
anda
ada: Flag uns
u
p
p
orte
d
d
ispatching c
o
nstructor ca
l
ls
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Skip dynami
c
int
e
rface conve
r
sion un
d
er configurable
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Javi
e
r Miranda
ada: Skip dynamic interfa
c
e conve
r
sion u
n
der configurable
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Javier Mira
n
da
[Ada] Revert "Enfo
r
ce matching of extra
f
o
rmals"
commit
|
commitdiff
|
tree
2022-09-06
Javie
r
Mir
a
nda
[Ada] Enforc
e
mat
c
hi
n
g
o
f ext
r
a f
o
rma
l
s
commit
|
commitdiff
|
tree
2022-09-06
Javier Miranda
[A
d
a]
Report er
r
or in no
n
-
l
egal
class-wi
d
e condit
i
ons
commit
|
commitdiff
|
tree
2022-07-06
Ja
v
ier
M
ir
a
nda
[Ada] Missin
g
error o
n
tagged type conversion
commit
|
commitdiff
|
tree
2022-06-02
Ja
v
ier M
i
randa
[Ad
a
] Update documen
t
a
ti
o
n of
G
NAT
.
Dynam
i
c_Tables
commit
|
commitdiff
|
tree
2022-05-19
Javier Mirand
a
[
A
da] Wrong interfa
c
e dynami
c
dispat
c
h
via access parameter
commit
|
commitdiff
|
tree
2022-05-18
Javier M
i
ra
n
d
a
[Ada]
C
r
ash building
VSS with c
o
m
p
iler buil
t
with
assertions
commit
|
commitdiff
|
tree
2022-05-18
J
a
v
i
er Miranda
[Ada]
A
da2022:
A
I
12-0143 Inde
x
a
ttribute f
o
r entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javi
e
r M
i
randa
[
A
da] Cras
h
freezing declaration that will rai
s
e const
r
ain
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Jav
i
er Miranda
[Ada] S
p
urious error on subprogram with class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
J
a
vier
Mi
r
anda
[Ada]
I
mplement calls to
a
bstract
subprog
r
am
s
in cla
s
s
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
Javier Miranda
[Ada] Accept calls to abstract subprogra
m
s
i
n
c
l
ass
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada] Compiler crash on
-gnata -O2
commit
|
commitdiff
|
tree
2022-05-13
Javier Mirand
a
[A
d
a] Ada ABI chan
g
e
when build
i
ng
w
ith
a
ss
e
rtio
n
s
commit
|
commitdiff
|
tree
2022-05-13
Javie
r
Miranda
[Ada] Wro
n
g addr
e
ss for
c
la
s
s-wide int
e
rface access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ad
a
] Crash
in task body reference to disc
r
i
minant
commit
|
commitdiff
|
tree
2022-01-07
Javie
r
Miranda
[Ada] Cr
a
sh in class-wide pre/postconditi
o
ns
commit
|
commitdiff
|
tree
2022-01-07
Javier Miran
d
a
[Ada] Spurious error caused by
o
rder of interfaces
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Javie
r
Mira
n
d
a
[Ada] C
r
as
h
in
c
l
a
s
s-wide pre/postconditions
commit
|
commitdiff
|
tree
2021-10-25
Ja
v
ie
r
Miranda
[Ada] Ad
a
2
0
22: C
l
ass-wid
e
types and
f
ormal abstrac
t
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javier Miranda
[Ada] Fix
la
t
en
t
p
r
oblem in Sem_Ch
8
.
Build_Cl
a
ss_Wide_W
r
app
e
r
commit
|
commitdiff
|
tree
2021-10-04
Javier Miranda
[
Ad
a
] Entit
i
e
s in E_Loop sc
o
pes are no
t
l
i
brary-l
e
v
e
l
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Javier Miranda
[Ada] Ad
a
20
2
2: AI12-019
5
overriding clas
s
-
wi
d
e
pre
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javi
e
r Miranda
[
A
da] Wrappers of access-to-subprograms with
p
re/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
J
a
vier Miranda
[Ada
]
Interfac
e
behaves differently from abstract
t
agged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier
M
i
randa
[Ada] Ada2020: A
I
12-0195 overr
i
ding
c
l
a
ss-
w
ide
pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Mira
n
d
a
[Ada
]
Ada2
0
20: Special handli
n
g of ty
p
es derived
f
rom
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Ja
v
ier Miranda
[Ada] ACATS 4
.
1R-c6
1
1a04:
Class-wide preconditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Jav
i
er Mir
a
nda
[Ada] ACATS 4
.
1R-c611a04: Class
-
w
i
de
precon
d
itions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
J
a
vier
M
i
r
a
nda
[Ada] Wrong
membersh
i
p
test computa
t
ion for
i
nterface
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
J
a
vier Mir
a
nda
[Ada]
S
purious errors on tagged types w
i
th re
n
amed
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Ja
v
ier Miranda
[Ada] ACATS
4
.
1H
- B853001
-
missed
err
o
rs for rena
m
ed
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Mir
a
nda
[Ada] Wrong detecti
o
n of pot
e
ntia
l
ly bl
o
cking call
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
J
a
vier Miranda
[Ada] Spurious error in cu
r
rent instance used as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[
Ad
a
] Spurious error
i
n ta
f
t
amm
e
ndment d
e
rivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javier Miranda
[Ada] Spurious error in
c
urrent insta
n
ce u
s
ed as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Mira
n
da
[Ada] Crash in expression
f
unctio
n
defined
i
n
protec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ja
v
ier Miranda
[Ad
a
]
P
r
ivate type unex
p
e
c
tedly
v
isible
commit
|
commitdiff
|
tree
2020-10-16
Javier Miranda
[A
d
a] Crash in generic renaming decla
r
ation of chi
l
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javie
r
M
i
ra
n
da
[
A
da
]
Ada2
0
2
0
: A
I
1
2-0003 Sp
e
cifying
t
he standard storage
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
J
a
vier Miranda
[Ada] Cleanup definit
i
on of
M
ight_Have_Tas
k
s
commit
|
commitdiff
|
tree
2020-07-27
Javie
r
Mir
a
nda
[A
d
a
]
Ada
2
0
20: A
I
1
2
-00
2
7
Access
values and un
a
liased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Miranda
[
A
d
a]
Spurious
e
rror in gener
i
c di
s
patching constructor
commit
|
commitdiff
|
tree
2020-07-27
Javier Mi
r
a
n
da
[Ada] Ada2020: AI12-0027 A
c
cess
va
l
ue
s
a
n
d unal
i
as
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[A
d
a]
M
i
splac
e
of inter
n
al m
a
ster renaming de
c
lara
t
ion
commit
|
commitdiff
|
tree
2020-07-16
Ja
v
ier Miranda
[Ada]
A
void fals
e
posi
t
ive reported by Code
P
eer
commit
|
commitdiff
|
tree
2020-07-16
Javier
M
iranda
[Ada]
Ada2020: AI12-01
0
7
c
onventio
n
o
f
By_Protected_Pr
o
cedure
commit
|
commitdiff
|
tree
2020-07-15
Javier
Miranda
[Ad
a
] Wrong
r
e
s
o
lution of 'acce
s
s in protected subpr
o
g
r
am
commit
|
commitdiff
|
tree
2020-07-10
J
a
vier
M
iranda
[Ada]
Potentiall
y
u
nevaluated nested expr
e
ssi
o
ns
commit
|
commitdiff
|
tree
2020-07-10
Javier
M
iranda
[
A
d
a
] S
p
u
rio
u
s error i
n
generic
d
ispatchi
n
g co
n
structor
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
J
avier Miranda
[A
d
a] Fix recent regression on _Ma
s
ter decla
r
ation
commit
|
commitdiff
|
tree
2020-07-07
Javier Mirand
a
[Ada] Ada2020: AI12-0198
potentially unevaluat
e
d compone
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Ja
v
ier M
i
ran
d
a
[Ada]
A
d
a2020: AI12-0198 potentially unevaluated componen
t
s
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Mira
n
da
[
A
da] A
d
a
2020: AI12-0198 potential
l
y u
n
evalua
t
e
d comp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Javier
M
ir
a
n
d
a
[Ada] Ada20
2
0: AI12-0198 potenti
a
lly
uneva
l
uated
a
rray
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Jav
i
er
M
i
r
an
d
a
[Ada]
A
CATS 4
.
1G - C760A02 - Near infinite finali
z
ation
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
av
i
e
r Miranda
[
A
da
]
Crash
i
n t
a
gged t
y
pe c
o
n
s
tructor with task comp
o
nents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Ja
v
ier Mira
n
d
a
[Ada]
Missing error
on aspects Input and Output
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier M
i
r
a
nda
[Ada] Crash in tagged type c
o
nstr
u
ctor with task components
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Mi
r
anda
[Ada] A
d
a
2
020:
A
I12-0279 mor
e
dispa
t
ching points
wi
t
h
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next