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: Make internal_error_function more robust
2023-05-29
Javier Mira
n
da
ada: Crash on aggregate
f
o
r
t
agged rec
o
rd
w
ith discriminants
commit
|
commitdiff
|
tree
2023-05-29
Javie
r
M
i
randa
ada: Spuriou
s
e
rror on str
i
ng inte
r
polation
commit
|
commitdiff
|
tree
2023-05-26
Javi
e
r Miranda
ada: Cras
h
on function
r
eturning allocated object
containing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
a
d
a
:
Crash on loop i
n
d
i
spatching condi
t
ion
a
l entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Duplicate declarat
i
on of _master entity
commit
|
commitdiff
|
tree
2023-05-25
Javi
e
r
M
i
r
an
d
a
ada: Missin
g
w
arning on null-ex
c
l
u
di
n
g
a
r
r
ay aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
J
a
vier M
i
ran
d
a
ada: Crash o
n
empt
y
a
gg
r
egate u
s
ing
th
e
A
d
a
2022 notation
commit
|
commitdiff
|
tree
2023-05-23
Javier Mi
r
anda
a
da: Spurious erro
r
s
o
n class-wide precondit
i
ons o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Javie
r
Mira
n
da
ad
a
: Cr
a
sh on disp
a
tching primitive ref
e
r
enci
n
g limit
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javi
e
r Miranda
ada:
S
purious e
r
ror ana
l
yzing 'old or 'result in
c
la
s
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier Mir
a
nda
ada: S
p
urious erro
r
on
function
r
e
t
urning CPP type
commit
|
commitdiff
|
tree
2023-05-15
Javi
e
r Miranda
ada: INOX: proto
t
y
pe RFC on String Interpolation
commit
|
commitdiff
|
tree
2023-05-15
Javier Mir
a
nda
ada: Sk
i
p dynamic inte
r
face conversi
o
n under nativ
e
.
.
.
commit
|
commitdiff
|
tree
2023-03-06
Javier Miranda
F
ix
assert
i
on f
a
ilure on VSS library
commit
|
commitdiff
|
tree
2023-01-05
J
avier Mirand
a
ada
:
IN
O
X: prototype R
F
C on String
Interp
o
lation
commit
|
commitdiff
|
tree
2023-01-03
J
a
vier Miranda
ada: Cannot referen
c
e ghost entity
in class-wide preconditio
n
commit
|
commitdiff
|
tree
2022-12-06
Javier Miranda
ada: Spuriou
s
error
on nested
c
all using the prefi
x
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Jav
i
er Miran
d
a
ada:
Flag unsupp
o
rted dispatching con
s
tructor calls
commit
|
commitdiff
|
tree
2022-11-08
Javier
M
i
r
an
d
a
ad
a
: Enfo
r
ce match
i
ng of extra formal
s
commit
|
commitdiff
|
tree
2022-11-08
Javier Miran
d
a
ada: Missi
n
g master of
task
causing
a
ssertion failure
commit
|
commitdiff
|
tree
2022-11-04
Ja
v
ie
r
M
i
randa
a
d
a: Flag uns
u
ppo
r
ted dispatching const
r
ucto
r
cal
l
s
commit
|
commitdiff
|
tree
2022-11-04
J
avier Miranda
a
d
a
:
S
kip dy
n
a
m
ic interfac
e
conver
s
ion
u
nd
e
r
config
u
rable
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Javier Mi
r
anda
ada: Skip dynamic interface co
n
version u
n
d
e
r configurable
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Javier Mir
a
nda
[A
d
a] Revert "Enforce
m
atching of extra forma
l
s"
commit
|
commitdiff
|
tree
2022-09-06
J
avier Mir
a
n
d
a
[Ada]
E
nfor
c
e
matc
h
ing
o
f extra formals
commit
|
commitdiff
|
tree
2022-09-06
Javier Miranda
[Ada] Report error in non-
l
egal class-wide conditions
commit
|
commitdiff
|
tree
2022-07-06
Javier Miran
d
a
[Ada] Mis
s
i
ng error on tag
g
e
d type
conv
e
r
s
ion
commit
|
commitdiff
|
tree
2022-06-02
J
a
vier Miranda
[
A
da
]
Update document
a
tio
n
of
GNAT
.
Dynamic_Tab
l
es
commit
|
commitdiff
|
tree
2022-05-19
J
a
vier Mirand
a
[Ada]
W
rong interfac
e
dyna
m
ic di
s
p
a
tch
v
ia access
parameter
commit
|
commitdiff
|
tree
2022-05-18
J
a
vier Miranda
[Ada]
C
rash bu
i
lding
VSS with
c
o
mpiler built with assertions
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[Ada] Ada202
2
: AI12-0143
Index attribute for entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Ja
v
i
e
r Miranda
[Ada]
C
rash freezing declar
a
tion that
w
ill rai
s
e constr
a
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier Mirand
a
[Ada]
S
p
u
rious erro
r
on subprogr
a
m wi
t
h class
-
wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Javier
M
i
r
anda
[Ada]
I
m
pl
e
ment ca
l
ls to a
b
stract subpr
o
gr
a
m
s
i
n
c
lass
.
.
.
...behavior of such a call. Thanks to
Javier Miranda
for producing
commit
|
commitdiff
|
tree
2022-05-16
Javier Miranda
[Ad
a
]
Accept calls to abstr
a
c
t subprograms in
c
l
ass
.
.
.
...pre/post-conditions (thanks to
Javier Miranda
commit
|
commitdiff
|
tree
2022-05-13
Javier Miran
d
a
[A
d
a] C
o
mpiler crash on -gnata
-O2
commit
|
commitdiff
|
tree
2022-05-13
Jav
i
e
r
Mir
a
nda
[
Ada]
Ada A
B
I c
h
ange when
b
uildi
n
g wi
t
h
a
ssertions
commit
|
commitdiff
|
tree
2022-05-13
Javier Mira
n
da
[
A
da] Wrong address for class-wide inte
r
face access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javi
e
r
M
iranda
[Ad
a
] Crash in task bo
d
y refe
r
e
nce
t
o dis
c
riminant
commit
|
commitdiff
|
tree
2022-01-07
J
avie
r
Miran
d
a
[
A
da]
Crash in class-wide pre/pos
t
c
o
nditions
commit
|
commitdiff
|
tree
2022-01-07
J
avier Mirand
a
[Ada] Spurious error caused by
order of inter
f
ace
s
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Javier Miranda
[Ad
a
] Crash i
n
class-wide pre/postc
o
nditions
commit
|
commitdiff
|
tree
2021-10-25
Javier Miranda
[Ada] Ada
2022: Class-wide types an
d
formal
abstract
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javier Mir
a
nda
[Ada] Fix
lat
e
nt problem in Sem
_
C
h8
.
Build_Class_
W
ide_Wrapp
e
r
commit
|
commitdiff
|
tree
2021-10-04
Javier Mirand
a
[Ada] Entities i
n
E_Loop scopes are not library-level
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Ja
v
ier Mira
n
da
[Ada
]
Ada20
2
2: A
I
12-0195
o
v
erriding
c
lass-wide
p
re
.
.
.
commit
|
commitdiff
|
tree
2021-09-23
Javier Miranda
[Ada
]
W
r
apper
s
of acc
e
ss-to-sub
p
r
o
g
rams wi
t
h pre/post
.
.
.
commit
|
commitdiff
|
tree
2021-09-21
J
av
i
er Miranda
[Ada] Interface beh
a
ves di
f
ferently from abstract
t
agged
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javie
r
Mirand
a
[Ada
]
Ada2020: AI12-0195 overridin
g
class-w
i
de pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Javier Miranda
[
A
da]
Ada
2
020: Spe
c
ial ha
n
dlin
g
of
types derived from
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Javier Miran
d
a
[Ada] ACATS 4
.
1R-c611a04: Class-wide preconditi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Jav
i
er
M
iranda
[Ada] ACATS 4
.
1R
-
c61
1
a04: Class-wide preconditions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Javie
r
Miranda
[Ada] Wrong membership test computat
i
on for inter
f
ace
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javier Mirand
a
[Ada] Spurio
u
s er
r
ors on t
a
gged
t
ypes
w
ith renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Javier M
i
randa
[Ada] ACATS 4
.
1
H - B853001 - missed errors for ren
a
med
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[
A
da] Wrong detection
o
f p
o
tentially bl
o
cking ca
l
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] Spu
r
io
u
s e
r
ror i
n
c
u
rren
t
instance used as f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javi
e
r Miran
d
a
[Ada] Spurious error in taft ammend
m
ent derivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javie
r
Miranda
[A
d
a]
S
p
ur
i
ous
e
r
ror in current insta
n
ce
u
s
e
d
as forma
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
J
avier Miranda
[Ada]
Cras
h
in expressi
o
n function defined in p
r
o
tected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Miranda
[Ada] Private type u
n
expectedly vis
i
bl
e
commit
|
commitdiff
|
tree
2020-10-16
Jav
i
er Mira
n
d
a
[A
d
a] Crash in g
e
neric rena
m
ing de
c
laration of child
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier
M
iranda
[Ada]
Ada2020:
A
I12-0003 Spe
c
i
fy
i
ng the standard
storage
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javier M
i
randa
[
A
d
a] Clea
n
u
p
def
i
nition of Might_Have_Task
s
commit
|
commitdiff
|
tree
2020-07-27
Javie
r
Mir
a
nda
[Ada] A
d
a
2
020: AI12-
0
027
Access value
s
and
u
nalias
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
J
a
vier Miranda
[Ada] Spu
r
ious error
in
g
eneric disp
a
tching constructor
commit
|
commitdiff
|
tree
2020-07-27
Javi
e
r Miranda
[Ada] Ada2020: AI12-0027
A
c
c
ess values and
un
a
li
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Jav
i
er Mir
a
nda
[A
d
a
] M
i
splace of internal
master r
e
naming declaration
commit
|
commitdiff
|
tree
2020-07-16
J
a
vier Miranda
[A
d
a] Avoid fa
l
se positive
r
eported by C
o
dePeer
commit
|
commitdiff
|
tree
2020-07-16
Javi
e
r Mi
r
a
nda
[Ada] Ada2020: AI12-0107 conven
t
ion o
f
By_Protected_P
r
oced
u
re
commit
|
commitdiff
|
tree
2020-07-15
Javie
r
Mira
n
da
[Ada] Wrong res
o
l
u
tion of
'
acce
s
s
in protecte
d
subprogram
commit
|
commitdiff
|
tree
2020-07-10
Javie
r
Miranda
[Ada] Potenti
a
lly
une
v
aluated ne
s
t
e
d expressions
commit
|
commitdiff
|
tree
2020-07-10
Javier
Miranda
[A
d
a] Sp
u
r
ious
error in gen
e
ri
c
dispatching constructor
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Javi
e
r Miranda
[Ada] Fix recent regression on _Master
de
c
laratio
n
commit
|
commitdiff
|
tree
2020-07-07
Javi
e
r Miranda
[Ada] Ada20
2
0
:
AI12-0198 potentially
u
n
e
valuate
d
compon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javie
r
Miranda
[Ada
]
Ada2020: AI1
2
-0198 potentially unevalua
t
ed components
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
J
a
vie
r
Mira
n
da
[Ada] Ad
a
2
020: AI12-0198 potentially unevaluated com
p
onents
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
Javier Miranda
[Ada]
A
da202
0
:
A
I
1
2-0198
p
otentially unevaluated array
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javi
e
r Miranda
[Ada]
ACATS 4
.
1
G - C760A02 -
N
e
ar infinite finalizatio
n
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
avier Mir
a
n
d
a
[Ada] Cras
h
i
n tagge
d
t
y
pe c
o
nstructor with ta
s
k components
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
a
v
i
e
r
M
iranda
[Ada] M
i
s
s
ing err
o
r
on
a
spects In
p
ut a
n
d Outpu
t
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javier Miranda
[Ada] C
r
ash in t
a
gged type constructor
w
ith task c
o
mponents
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Miran
d
a
[A
d
a] Ada2020: AI12-0279 more dispat
c
h
i
ng
points with
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Miran
d
a
[Ada] Cras
h
in tagged type constructor wi
t
h task components
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier
Miranda
[Ada] Crash in tagged
type
construct
o
r
w
ith task
components
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
J
avier Miranda
[Ada] Crash in tagged type c
o
nstructor with task
component
s
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier Mir
a
nda
[Ada]
Crash in ta
g
ged
type co
n
structor
w
ith task comp
o
ne
n
ts
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Javier
Miranda
[Ada] Cras
h
in tagged ty
p
e constructor with task componen
t
s
2020-06-15
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Ja
v
ie
r
Mi
r
anda
[Ada] Crash on dispatching con
d
i
ti
o
nal
e
n
t
r
y
call
2020-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Javier Mir
a
nd
a
[Ada] Cla
s
sw
i
de c
o
n
t
rolled
o
b
j
not dispat
c
hing
2020-06-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Javie
r
Miranda
[Ada] M
i
ssing check on p
r
ivate overr
i
ding of dispatching
.
.
.
2020-06-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Ja
v
ier
M
ir
a
n
d
a
[
A
da] B
e
tter code generation for
nest
e
d aggregates
2020-06-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Jav
i
er Mir
a
nda
[
A
da]
CCG: regressions on ACATS c46000
7
, c4601
3
a, cd1009d
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javie
r
Miranda
[Ad
a
]
Improved support
for aspect
alignment
i
n CCG
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
a
v
i
er Miranda
[Ada]
Compiler cras
h
processing controlled
t
ype primitive
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Javier Miran
d
a
[A
d
a] Re
s
ervi
n
g switch d_K for known pr
o
b
l
em isssues
.
.
.
2019-12-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
J
a
vier
Mir
a
nda
[
Ad
a
] Spu
r
ious error on precondition of subprogram
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Mi
r
anda
[Ada] Adding
s
upport for unsup
p
orte
d
type
c
onvers
i
ons
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Mirand
a
[Ada]
P
ragma Linker_Sec
t
ion in
s
ubprogram in
s
t
antiations
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Mira
n
da
[Ada] Addi
n
g
su
p
p
o
r
t for unsupp
o
rted type con
v
ersion
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next