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] Add support for .c output file
2020-11-26
Arnaud Charl
e
t
[
Ad
a
]
Add support for
.
c output file
commit
|
commitdiff
|
tree
2020-11-26
Piotr Trojanek
[Ada]
Reuse Is_
G
eneric_Subprogram
whe
r
e po
s
s
i
ble
commit
|
commitdiff
|
tree
2020-11-26
Ga
r
y Dismukes
[Ada
]
Minor reformat
t
ing and a typo
f
i
x
commit
|
commitdiff
|
tree
2020-11-26
Piotr Trojanek
[
Ada] Replace warn
i
ng suppress
i
on
w
ith as
s
ert
i
o
n
commit
|
commitdiff
|
tree
2020-11-26
Ed Schonberg
[A
d
a] Impr
o
ve
e
r
ror me
s
sage on i
l
l
egal pref
i
xed proced
u
re
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Ed Sch
o
nberg
[Ada] Crash on
t
ask declaration
w
ith Restriction_Warning
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piot
r
T
rojanek
[A
d
a] Sync w
i
de
Ada
.
String
h
a
s
hi
n
g units
commit
|
commitdiff
|
tree
2020-11-26
Piotr Trojanek
[
A
da] Avoid potentia
l
ly r
e
p
eated calls to
P
refix in
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piotr Trojanek
[Ada] W
a
rn on s
l
ices o
f
t
h
e form
A (subty
p
e) for a
l
l
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piot
r
T
r
ojanek
[A
d
a
]
Remove
duplicated calls to
S
et_Entity
commit
|
commitdiff
|
tree
2020-11-26
Bob D
u
ff
[Ad
a
]
M
emor
y
leak in c
o
ncatenatio
n
with Initialize_Scalars
commit
|
commitdiff
|
tree
2020-11-26
Piotr Tr
o
janek
[Ada] Reu
s
e
Is_Con
c
urren
t
_Type when detecting protecte
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Charlet
[Ad
a
] Constr
a
int_Error in Task
_
Wrapp
e
r a
n
d
-u0
commit
|
commitdiff
|
tree
2020-11-26
Bob Duff
[
A
d
a] P
a
ss base ty
p
e to Set_Has_O
w
n_
I
nvariant
s
commit
|
commitdiff
|
tree
2020-11-26
Er
i
c
B
o
tcazou
[Ad
a
]
A
d
just documentation o
f
Aft_Valu
e
a
n
d Scal
e
_V
a
l
ue
commit
|
commitdiff
|
tree
2020-11-26
Ju
s
tin
S
qu
i
rek
[
Ada]
I
ncorrec
t
runtime
a
c
c
e
ssibility
check on
access
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piotr Tr
o
jane
k
[Ada] Rem
o
v
e
extra
w
hitespace i
n
bounded container
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piotr
T
rojanek
[
Ada] Reuse Is_Acce
s
s_Object_Type w
h
ere possible
commit
|
commitdiff
|
tree
2020-11-26
Piot
r
Trojanek
[Ada] Simpli
f
y checks
for library unit pragmas
commit
|
commitdiff
|
tree
2020-11-26
J
o
f
frey Hugue
t
[Ada] Add cont
r
acts to Ada
.
S
t
r
ings
.
Maps
commit
|
commitdiff
|
tree
2020-11-26
Yannic
k
Moy
[Ada] New warning
o
n
questionab
l
e
m
issin
g
p
a
r
e
ntheses
commit
|
commitdiff
|
tree
2020-11-26
Yannick Moy
[Ada] Issue advic
e
for e
r
ro
r
reg
a
rding Old/
L
oop_Entry
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
G
ary
D
ismukes
[Ada] Correc
t
a
ty
p
o, plus other minor
ref
o
r
m
atting
commit
|
commitdiff
|
tree
2020-11-26
Ed
Schonberg
[Ada] Sp
u
rious erro
r
on forma
l
pack
a
ge
w
ith over
l
oade
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Justin S
q
uirek
[
A
d
a] Compi
l
er
c
ra
s
h on named
a
ssociation in return
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Piotr
T
rojanek
[Ada]
F
ix casing
o
f "
c
ircu
l
ar instanti
a
tion" er
r
or
commit
|
commitdiff
|
tree
2020-11-25
Ed Sch
o
nberg
[Ada] Further
optimizati
o
n w
i
th uninitialized aggregates
commit
|
commitdiff
|
tree
2020-11-25
Ed Schonberg
[Ada]
S
purious error on
in
s
tance with predi
c
a
ted actu
a
l
commit
|
commitdiff
|
tree
2020-11-25
E
r
ic Botcazou
[Ada]
F
ix couple of minor issues with
l
ocal
exception
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
P
i
otr Tr
o
janek
[Ada
]
R
e
move shadowing by a neste
d
subprogram parameter
commit
|
commitdiff
|
tree
2020-11-25
Piotr
T
rojanek
[Ada] M
e
rge dup
l
icated process
i
ng for gnatmake -u and
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piotr T
r
o
janek
[
Ada]
D
ocument at
t
r
ibute Has_Tagged_Value
s
in GNAT RM
commit
|
commitdiff
|
tree
2020-11-25
P
i
o
t
r Trojanek
[Ada
]
Minor w
h
ite
s
pace fix in
exp
a
n
sio
n
of attrib
u
te
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piot
r
Trojanek
[
A
da] Use
h
ardcod
e
d names w
h
en co
n
v
erting
a
spects
t
o
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piotr Trojanek
[Ada]
Re
u
se Is_N
a
med_Number where possible
commit
|
commitdiff
|
tree
2020-11-25
Piotr Trojan
e
k
[A
d
a] Si
m
pl
i
fy a
s
p
e
ct processing with membersh
i
p test
s
commit
|
commitdiff
|
tree
2020-11-25
Pio
t
r T
r
ojanek
[Ad
a
]
F
ix copy-p
a
ste mista
k
e in
dia
g
nostics for a
s
p
e
ct
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Pi
o
tr
T
r
ojanek
[
Ada] Sim
p
l
ify Ekind
t
e
sts with
wrappe
r
s and
m
embership
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piotr
Trojanek
[Ada] Simpli
f
y Is_Stand
a
r
d
_x
x
x_
T
ype r
o
u
t
ines with member
s
hip
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piotr
T
rojan
e
k
[Ada
]
C
o
nsisten
t
ly use explicit Entity_Id type instea
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Stev
e
Baird
[
Ad
a
]
Don't constant-fold rena
m
ed
q
u
a
l
ified expres
s
ion
s
commit
|
commitdiff
|
tree
2020-11-25
Piotr
T
roj
a
n
e
k
[Ada] R
e
move dea
d
and duplicate
d
dia
g
nostics for
g
eneric
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Gary
D
ismukes
[
A
d
a] Remov
e
hy
p
hens in two c
a
ses
o
f
"
side-ef
f
ect"
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Justin Squirek
[Ada] C
r
ash on r
i
gh
t
shift o
p
erato
r
for signed integers
commit
|
commitdiff
|
tree
2020-11-25
Olivier
H
ainque
[Ada] Reinstate utime based code for vx6 in __gnat_copy_att
r
ibs
commit
|
commitdiff
|
tree
2020-11-25
Yannick Moy
[Ada] Mi
n
imize side-effect removal in GNATp
r
o
v
e mod
e
commit
|
commitdiff
|
tree
2020-11-25
Eric Bo
t
cazou
[Ada]
A
djust su
p
port
fo
r
128-bit integer t
y
pes i
n
Sys
t
em
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Ya
n
n
ick Mo
y
[Ad
a
] Fix i
n
ternal compilation error
o
n circular type
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Eric
Botcazou
[Ada] Add s
u
ppor
t
for 128-bit in
t
eg
e
r type
s
to
G
NAT
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Arnaud Charl
e
t
[
A
da] Allow debugg
i
ng
fina
l
iz
a
tio
n
-
r
elated expan
d
ed
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Liaiss Merz
o
ugue
[Ada]
Unre
c
ursify S
e
t_
D
igit/Set_Image_Unsigne
d
procedure
commit
|
commitdiff
|
tree
2020-11-25
P
iotr
T
roja
n
ek
[Ada] Remove repeated
c
a
lls to Attribute_Name
commit
|
commitdiff
|
tree
2020-11-25
Ghjuvan Lacambr
e
[Ada] Fix cras
h
o
n
i
n
valid
`pra
g
ma Profile`
commit
|
commitdiff
|
tree
2020-11-25
Pio
t
r Trojanek
[
A
da]
Reuse Is_Nam
e
d_Number
w
here pos
s
ible
commit
|
commitdiff
|
tree
2020-11-25
Pio
t
r Tro
j
anek
[Ada] Fix
style and typ
o
s in code
f
or
e
xpanding attr
i
bute
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Piotr Tro
j
anek
[Ad
a
] Minor refine type of a coun
t
er variable
commit
|
commitdiff
|
tree
2020-11-24
P
i
o
t
r Tr
o
jan
e
k
[Ada] Fix inco
n
s
i
s
tent parameter of SPARK_Msg
_
NE
commit
|
commitdiff
|
tree
2020-11-24
Arn
a
ud Charl
e
t
[Ada] Ca
n
no
t
pr
o
ces
s
-
S -o with GNAT LLVM
commit
|
commitdiff
|
tree
2020-11-24
Piotr Trojanek
[Ada] Reu
s
e
Is_Packed_Array w
h
ere poss
i
ble
commit
|
commitdiff
|
tree
2020-11-24
Piot
r
Trojanek
[Ada] Fi
x
mi
n
or
typos in comments
commit
|
commitdiff
|
tree
2020-11-24
Justin Sq
u
irek
[
Ada]
Compi
l
er crash
o
n
asser
t
ion pragma
in g
h
o
s
t
r
egion
commit
|
commitdiff
|
tree
2020-11-24
Piot
r
Trojanek
[Ada] Reu
s
e
I
n
_
Same_List
where possi
b
le
commit
|
commitdiff
|
tree
2020-11-24
Piotr Tro
j
anek
[Ada
]
Simplify
I
s
_Loop_Pragma
commit
|
commitdiff
|
tree
2020-11-24
Piotr
T
r
ojanek
[Ada] Replace c
h
a
ined
if-then
-
elsi
f
with case stmt
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
P
iotr Trojanek
[
A
da] C
l
eanup expansion of attr
i
bute Constrained
commit
|
commitdiff
|
tree
2020-11-24
Pi
o
tr Tro
j
a
nek
[Ad
a
] Reco
g
nize delta and
e
x
t
ension aggre
g
ate
s
as objects
commit
|
commitdiff
|
tree
2020-11-24
Ghjuva
n
Lacambre
[Ada
]
Implement No_Un
r
ecognized_{Aspects,Pr
a
g
m
as} restr
i
ctions
commit
|
commitdiff
|
tree
2020-11-24
Piot
r
Tro
j
anek
[Ada]
Accept lo
c
al object
s
in
t
he
pre
f
ix of attrib
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Yannick Moy
[Ada]
F
ix cra
s
h
i
n GNATprove on inlined subp
r
ogr
a
m
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arn
a
u
d
Charlet
[Ada]
W
r
o
n
g
r
e
sol
u
tion of universal_access = operators
commit
|
commitdiff
|
tree
2020-11-24
A
rnaud Charlet
[
Ada] Prematu
r
e final
i
zation on build in place r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Eric
B
otcazou
[Ada] Small
c
leanu
p
in the
Ad
a
.
Tex
t
_
I
O hierarchy
commit
|
commitdiff
|
tree
2020-11-24
Arna
u
d
Charlet
[
A
da] AI12-0394 N
a
med Numbers and
U
s
e
r-Defin
e
d
N
umeric
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Eric Botcazou
[
Ada] F
i
x
int
e
rnal error on multiple
nested instantiations
commit
|
commitdiff
|
tree
2020-11-24
S
teve Baird
[Ada]
Fix S
t
ring_
L
itera
l
aspect spec checking problem
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Ya
n
nick
M
oy
[Ada
]
H
a
ndle
cor
r
ectly c
u
rrent instance of
PO in l
o
cal
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Ghjuvan Lacambre
[
A
da] Documen
t
ation
:
update -gnatyk
d
e
scription
commit
|
commitdiff
|
tree
2020-11-24
Yannick Moy
[Ada] Fix spuri
o
us erro
r
on child
l
ibr
a
ry-level s
u
bprogram
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
A
rnaud Charlet
[
Ada] Wrong
fin
a
lization
in call with if expression
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charlet
[Ada] Implement Big_In
t
eger
.
From
_
St
r
ing fully
commit
|
commitdiff
|
tree
2020-11-24
Piotr Trojanek
[Ad
a
] Fi
x
reso
l
ution of subty
p
e_indication
i
n
delta
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Piotr Trojane
k
[Ada] Use h
i
gh-l
e
vel
P
re
s
en
t
instead of low-lev
e
l
equal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Yannick Moy
[Ada] Rej
e
ct G
l
oba
l
/Depend
s
contracts on null procedures
commit
|
commitdiff
|
tree
2020-11-24
A
rnaud Charlet
[Ada]
Wr
o
ng handling of _ in Bi
g
_Real
s
.
Fro
m
_String
commit
|
commitdiff
|
tree
2020-11-24
Piotr Tr
o
janek
[Ada] Remove
S
PARK-specific
e
x
pansion of
a
rray agg
r
egates
commit
|
commitdiff
|
tree
2020-11-24
Eric Botcazo
u
[Ada]
Documen
t
characteristics of decimal fixed point
.
.
.
commit
|
commitdiff
|
tree
2020-10-27
Doug Rupp
[Ad
a
]
vx7r2cert:
p
o
rt ARM, Power
P
C
a
n
d x86 ta
r
gets
commit
|
commitdiff
|
tree
2020-10-27
Arn
a
ud Charlet
[Ada
]
Warnings on g-
s
pogwa
.
adb
commit
|
commitdiff
|
tree
2020-10-27
Piotr
T
rojanek
[Ada]
Fix GNATpr
o
ve support
f
or iterated_component_associations
commit
|
commitdiff
|
tree
2020-10-27
Ed S
c
h
onberg
[Ada] Multidi
m
ensional arr
a
y
s wi
t
h Iterated_Component_As
s
oci
.
.
.
commit
|
commitdiff
|
tree
2020-10-27
Ghjuv
a
n L
a
cambr
e
[
A
da] CU
D
A
: handle pa
r
am
e
te
r
associ
a
tions in ex
p
a
n
sio
n
.
.
.
commit
|
commitdiff
|
tree
2020-10-27
Eric
B
o
tcaz
o
u
[
A
d
a] Remove D
i
gits_From_Size and
W
idth_
F
ro
m
_S
i
z
e
commit
|
commitdiff
|
tree
2020-10-27
A
rnaud
C
harlet
[
A
da] N
e
w flag Transform_F
u
nction_
A
r
ra
y
commit
|
commitdiff
|
tree
2020-10-27
Dm
i
triy Anisimko
v
[Ada] Im
p
r
o
ve EINTR error handling on "pol
l
"
sy
s
tem
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
Ed S
c
honberg
[
A
da] Hand
l
e
Iterat
e
d
_Component
_
Assoc
i
ation with Others_C
h
oice
commit
|
commitdiff
|
tree
2020-10-26
Eric Botcazou
[Ada] F
u
r
t
he
r
small ed
i
tion to docume
n
t
a
ti
o
n of Ad
a
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
Pat Rogers
[Ada] Replace
GNAT_E
x
t
e
n
d
ed_Rave
n
scar profile name
commit
|
commitdiff
|
tree
2020-10-26
Bob
D
uff
[Ada] Avoid crash on use of Ada 2020 featu
r
e
commit
|
commitdiff
|
tree
2020-10-26
E
ric Botcazou
[Ada] F
u
rther
small edition t
o
d
o
c
ume
n
tat
i
on of Ada
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
Piotr Trojanek
[Ada] Fix fre
e
zing of previous contracts
commit
|
commitdiff
|
tree
next