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] Crash in tagged type constructor with task components
2020-06-18
Javier Mirand
a
[Ada] Crash in tagg
e
d type con
s
tr
u
ctor with task
c
o
mponents
commit
|
commitdiff
|
tree
2020-06-18
Eric Bo
t
c
a
zou
[Ad
a
]
Small i
m
provement to Optimize_
L
eng
t
h_Co
m
paris
o
n
commit
|
commitdiff
|
tree
2020-06-17
E
r
ic Botcazou
[Ada] Add
e
arl
y
retur
n
t
o Apply_Universal_Intege
r
_Attribute_
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
A
r
naud
Charlet
[Ada] ACATS 4
.
1H -
B
A1
2
018 - Missed errors
f
o
r
p
rivate
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
E
d S
c
hon
b
e
rg
[
A
da] Ad
d
itional legality rule for indexing
operation
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
G
a
ry Dismukes
[
Ada] Nes
t
ed subprograms in protected sub
p
rogr
a
ms improperly
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Ja
v
ier Miranda
[Ad
a
] Ad
a
20
2
0: AI12-0279 more dispatching points with
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Er
i
c
Botcazou
[Ada] Fix incorrect ope
r
a
n
d
s
haring
afte
r
expansi
o
n
commit
|
commitdiff
|
tree
2020-06-17
Javie
r
Miranda
[Ad
a
] C
r
ash in tagged
t
ype constructor with ta
s
k comp
o
nents
commit
|
commitdiff
|
tree
2020-06-17
Bob Duff
[Ada] Do
n
o
t
g
i
ve "bad inde
n
tati
o
n" error inside a
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Arnau
d
Charlet
[Ada] Improve error message o
n
anonymous access parameter
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Er
i
c Bot
c
azou
[Ada] Do not generat
e
usele
s
s length check for array
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
P
iotr Trojanek
[Ada] Suppo
r
t
aspect Rela
x
ed_Initialization on p
r
ivate
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric B
o
tcazou
[Ad
a
] Small cleanup
t
hroughout CSt
a
nd bo
d
y
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcaz
o
u
[Ada
]
R
emove new
problematic conditio
n
for LLVM
commit
|
commitdiff
|
tree
2020-06-17
Gary Dismukes
[Ada] Various
t
ypo
corrections plus minor reform
a
tti
n
g
commit
|
commitdiff
|
tree
2020-06-17
Bob
Duf
f
[
A
da] Ada2020: A
I
12
-
0110 Tampering
checks are perf
o
rmed
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[
Ada
]
Co
u
p
le of sm
a
ll t
w
eaks re
l
ated to integer convers
i
ons
commit
|
commitdiff
|
tree
2020-06-17
P
i
otr Trojanek
[Ada]
F
ix
c
o
m
ment of Ge
t
_
Ite
r
able_T
y
pe_Primitive
commit
|
commitdiff
|
tree
2020-06-17
E
d S
c
h
o
nber
g
[Ada]
A
da_2020
AI12-0220 Pre/Pos
t
c
ond
i
t
i
ons on Access_To_Sub
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Piotr T
r
ojanek
[Ada] Ad
d
assertions to
Pres
e
r
ve_Comes_F
r
o
m
_Sourc
e
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Arn
a
ud Charlet
[Ada] Rem
o
ve o
b
s
olete
c
omments in
Big_
N
umbers
commit
|
commitdiff
|
tree
2020-06-17
Gary Dism
u
kes
[
Ada] Imple
m
ent static
expres
s
i
o
n functions fo
r
Ada
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ada]
De
a
l with second spec
i
fic superflat case in Optimize_
L
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ad
a
] Adjust documentation of '
B
it
a
nd 'Descri
p
tor_Si
z
e
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazo
u
[Ada] Wo
r
k aroun
d
p
r
oblem
a
tic int
e
raction wit
h
p
u
bl
i
c
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric
B
otc
a
zou
[A
d
a] Fix small ov
e
rsight i
n
c
hang
e
to Optimize_Length_Compa
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ada] Optimiz
e
l
e
n
g
th checks generated for s
l
ice assig
n
me
n
ts
commit
|
commitdiff
|
tree
2020-06-17
Piotr
Trojanek
[Ada] Fix casing from GN
A
TP
r
ove
to
GN
A
T
prov
e
commit
|
commitdiff
|
tree
2020-06-17
Piotr
Tr
o
janek
[
Ada]
Remo
v
e un
n
ecessary special-casin
g
of GNATprove
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazo
u
[Ada] Fix small fallout of change for 'Pos and 'Val
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Piotr Tr
o
janek
[
Ada] Fix expa
n
sion of "for X of Y loop" in GNATprove
commit
|
commitdiff
|
tree
2020-06-16
E
r
i
c
B
otcazo
u
[Ada] E
x
pand
'Pos and '
V
a
l
for enumeration typ
e
s
with
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Eri
c
Bo
t
cazou
[Ada] Fix spurious error
on derived pr
i
vate type
w
ith
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Richard Kenner
[Ada]
Change how
w
e detect i
n
ternal protected
subprograms
commit
|
commitdiff
|
tree
2020-06-16
Richard Kenne
r
[
Ada] Improve bug box
c
u
s
tomer langu
a
g
e
commit
|
commitdiff
|
tree
2020-06-16
P
i
otr Trojanek
[Ada
]
Minor ca
s
in
g
of " Th
e
" after a
com
m
a in
d
ocs
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
P
iotr Trojanek
[A
d
a] Reu
s
e
I
s
_Object where poss
i
ble
commit
|
commitdiff
|
tree
2020-06-16
Piotr Tro
j
anek
[Ada] Fix typo in comment
a
bout overlapping act
u
al
s
commit
|
commitdiff
|
tree
2020-06-16
Pi
o
t
r
Tr
o
janek
[Ad
a
] Force
evaluation of qu
a
lified aggr
e
gates
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazo
u
[Ada] Co
u
ple of formatting and stylistic fixes
commit
|
commitdiff
|
tree
2020-06-16
Steve B
a
ird
[Ada] Enable lite
r
al
a
spect specification
s
in
Big_Numbers
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Javier
Mira
n
da
[Ada] Cra
s
h
in tagged ty
p
e construc
t
o
r with task components
commit
|
commitdiff
|
tree
2020-06-16
Bob D
u
ff
[Ada] Declar
e
exp
r
essions
commit
|
commitdiff
|
tree
2020-06-16
Arnaud
Charlet
[
Ada] ACAT
S
C452005/C452006 m
e
mberships u
s
e wrong equality
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
E
d Schonb
e
r
g
[Ada] Implement AI12-
0
2
1
6 on r
e
stricting ove
r
lap errors
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazou
[Ada]
F
ix premature freezing of a
r
tifi
c
ial arr
a
y subtype
commit
|
commitdiff
|
tree
2020-06-16
Steve Ba
i
rd
[
A
da
]
Impleme
n
t AI12-
0
249
,
AI12-0295 (user-defined
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Arnaud C
h
arlet
[
A
da] ACAT
S
4
.
1P
- C432
0
03 - Erro
r
s missed
o
n
extension
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Arna
u
d
Charlet
[Ada] ACAT
S
4
.
1P -
B
C5
5
001 - Error missed
commit
|
commitdiff
|
tree
2020-06-16
Piotr Trojanek
[Ada] Fix
a
s
sertion failure on
quali
f
ied type n
a
m
es
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Piotr
Trojanek
[Ada
]
F
o
rce evaluation of op
e
rator calls i
n
renamings
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ad
a
]
A
CA
T
S
4
.
1
K - B452001 - No er
r
or
s
dete
c
ted
commit
|
commitdiff
|
tree
2020-06-16
Ghj
u
v
a
n Lacambre
[Ada] Check if attribut
e
P
assed_B
y
_Reference
is ca
l
le
d
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
G
a
ry
Dis
m
ukes
[A
d
a] Fix t
w
o typo
s
commit
|
commitdiff
|
tree
2020-06-16
Javier
M
i
r
and
a
[Ada] Crash in tagged ty
p
e constructo
r
with
t
a
sk components
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazou
[Ada] Fix
small fall
o
ut of
free
z
i
ng chang
e
f
or exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Eric
B
otc
a
zo
u
[Ada] Fi
x
spu
r
i
o
us error on i
m
plicit derefere
n
ce for
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Javier Miranda
[A
d
a]
C
rash
i
n
tagged type constructo
r
with task componen
t
s
commit
|
commitdiff
|
tree
2020-06-16
Ed Schonberg
[Ada] Spurious undefined
s
ymbol wit
h
nested c
a
ll t
o
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Piotr
Tr
o
janek
[A
d
a] Acce
p
t r
e
na
m
ings
of f
o
lded string agg
r
egates
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazou
[
A
d
a] Implement AI12
-
035
1
Matching
for
act
u
als for
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Eric Botcazou
[Ada] R
e
write Se
m
_Eval
.
Pre
d
i
c
ates_Matc
h
predicat
e
commit
|
commitdiff
|
tree
2020-06-15
Ed Fali
s
[
A
da] M
a
k
e
f
ile
.
r
tl: minor file re
n
amings
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada]
Impr
o
ve erro
r
message on prema
t
ure
u
sage of
s
ub
t
ypes
commit
|
commitdiff
|
tree
2020-06-15
P
i
otr Trojanek
[Ada] Do e
x
pect
ta
s
k discr
i
minants in Global an
d
Dep
e
nds
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Eri
c
Botca
z
ou
[Ada] Implement AI12-0343 Return St
a
tem
e
nt Che
c
k
s
commit
|
commitdiff
|
tree
2020-06-15
B
o
b Duff
[Ada] T'
I
mage c
a
ll
s
T
'Put_Imag
e
commit
|
commitdiff
|
tree
2020-06-15
Gary Dismukes
[Ada] Min
o
r editorial changes in comm
e
n
ts
commit
|
commitdiff
|
tree
2020-06-15
Arnau
d
Charl
e
t
[Ada] Allow unini
t
ializ
e
d va
l
ues on
Big_Pos
i
tive/Natural
commit
|
commitdiff
|
tree
2020-06-15
Piotr
T
rojan
e
k
[Ada] F
i
x analysis of Relaxed_I
n
it
i
a
l
iz
a
ti
o
n f
o
r bod
i
es
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Javier
Miranda
[Ad
a
]
Crash in
t
agged type constr
u
ctor
with
task
c
o
mponents
commit
|
commitdiff
|
tree
2020-06-15
Arnau
d
Ch
a
rlet
[Ada] Missing errors on aspect
che
c
king
commit
|
commitdiff
|
tree
2020-06-15
A
rnaud Cha
r
let
[Ada] AI12-0
2
6
0
Fu
n
ct
i
ons Is_B
a
s
ic and To_Bas
i
c in
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
G
ary Dism
u
kes
[Ada] P
a
ssing
actual p
a
rameter values to o
u
t f
o
rmals
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Justin Squire
k
[Ada] Bad a
c
ce
s
s checks on i
f
/
c
a
s
e expression as act
u
al
commit
|
commitdiff
|
tree
2020-06-15
Piotr Tr
o
janek
[Ada] Do no
t
e
xpect task
disc
r
im
i
nant
s
in Global and
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Pio
t
r
Trojanek
[Ada
]
Do not expec
t
G
l
obal
or
D
epends
on single protected
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
J
ustin
S
quirek
[A
d
a
]
Inc
o
rrect
accessibility chec
k
s
o
n
functions calls
commit
|
commitdiff
|
tree
2020-06-15
Piotr Trojanek
[Ada] Replace repeated Ekind wi
t
h
E
kind_In
commit
|
commitdiff
|
tree
2020-06-15
Piotr Troja
n
ek
[
Ada] Remove exces
s
i
ve parens
commit
|
commitdiff
|
tree
2020-06-15
Piotr Trojanek
[Ada]
Suppo
r
t
aspect Relaxed_I
n
iti
a
lization and attr
i
bute
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Bob
D
u
f
f
[Ada
]
Put_Image: Ena
b
le
f
o
r acce
s
s-to-subprogram
t
ypes
commit
|
commitdiff
|
tree
2020-06-15
Bob Duff
[Ada] Clean up err
o
r handling of '
I
mage
commit
|
commitdiff
|
tree
2020-06-15
Bo
b
Duff
[
Ada] Put_Image:
Enable f
o
r ac
c
ess-to-subprogram types
commit
|
commitdiff
|
tree
2020-06-15
Bob Duff
[Ada] Put_Image: I
m
plement for private type
s
with full
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Bob Duff
[Ada] Put_Image improv
e
ments for strin
g
s
commit
|
commitdiff
|
tree
2020-06-15
Piotr Troja
n
ek
[Ada] Remove unrefer
e
nce
d
and dubio
u
s Is_R
e
naming_Decl
a
ration
commit
|
commitdiff
|
tree
2020-06-15
Ed Schonberg
[Ada
]
L
i
nk fail
u
re with call to
e
xpres
s
ion functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Eric Bot
c
azou
[Ada] Implem
e
nt AI
1
2-0077
H
a
s
_Same_Storage on objects
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Stev
e
Baird
[Ada]
U
pdate 'Loop_
E
ntry ch
e
cking
to match changes
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Eric Botcazou
[Ada] Use
uniform ty
p
e r
e
solution for membership t
e
s
ts
commit
|
commitdiff
|
tree
2020-06-12
Steve
Baird
[
Ada] Fi
x
anony
m
o
u
s-to-n
a
med ac
c
ess type implicit convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2020-06-12
Bob Duff
[Ad
a
] E
n
abl
e
P
ut_Image
i
n pre-Ada-2020
mod
e
s
commit
|
commitdiff
|
tree
2020-06-12
Arnau
d
C
h
arlet
[Ada] AI12-0074 View conversions
a
n
d ou
t
parameter
s
.
.
.
commit
|
commitdiff
|
tree
2020-06-12
Ol
i
vier Hai
n
que
[Ada] Bump s
e
c
o
ndary st
a
ck alignment factor in f
u
ll
.
.
.
commit
|
commitdiff
|
tree
2020-06-12
Piotr
T
roja
n
ek
[
A
da]
A
lp
h
abetic orderi
n
g for na
m
e and pragmas
commit
|
commitdiff
|
tree
2020-06-12
A
rnaud Charl
e
t
[Ada] Fix handling
o
f Ada
8
3 OUT para
m
eter rule
commit
|
commitdiff
|
tree
2020-06-12
Steve Baird
[
A
d
a] Implement AI12-0369
commit
|
commitdiff
|
tree
2020-06-12
Ed Sch
o
nberg
[Ada] Compi
l
er
l
o
cks u
p
with -gnat
X
and forma
l
subpro
g
ram
.
.
.
commit
|
commitdiff
|
tree
next