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-0307: uniform resolution rules for aggregates
2020-10-22
Ed Schonb
e
rg
[Ada
]
AI
1
2
-
0307: u
n
iform r
e
solution r
u
les for aggre
g
ates
commit
|
commitdiff
|
tree
2020-10-22
Piot
r
Troja
n
e
k
[
Ada] Cleanup repe
a
ted code in checks for
u
n
u
s
ed
W
ITH
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
E
ric
B
otcazou
[Ada] Support o
f
the Ada
.
Te
x
t_IO hier
a
rc
h
y for 128
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
E
ri
c
Botcazou
[Ada] F
i
x
p
r
o
b
l
ematic placement of
freeze node after
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Steve Baird
[Ada] Implem
e
n
t
missing functio
n
result finalization
.
commit
|
commitdiff
|
tree
2020-10-21
Eri
c
Botcaz
o
u
[Ada] Support of
a
ttribut
e
s Image, Put_Image, Val and
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Eri
c
Botcazou
[Ada] Work around missing
L
ong
_
L
ong_Long_Size entry
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Pio
t
r Troj
a
ne
k
[Ada] Fix an
a
lysis of
iterated c
o
mponent exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
E
r
ic Botcazo
u
[Ada] B
a
sic support
f
or
1
28-bit types
commit
|
commitdiff
|
tree
2020-10-21
Eric B
o
tca
z
o
u
[
A
d
a
] Document Long_L
o
ng_Long_Integer
i
n
imple
m
entation
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Ya
n
nic
k
Moy
[
Ada]
Fix target configurati
o
n file used for CodePe
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Piotr T
r
oj
a
nek
[Ada
]
Refactor repe
a
ted calls to
Etype i
n
aggregate
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Dmitr
i
y
A
n
i
simkov
[
Ada
]
Fix bootstrap with old GCC
commit
|
commitdiff
|
tree
2020-10-21
Pio
t
r
Trojanek
[
A
da] F
i
x crash on illegal OTHERS in iterated_component_asso
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
P
i
o
t
r Trojanek
[Ada] Us
e
index
p
arameter for iterated_component_associat
i
on
commit
|
commitdiff
|
tree
2020-10-21
J
avier Miranda
[Ada] Wrong d
e
tect
i
on
of potentia
l
ly bl
o
cking cal
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Liaiss Merzougue
[Ada] C
o
de
p
eer remarks take into account
commit
|
commitdiff
|
tree
2020-10-21
Gary Di
s
mukes
[Ada]
Compi
l
e
r
crash
on prefixed call to controlled
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Eric Botcazou
[Ada] Fix bogus error for bit-
p
acked array with
volatile
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Dm
i
t
riy
A
n
i
s
i
m
k
ov
[Ada] Improve precision
o
f Ada
.
Directori
e
s
.
Modi
f
icati
o
n_Time
commit
|
commitdiff
|
tree
2020-10-21
Pi
o
tr Trojanek
[
A
da] Fix crash w
i
th itera
t
ed_compo
n
e
n
t
_
association
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] Sp
u
rious error
i
n c
u
rrent
instance used as f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
D
oug Rupp
[Ada] Remov
e
-m
t
hre
a
ds from L
i
nker_Options pragma for
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Patrick Ber
n
ardi
[Ada] Use VxWorks 7 AP
I
s f
o
r a
c
ce
s
sing e
n
vironment
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
E
ric Botcazou
[Ada]
U
se helper function in Fre
e
ze_
S
ubprogram_
B
ody
commit
|
commitdiff
|
tree
2020-10-21
J
ustin Squir
e
k
[A
d
a] Incorrect associat
i
ons for ext
r
a acc
e
ssib
i
lity
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Pio
t
r Trojanek
[Ada] Make mini
m
um ac
c
essibility level a constant o
b
ject
commit
|
commitdiff
|
tree
2020-10-21
Patri
c
k Bernardi
[
A
da] Simplify the Vx
W
or
k
s implementation of _
_
gnat_envi
r
on
commit
|
commitdiff
|
tree
2020-10-21
Ghju
v
an
L
acambre
[Ada] Dis
a
b
le warnings on en
t
itie
s
when building
finalizers
commit
|
commitdiff
|
tree
2020-10-21
Piot
r
Trojanek
[Ada] Fix
typ
o
s and style i
n
comm
e
nts related to
D
efau
l
t_Ini
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Javier Miranda
[Ada] Spurious error in taf
t
ammendment derivat
i
on
.
.
.
commit
|
commitdiff
|
tree
2020-10-21
Cla
i
re Dross
[Ada] R
a
ise Capacity_Error on for
m
al vector insertion
commit
|
commitdiff
|
tree
2020-10-20
Piotr Trojan
e
k
[Ada
]
Refin
e
type for type constrainin
g
r
o
utines
commit
|
commitdiff
|
tree
2020-10-20
Piotr Troja
n
ek
[
A
da] Prevent crashes w
h
en pretty-
p
rinting freeze nodes
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Ed S
c
honberg
[Ada
]
AI12-0339: Empty function for A
g
g
r
e
g
a
t
e as
p
ect
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arnaud C
h
arl
e
t
[Ada]
Add support fo
r
Unreferenced aspect on formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Piotr Trojanek
[Ada] Refine result type of Get
_
Accessibility
commit
|
commitdiff
|
tree
2020-10-20
P
iotr Trojanek
[Ad
a
] Repl
a
ce low-le
v
el E
k
ind membership
tests with
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Steve Bai
r
d
[
A
da]
I
m
p
lement AI12-0
2
80 Maki
n
g 'Old
mor
e
fl
e
x
i
ble
commit
|
commitdiff
|
tree
2020-10-20
Javier Miranda
[Ad
a
]
Spurious error in current ins
t
ance used as formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
C
laire Dro
s
s
[Ada]
Make attribute Upda
t
e an
o
bso
l
escent fea
t
ure
commit
|
commitdiff
|
tree
2020-10-20
Richard Kenner
[
A
da] CUDA: build procedure calls
i
n
s
tead of fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Justin Squi
r
ek
[Ada] Crash on cond expressi
o
n as actu
a
l fo
r
a
n
onymous
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Y
a
nnick Moy
[Ada] Fixe
s
for pretty comm
a
nd-
l
ine GNATprove output
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Justin
S
quire
k
[Ada] Hang on co
n
d e
x
pres
s
ion as actu
a
l for anonymous
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Bob Duff
[Ada] gnatpp: Fix do
c
umentation of threshold swi
t
ches
commit
|
commitdiff
|
tree
2020-10-20
Arnaud
C
har
l
et
[Ada]
New warning on no
t
f
u
lly initialized box
a
ggregate
commit
|
commitdiff
|
tree
2020-10-20
Gary
D
ismuk
e
s
[
Ada] Inli
n
ing nonstatic calls
to static expre
s
s
ion
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arn
a
u
d Charlet
[
Ada] Crash on precondition, discrimin
a
nt and protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
A
r
n
a
u
d
Ch
a
rl
e
t
[
A
da]
I
ssue with gnatbind -V
s
witch
and A
d
a 2
0
12
commit
|
commitdiff
|
tree
2020-10-20
Ya
n
nic
k
Mo
y
[Ada] Fix c
o
mments as vo
l
atility properties can apply
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[A
d
a
] Spurio
u
s discrimin
a
nt
c
heck on "f
o
r of" loop
commit
|
commitdiff
|
tree
2020-10-20
Bob
D
uff
[Ada]
Flexibl
e
AST no
d
e structure
commit
|
commitdiff
|
tree
2020-10-20
Eric Bo
t
cazou
[Ada] Fix int
e
rnal error on bit-aligned compo
n
ent of
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Pa
t
Rogers
[
A
da] Docu
m
en
t
Ada
.
Task_Initialization
commit
|
commitdiff
|
tree
2020-10-20
Yannick Moy
[Ad
a
] Display source
c
ode
p
oint
i
ng at locati
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Remove
extra validity chec
k
in case statement
commit
|
commitdiff
|
tree
2020-10-20
Ed Schonberg
[
A
da] Ada_2020: Further code clean
u
p for container
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Piotr Trojanek
[Ada] Propagate predicate
function to
a full view of
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arna
u
d Charlet
[Ada
]
Co
d
e clean up
commit
|
commitdiff
|
tree
2020-10-20
Pi
o
tr T
r
ojane
k
[
A
da] Suppo
r
t f
o
r new aspect Subprogram_Vari
a
nt o
n
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
P
iotr Trojanek
[Ada] Minor reorder
s
ubprogram declar
a
tions alphabetically
commit
|
commitdiff
|
tree
2020-10-19
Ed Scho
n
berg
[Ad
a
]
Ada_2
0
20: Im
p
l
e
ment K
e
y_Expression f
o
r
n
am
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ar
n
aud C
h
a
rle
t
[Ada]
Missi
n
g check
on a
r
r
ay concatenation
commit
|
commitdiff
|
tree
2020-10-19
B
ob Duff
[Ada] Su
p
p
ress wa
r
nings in expansion of "for
.
.
.
of
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Eri
c
Botcazou
[Ada] Use alternate sta
c
k for sig
n
al hand
l
ing on Power
P
C
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Piotr Trojanek
[Ada] Remove excessive
guards
i
n bui
l
di
n
g predicate
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Yannick Moy
[Ada] A
l
ternative di
s
p
l
ay of m
u
l
ti-line mes
s
a
g
e
s for
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Arnaud C
h
arlet
[
A
da] AI12-03
5
2: E
a
rly deri
v
a
t
i
on and eq
u
ali
t
y of untagged
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ed Schonberg
[Ada
]
Com
p
i
ler abort on
in_
o
ut functio
n
pa
r
ameter
w
ith
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[
Ada]
Wrong
freezing for ex
p
r
e
ssion funct
i
o
n
with contrac
t
s
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ghjuvan Lacam
b
re
[Ada] Implement i
n
i
t
i
a
lization of CUDA ru
n
t
ime
commit
|
commitdiff
|
tree
2020-10-19
Bob D
u
ff
[Ada] Expanded
n
a
m
es in ghost a
s
signment
s
commit
|
commitdiff
|
tree
2020-10-19
G
h
juvan Lacambr
e
[
Ad
a
] Do not r
e
p
lace bounds for p
a
cked arrays that
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Bob Duff
[Ada] Ada2020
:
AI1
2
-03
0
4 Put_Image
attrs of lan
g
-def
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Arn
a
ud Charlet
[A
d
a] ACATS 4
.
1R - Ex
c
eption missed
commit
|
commitdiff
|
tree
2020-10-19
Yannic
k
Moy
[Ada] Reject use o
f
Relaxe
d
_
Initia
l
ization o
n
scalar
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Ar
n
aud Charlet
[
Ada] No range ch
e
ck
o
n fixed point to integer c
o
nversion
commit
|
commitdiff
|
tree
2020-10-19
Ya
n
nick Moy
[
A
da] Clarify protection offered by precond
i
t
i
ons on
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Piotr T
r
oja
n
e
k
[
A
d
a] Fix typo in
erro
r
m
essage
abou
t
contract cases
commit
|
commitdiff
|
tree
2020-10-19
Piotr Trojanek
[
A
d
a
] Simp
l
ify detection of by-
c
opy types
commit
|
commitdiff
|
tree
2020-10-19
Yannick Moy
[
Ada] Clarif
y
curren
t
design of Errou
t
w
r
t global va
r
iab
l
e
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Bob Duff
[Ada] Ada2020: AI12-0304 Put
_
Image at
t
rs o
f
lan
g
-d
e
f
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Bob
D
uff
[Ada] Ada20
2
0: matching paren
t
heses and brackets
commit
|
commitdiff
|
tree
2020-10-19
Javier Miranda
[Ada] Crash
in expression fun
c
tion def
i
ned
i
n
protected
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Gary Dismuk
e
s
[
A
d
a] AI
1
2-017
0
: Abst
r
act subprog
r
am calls
i
n
c
lass
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Javier Miranda
[Ada
]
Pr
i
v
a
t
e type unexpectedly visible
commit
|
commitdiff
|
tree
2020-10-19
Arnaud C
h
arl
e
t
[Ada] C
l
ean u
p
suppo
r
t of squar
e
br
a
ckets
commit
|
commitdiff
|
tree
2020-10-19
Piotr Trojanek
[Ada] Remove
useless initi
a
lization and r
e
fine type
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Pi
o
tr Trojanek
[Ada] Refine
type of a local variable
commit
|
commitdiff
|
tree
2020-10-19
Piotr T
r
ojan
e
k
[
A
da] Simplify membership test for operators
commit
|
commitdiff
|
tree
2020-10-19
Pi
o
tr Trojanek
[Ada] Si
m
plify repeated calls with membership test
commit
|
commitdiff
|
tree
2020-10-16
Piotr Trojan
e
k
[Ada] Assorted s
t
yle
cleanups
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Cha
r
let
[
A
da
]
Pre
e
laborate rul
e
s not
fully enforced
commit
|
commitdiff
|
tree
2020-10-16
G
hjuvan Laca
m
bre
[
A
da] Implement expa
n
s
ion
o
f
CU
D
A_Execute pragma
commit
|
commitdiff
|
tree
2020-10-16
Bob
D
uff
[Ada] Ada2020: parsing
o
f quali
f
ied exprs wi
t
h
ne
w
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Ja
v
ier Miranda
[
A
da]
C
ras
h
in gen
e
ric
r
e
naming decla
r
ation of chil
d
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Bob Duf
f
[Ada] Remove
non
-
ASCII character
commit
|
commitdiff
|
tree
2020-10-16
Ed Schonberg
[Ada] A
t
t
r
ibute Img on
derived types
commit
|
commitdiff
|
tree
2020-10-16
E
d
S
chonbe
r
g
[Ada] Attri
b
ute Img on der
i
ved types
commit
|
commitdiff
|
tree
next