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] Extend legality of Scalar_Storage_Order to formal types
2018-05-21
Ed Schon
b
erg
[Ad
a
] Exte
n
d legal
i
ty of Scala
r
_Stor
a
ge_Order to formal
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Hristian
K
ir
t
chev
[A
d
a] P
r
ematur
e
s
e
condary
s
tack reclamation
commit
|
commitdiff
|
tree
2018-05-21
Pi
o
tr Trojan
e
k
[Ada]
Fix
inconste
n
t subprogram body headers
commit
|
commitdiff
|
tree
2018-02-09
Pierre-
M
arie de
.
.
.
D
W
ARF: no location for non-definition DE
C
Ls w
i
th non
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ga
r
y Dismukes
[A
d
a] Wa
r
ning on out-o
f
-range value
for default-initia
l
ized
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ed
Scho
n
ber
g
[A
d
a] Crash on build-i
n
-place call with address spec
i
f
i
ca
t
io
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojan
e
k
[Ada
]
A
l
low uses
of range
u
tility routines
on pr
i
va
t
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
H
r
isti
a
n K
i
rtchev
[Ada] Prohibit concu
r
rent type
s
in Ghost r
e
gions
commit
|
commitdiff
|
tree
2018-01-11
Hristian K
i
rtchev
[Ada] Detection of illegal
c
onstituent a
s
signments
commit
|
commitdiff
|
tree
2018-01-11
Arnaud Charlet
[A
d
a
]
Bu
m
p
c
opyright notices to 2018
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[Ada] Minor reform
a
ttin
g
commit
|
commitdiff
|
tree
2018-01-11
Justin S
q
uir
e
k
[
A
da]
N
o error
on missing encl
o
si
n
g
p
aren
t
hese
s
in
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
H
ri
s
t
i
an K
i
rtc
h
ev
[
Ada
]
M
issing di
a
g
nostic
o
f catego
r
izati
o
n dependency
commit
|
commitdiff
|
tree
2018-01-11
H
r
istian Kirtc
h
ev
[Ada] Incorrect diag
n
ostic on illegal w
i
th c
l
ause
commit
|
commitdiff
|
tree
2018-01-11
Ed
Schonb
e
r
g
[
A
d
a
] Spurious error on referene to subcoponrnt in
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kir
t
c
hev
[Ad
a
] Secondary stac
k
leaks
d
uring object in
i
t
i
alizati
o
n
commit
|
commitdiff
|
tree
2018-01-11
Jerome L
a
mbourg
[Ada] QNX: various
r
untime fixes for file I/O, t
i
mers
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Bo
b
Duff
[A
d
a] Null pr
o
c
e
dures not allo
w
ed in p
r
o
tected definitions
commit
|
commitdiff
|
tree
2018-01-11
B
o
b D
u
ff
[
A
da] Minor
reformatting
commit
|
commitdiff
|
tree
2018-01-11
B
o
b
Du
f
f
[Ada] Im
p
rove documen
t
ation of x
m
l
2gnat
commit
|
commitdiff
|
tree
2018-01-11
Bob Du
f
f
[Ad
a
] gnatbind -f switch
gives an e
r
ror for duplica
t
es
commit
|
commitdiff
|
tree
2018-01-11
E
d
Schon
b
erg
[Ada] Cr
a
sh on expression funct
i
on
as
c
ompletion, with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ben B
r
o
sgo
l
[
A
da]
Add Sphinx op
t
ion -W to treat warnings as errors
commit
|
commitdiff
|
tree
2018-01-11
Ben Brosgol
[Ada] Minor type/wording correctio
n
s
commit
|
commitdiff
|
tree
2018-01-11
E
d
Schonber
g
[Ada
]
Warning on use of pred
e
fi
n
ed
operation
s
on an
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Javier Miranda
exp_util
.
adb (Remove_Side_Ef
f
ects): No action done
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[Ada] An
n
otate standa
r
d
File_Typ
e
w
i
th D
e
fault_Ini
t
ial
_
Condi
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Pascal Ob
r
y
[Ada] New implementat
i
on for Normaliz
e
_Pathnam
e
commit
|
commitdiff
|
tree
2018-01-11
B
ob Du
f
f
[Ada] Update gna
t
pp docu
m
enta
t
ion
a
f
t
er engine
c
han
g
e
commit
|
commitdiff
|
tree
2018-01-11
Hri
s
tian K
i
rtche
v
[Ada] S
e
cond
a
ry s
t
a
ck leak due to control
l
ed
c
omponent
commit
|
commitdiff
|
tree
2018-01-11
Yannick Moy
[
Ada] U
p
dat
e
description of restriction SPARK_05
with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Va
s
iliy Fofa
n
ov
[Ada] Min
o
r layou
t
fix in documentation sources
commit
|
commitdiff
|
tree
2018-01-11
Hristia
n
Kirtchev
[A
d
a] Minor ref
o
rmatting
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Handli
n
g of
p
r
agma
P
redicate
commit
|
commitdiff
|
tree
2018-01-11
Doug R
u
p
p
[
Ada] Ena
b
l
e sigtramp for aarch64-vx7
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kir
t
chev
[Ada] Different r
u
ntime behavior of
Pr
e
di
c
a
t
e_Failure
commit
|
commitdiff
|
tree
2018-01-11
Pa
t
rick Bern
a
rdi
[Ada] Integer overflow in
S
S
_
A
llocat
e
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonbe
r
g
[Ada] Illegal protected
c
alls in inherited p
r
e/postconditions
commit
|
commitdiff
|
tree
2018-01-11
Hris
t
i
a
n Kirtche
v
[Ada] Encodi
n
g of with claus
e
s
i
n ALI
fil
e
s
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[Ad
a
] Finding proper scop
e
when i
n
side entry bod
y
commit
|
commitdiff
|
tree
2018-01-11
P
a
t
r
i
ck
B
ernardi
[Ada
]
Aspect
/
p
r
a
gma Secondary_Stack_Size can evaluate
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Justin Squirek
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-01-11
Hristian
K
irtchev
[Ada]
M
issing finalization in case
expression
commit
|
commitdiff
|
tree
2018-01-11
Ed Sc
h
onberg
[A
d
a] C
r
ash on iterat
e
d_
c
o
m
ponent_association in e
x
p
ression
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
J
ustin S
q
uirek
[Ada] W
r
ong column
in sloc of "expect n
a
me" err
o
r fo
r
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristia
n
Kirtc
h
ev
[Ada] Incon
s
istent sc
o
p
e c
h
ain due
t
o
quantified exp
r
ession
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[
Ada] Fix mi
n
or commen
t
i
s
su
e
s
commit
|
commitdiff
|
tree
2018-01-11
Arnau
d
Cha
r
let
einfo
.
ads
,
einfo
.
adb (Activati
o
n_Record_Component
,
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pi
e
rr
e
-
Marie de
.
.
.
exp_ag
g
r
.
adb (Aggr_Assignme
n
t_OK_For_Back
e
nd): Us
e
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-
M
a
rie
de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie
d
e
.
.
.
ei
n
fo
.
ads: Commen
t
fix
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie
d
e
.
.
.
[multiple c
h
anges]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie
d
e
.
.
.
gnat_and_
p
rogra
m
_ex
e
cut
i
on
.
r
st: Update se
c
tion "Dynamic
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierr
e
-Marie de
.
.
.
gcc/ada/ChangeLog: add entries
m
i
ss
i
ng from previous
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
P
i
erre-Marie de
.
.
.
exp
_
u
nst
.
adb (
U
nnest_Subprogra
m
s): No
t
hin
g
to do
i
f
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pi
e
r
r
e-Mari
e
de
.
.
.
[
m
ult
i
ple changes]
commit
|
commitdiff
|
tree
2017-12-15
B
o
b Duff
ty
p
e
s
.
a
d
s, [
.
.
.
]:
P
artly revert r255414, committed
.
.
.
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Ma
r
ie
de
.
.
.
s
e
m
_util
.
adb (Con
t
ains
_
Refined_
S
tate): R
e
m
o
ve
.
commit
|
commitdiff
|
tree
2017-12-05
Pierr
e
-M
a
rie de
.
.
.
[
m
u
l
t
ipl
e
changes]
commit
|
commitdiff
|
tree
2017-12-05
Pi
e
rre-Marie de
.
.
.
[
multiple
chang
e
s]
commit
|
commitdiff
|
tree
2017-12-05
Pierr
e
-
M
a
rie de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
P
i
e
rre
-
Marie de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de
.
.
.
[multi
p
le changes]
commit
|
commitdiff
|
tree
2017-11-16
D
oug Rupp
Make
f
ile
.
in: Merge Aarch64 and A
R
M "ifeq" blocks
.
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de
.
.
.
[mu
l
tip
l
e ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de
.
.
.
[
m
ulti
p
le changes
]
commit
|
commitdiff
|
tree
2017-11-16
Pier
r
e-Marie
de
.
.
.
[multiple changes
]
commit
|
commitdiff
|
tree
2017-11-16
Hristia
n
K
irtchev
o
p
t
.
a
d
s:
Elabora
t
ion warnings are now
on b
y
default
.
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de
.
.
.
[
m
ultipl
e
chang
e
s]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-
M
arie de
.
.
.
[multi
p
le ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-16
Pi
e
rre-Marie d
e
.
.
.
[m
u
lt
i
ple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pier
r
e-Mar
i
e de
.
.
.
[mul
t
i
p
le changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de
.
.
.
[mul
t
i
p
le
c
h
a
nges]
commit
|
commitdiff
|
tree
2017-11-16
Bob D
u
ff
sem_ch6
.
adb
(Create_Extra_Formals
)
: The type
o
f t
h
e
.
.
.
commit
|
commitdiff
|
tree
2017-11-09
Ga
r
y Dismukes
exp_ut
i
l
.
adb,
f
reez
e
.
adb: Min
o
r ref
o
rmatting
.
commit
|
commitdiff
|
tree
2017-11-09
Pierre-
M
arie de
.
.
.
[multiple c
h
anges]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de
.
.
.
[
m
ultiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie
de
.
.
.
[multipl
e
changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de
.
.
.
[multiple cha
n
ges]
commit
|
commitdiff
|
tree
2017-11-09
Yannick Moy
exp_di
s
p
.
adb (Make_DT
)
: Default
initialize Ifaces_List
.
.
.
commit
|
commitdiff
|
tree
2017-11-09
Pierr
e
-Mari
e
de
.
.
.
[multiple
chang
e
s]
commit
|
commitdiff
|
tree
2017-11-09
Pier
r
e-Marie de
.
.
.
[
mult
i
ple changes]
commit
|
commitdiff
|
tree
2017-11-09
P
i
erre-Ma
r
i
e de
.
.
.
e
x
p_ch3
.
adb
,
[
.
.
.
]:
Minor refo
r
matting
.
commit
|
commitdiff
|
tree
2017-11-09
P
i
erre-
M
arie de
.
.
.
[mu
l
tipl
e
changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Mari
e
de
.
.
.
[multi
p
l
e changes]
commit
|
commitdiff
|
tree
2017-11-09
Pier
r
e
-Ma
r
i
e
d
e
.
.
.
g
n
at1drv
.
adb (A
d
jus
t
_Global_Switches
)
: Suppress w
a
rning
s
.
.
.
2017-11-09
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2017-11-09
Pier
r
e-Marie de
.
.
.
[multiple
changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre
-
Mari
e
d
e
.
.
.
[multiple chang
e
s]
commit
|
commitdiff
|
tree
2017-11-08
Pie
r
re-Marie d
e
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
P
i
e
rre-Ma
r
i
e
de
.
.
.
[multiple chang
e
s]
commit
|
commitdiff
|
tree
2017-11-08
Pierr
e
-Marie de
.
.
.
[
m
ultiple
c
hanges
]
commit
|
commitdiff
|
tree
2017-11-08
Pi
e
rre-Marie de
.
.
.
lib
-
xref-spark_specific
.
adb (Add_
S
PARK_Xrefs): Re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pierre-M
a
rie de
.
.
.
[multiple change
s
]
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojane
k
sp
a
rk_xrefs
.
ads (
S
PAR
K
_Scope
_
Record): R
e
na
m
e Scope_Id
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pio
t
r Trojanek
spark_xr
e
fs
.
ads
(SPARK_File_Record): Rem
o
ve string
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
lib-xref
.
ads, [
.
.
.
] (Traver
s
e_Declarati
o
ns): Remove
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
P
ierr
e
-Marie de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spa
r
k_
x
re
f
s
.
a
ds (SPARK_Xref_
R
e
cor
d
): Remove
i
nessential
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Piot
r
Trojanek
l
i
b-xref-spark_spe
c
i
fic
.
ad
b
(Add
_
S
PA
R
K_
X
ref
s
): R
e
move
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
P
i
erre-
M
arie de
.
.
.
sem_di
s
p
.
ad
b
(Is_Inherited_
P
ublic_Operat
i
on):
E
xt
e
nd
.
.
.
commit
|
commitdiff
|
tree
next