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] AI12-0138: Iterators and other nonoverridable aspects
2021-05-06
Javier Mira
n
da
[Ad
a
] A
C
ATS 4
.
1R-c61
1
a04:
Class-wide precon
d
itions
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
J
avier Miranda
[A
d
a] Wr
o
ng membership te
s
t c
o
mputation for interface
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Javi
e
r Miranda
[Ada] Spurious er
r
ors on tag
g
ed types w
i
th renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-22
Jav
i
e
r Miran
d
a
[Ada] ACAT
S
4
.
1H
-
B853001 - missed errors for renamed
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Ja
v
i
e
r Miran
d
a
[Ada] Wrong detect
i
on
o
f
p
oten
t
iall
y
bloc
k
ing call
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Ja
v
ier Miranda
[
A
da] Spurious
e
rror
i
n c
u
rre
n
t i
n
stance used as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[A
d
a] Spurious error in t
a
ft
ammendme
n
t
d
erivation
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Javier M
i
randa
[
A
da] Spu
r
ious error
i
n current instance u
s
ed as fo
r
mal
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
J
a
vier M
i
r
an
d
a
[Ada] Cr
a
s
h in
e
xpres
s
io
n
functio
n
defined in pro
t
ected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ja
v
ier Mi
r
anda
[
A
d
a
]
Priv
a
te
t
ype unexpectedly visibl
e
commit
|
commitdiff
|
tree
2020-10-16
Javier Miran
d
a
[Ada] Crash in generic
renaming decl
a
r
a
tion
of
child
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Jav
i
er
Miranda
[
Ada] Ada2020: AI12-0003 Specifyin
g
t
h
e standard storage
.
.
.
commit
|
commitdiff
|
tree
2020-10-15
Javie
r
M
ira
n
da
[A
d
a] Cleanup definit
i
on of
M
i
g
ht_Have_Ta
s
k
s
commit
|
commitdiff
|
tree
2020-07-27
Jav
i
e
r
M
iranda
[Ada] A
d
a202
0
:
AI12-
0
02
7
A
c
cess values
a
nd unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Javier Miran
d
a
[Ada] S
p
uri
o
us error
i
n
gener
i
c dis
p
atch
i
ng
c
onstruc
t
or
commit
|
commitdiff
|
tree
2020-07-27
Ja
v
ier
Mir
a
n
d
a
[Ada]
Ada2020: AI12-0027 A
c
ce
s
s v
a
lues
a
nd unaliased
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier
Miranda
[Ada]
M
i
s
p
lace o
f
internal master renaming de
c
la
r
at
i
on
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[
A
d
a]
Av
o
id fa
l
se positi
v
e report
e
d by Code
P
eer
commit
|
commitdiff
|
tree
2020-07-16
Javier Mirand
a
[
A
d
a] Ada2020:
A
I
1
2-
0
107 convention o
f
B
y
_Protected_
P
rocedure
commit
|
commitdiff
|
tree
2020-07-15
Javi
e
r Miranda
[Ada] Wrong
resolutio
n
of 'acces
s
i
n protected sub
p
rog
r
am
commit
|
commitdiff
|
tree
2020-07-10
Javier
Miranda
[Ad
a
]
Potentially uneva
l
u
a
t
e
d
nested expressions
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[A
d
a] Sp
u
r
ious e
r
ror
i
n gen
e
ric dispatchin
g
c
o
nst
r
uct
o
r
.
.
.
commit
|
commitdiff
|
tree
2020-07-08
Javier Miranda
[Ada]
Fix recent regressi
o
n
o
n _Mast
e
r declaratio
n
commit
|
commitdiff
|
tree
2020-07-07
Javier
Miranda
[Ada] Ada
2
020
:
AI12-0198 p
o
t
entially unevalua
t
ed c
o
mponents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier
Miranda
[A
d
a] Ada2020: AI
1
2
-
0
198 potent
i
all
y
u
n
evaluated com
p
onents
.
.
.
commit
|
commitdiff
|
tree
2020-07-07
Javier Miranda
[Ada] Ada2
0
20: AI12-0
1
98 potentially unevaluated
c
omponent
s
.
.
.
commit
|
commitdiff
|
tree
2020-07-06
J
a
v
i
er Miran
d
a
[Ad
a
] Ada2020: A
I
12-0198
p
otentially unevaluated array
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Javier Mir
a
nda
[Ada] ACAT
S
4
.
1G - C760A02
-
N
ear in
f
inite final
i
zation
2020-06-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Javie
r
Mirand
a
[Ada]
C
ras
h
in tagged type constr
u
ctor with task
c
omponent
s
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
avier M
i
r
a
nda
[Ada] Missing error on aspects In
p
u
t
and Output
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
J
a
vier Miranda
[
Ada] Crash in tagged ty
p
e const
r
uctor with t
a
sk componen
t
s
2020-06-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Jav
i
er Miranda
[Ada] Ada2020:
A
I12-0279 more dispatching
points
w
ith
.
.
.
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Javier Mir
a
n
d
a
[
Ada] Cra
s
h in tagg
e
d t
y
pe
c
on
s
tructor with
ta
s
k c
o
m
p
o
nents
2020-06-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Jav
i
er Mir
a
nda
[Ada] Crash in
t
a
g
g
e
d ty
p
e
constr
u
cto
r
w
i
t
h
t
ask co
m
ponents
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javier Miranda
[Ada] Crash in tagged type con
s
t
r
uctor with tas
k
compo
n
ents
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Javi
e
r
Miranda
[A
d
a] Crash in ta
g
ged typ
e
constructor w
i
t
h task components
2020-06-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Javier Miran
d
a
[Ad
a
]
Crash
in tagged
type con
s
tructor with
t
ask component
s
2020-06-15
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Javi
e
r Miran
d
a
[Ada] Crash
o
n dispatching conditional entry c
a
l
l
2020-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Javi
e
r
Miran
d
a
[A
d
a] Class
w
ide
controlled obj not dispatching
2020-06-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Javier Miranda
[A
d
a
]
Missing c
h
eck on private
o
ve
r
riding of dispatchi
n
g
.
.
.
2020-06-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Ja
v
ier Mi
r
anda
[
A
da] Better co
d
e generatio
n
fo
r
n
e
sted aggr
e
gates
2020-06-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javier M
i
ra
n
da
[
Ad
a
] CCG: reg
r
essions on ACATS c
4
60007, c46013a, cd1009d
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
avier Miranda
[A
d
a
] Im
p
rov
e
d support for aspect alignment in CCG
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
J
avier Miranda
[Ada]
C
ompiler cras
h
p
rocessing con
t
rolled type primitiv
e
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Javier Miranda
[Ada
]
Reserving swi
t
ch d_
K
for k
n
own prob
l
em isssu
e
s
.
.
.
2019-12-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miran
d
a
[
A
da
]
Spurious error on precondition of sub
p
r
ogram
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Adding support for unsu
p
porte
d
type conversions
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Jav
i
e
r
Miranda
[A
d
a] Pr
a
gma
L
inker_Sectio
n
in
subprogra
m
instant
i
ations
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier
M
i
r
anda
[
Ada] Adding su
p
port f
o
r uns
u
pporte
d
type conver
s
ion
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada]
D
eallocatio
n
of controlled type implementing
.
.
.
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Jav
i
er Miranda
[Ada] Fix p
o
rtability issues in access to subprograms
2019-09-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Javier Mira
n
d
a
[Ada]
Co
d
e
cl
e
anup of alignment represen
t
a
tion
c
lauses
.
.
.
2019-09-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javie
r
M
i
r
anda
[Ada]
Missin
g
propag
a
tion of Has_Predicates in
clo
n
e
d
.
.
.
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
J
avier Mira
n
d
a
[Ad
a
]
M
iss
i
n
g tagged type decoratio
n
in co
r
respon
d
in
g
.
.
.
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
J
avier Miranda
[Ada] Ada 2020: R
a
is
e
e
x
pressio
n
s in
limited contexts
.
.
.
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javier Mi
r
a
n
da
[Ada]
Adding a
s
ser
t
ions on extra formal
s
f
or
B
IP function
.
.
.
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[
Ada] Missing attribu
t
e upda
t
e
in new_copy_tree
2019-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
J
avi
e
r Miranda
[
Ada] Buffer reading overflo
w
in
d
ispatch table initialization
2019-08-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Javier Mirand
a
[Ada] Sem_Uti
l
: fi
x
a bug in New_Cop
y
_Tre
e
2019-08-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Javier Miranda
[A
d
a] Fix a recent AC
A
TS regression
(
c552001)
2019-08-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Ja
v
ier M
i
ra
n
da
[
A
d
a
]
W
rong dispatching cal
l
in type with aspect
Implici
t
_De
.
.
.
2019-08-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Javier
Miranda
[Ada] Wrong in
i
tiali
z
ation of Off
s
et
_
To_Top in secondary
DT
2019-08-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier Mir
a
nda
[
Ada] Spurious error passi
n
g access to c
l
as
s
-
wide interface
.
.
.
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier Mi
r
anda
[
A
d
a] Usage of signed
t
ype in array bounds in CCG
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier
M
iranda
[Ada
]
Cra
s
h in C++
c
o
n
structor wit
h
out exte
r
na
l
and
.
.
.
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Javier Mira
n
da
[Ad
a
]
M
issing implicit
i
nterfac
e
type con
v
ersion
2019-07-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Javier
Miranda
[Ada]
M
is
s
in
g
error
on generic type with re
p
resentati
o
n
.
.
.
2019-07-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
J
a
vier Miranda
[
Ada] Missing runtime range ch
e
ck
s
with -g
n
at
V
a
2019-07-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javie
r
Miranda
[
Ada] Wr
o
n
g
e
v
a
l
uation of
mem
b
ership test
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier M
i
randa
[Ada] Cr
a
s
h
in interface
deriv
a
ti
o
n
w
ith null pri
m
itive
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javi
e
r Miranda
[Ad
a
] Cod
e
reorganizatio
n
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier Mi
r
a
n
da
[Ada]
Spurious error reported by p
r
ag
m
a Compile_Time_Error
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ja
v
i
e
r Miran
d
a
[Ada] W
r
ong acces
s
i
b
il
i
ty level und
e
r -gnat12
2019-07-05
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Javi
e
r Miranda
[Ada] R
e
moving support f
o
r SC
I
L "con
t
ra
c
t-only" sub
p
rog
r
am
.
.
.
2019-07-05
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Javier
M
i
randa
[Ad
a
] Spurious error on
n
on-
d
efault C++ const
r
uctor
2019-07-04
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Javie
r
Miranda
[Ada] Exp_Attr: remo
v
e dea
d
code
2019-07-03
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
J
a
v
ier M
i
randa
[
A
da] Disable expansion o
f
'
Min/'Max of
f
loating p
o
int
.
.
.
2019-07-01
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
J
a
vier
M
iranda
[
Ada] Fix runtime st
a
ck overflow
f
or out/
i
n
-
o
ut actuals
.
.
.
2018-12-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Javier Miranda
[
A
da] Fix an ACATS
r
eg
r
e
ssion with CCG
2018-12-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Javier Mira
n
da
[Ada] Cras
h
on interface equa
l
it
y
covere
d
by a renamin
g
.
.
.
2018-11-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
J
avier Mirand
a
[
A
da] Spu
r
ious
error on interface convers
i
on under
Z
FP
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
J
avier Miranda
[Ada] Mimic the
C
++
AB
I
when passing class-wide
c
onversi
o
n
.
.
.
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
Javier M
i
r
a
nda
[
Ada] IC
E
on m
i
x of tagged and li
m
ited
inte
r
fa
c
es
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javi
e
r Miranda
[
Ada] Crash proce
s
s
i
ng SPARK annotat
e
aspect
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javier Mirand
a
[Ada] Crash c
o
mpi
l
i
n
g SP
A
R
K
g
host fu
n
ctions with callgraph
.
.
.
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javi
e
r Miranda
[Ada] Enu
m
eration ty
p
es
w
ith non-standa
r
d representati
o
n
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Jav
i
er Miranda
[Ad
a
] Fix a freezin
g
issue
2018-07-31
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Jav
i
e
r Miranda
[Ada]
Crash processing abs
t
ract state
a
spec
t
of a package
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
J
a
vier Miranda
[Ada] Seco
n
dary stack leak in
s
tate
m
e
n
ts bloc
k
located
.
.
.
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Javie
r
Miranda
[Ada
]
S
e
conda
r
y stack leak
in loop itera
t
o
r
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ja
v
ier Miranda
[Ada] Bit_
O
rder cannot
b
e
d
efined
f
or record extensions
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ja
v
ier Miranda
[Ada] Co
d
e
c
l
eanup o
n
f
unc
t
i
ons inl
i
ning
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier
Miranda
[
A
d
a]
Crash
p
r
o
c
e
ssing sources
under GNATpr
o
ve debug
.
.
.
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Mir
a
n
da
[Ada] Sem_Ch4:
minor code cleanup
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Mi
r
anda
[
A
da] Fi
x
e
x
pansion of 'Count in protected types
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada]
S
em_Util
s
: make Has_Prefix p
u
blic
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Javier Mirand
a
[A
d
a]
Crash on protect
e
d typ
e
entry family
2018-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
J
avi
e
r Mi
r
a
nd
a
[Ada] Wrong co
d
e i
n
ar
r
ay aggregates
of Ada coextensions
2018-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Javier Mi
r
anda
[Ada] Fix compile
r
crash for tagged
p
rivate type
s
2018-05-31
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
J
a
v
ier Miranda
[Ada]
W
r
o
ng equali
t
y on untagge
d
pri
v
ate typ
e
2018-05-29
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next