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 on build-in-place call with address specification for target
2018-01-11
Ed Sc
h
onberg
[Ad
a
] Crash on bu
i
ld-in
-
place c
a
ll with
ad
d
ress specificati
o
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piotr
T
rojan
e
k
[A
d
a]
Allow uses of range u
t
ility
r
ou
t
i
nes
on private
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hri
s
tian Kirtchev
[Ada] Pr
o
hi
b
i
t
concu
r
rent types in Ghost re
g
ions
commit
|
commitdiff
|
tree
2018-01-11
H
r
is
t
i
a
n
K
irtchev
[Ada] Detection of illeg
a
l
constituent assignments
commit
|
commitdiff
|
tree
2018-01-11
A
r
naud Charlet
[Ad
a
] Bump copyrig
h
t notices to 2018
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[Ada
]
Min
o
r reformatting
commit
|
commitdiff
|
tree
2018-01-11
Justin
Squirek
[Ada] N
o
er
r
or on missing enclosing
p
are
n
t
h
e
s
es in
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hri
s
tian Kirt
c
hev
[Ada] Mi
s
sing diagn
o
stic of
c
ateg
o
rization dependency
commit
|
commitdiff
|
tree
2018-01-11
Hri
s
ti
a
n K
i
rtchev
[Ada] Inco
r
rect diagnostic on
i
l
legal
w
ith clause
commit
|
commitdiff
|
tree
2018-01-11
E
d
Schonberg
[Ada] Spu
r
ious er
r
or
on ref
e
rene t
o
subcoponrnt in
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[Ada] Secondary s
t
ack
le
a
ks during
object
initialization
commit
|
commitdiff
|
tree
2018-01-11
Jerome Lam
b
ou
r
g
[Ada] QNX:
various runtime f
i
xes
f
or file I/O,
t
imers
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Bob
Duff
[
Ada]
N
ul
l
p
r
oc
e
dure
s
not allowed in protected
d
e
finitions
commit
|
commitdiff
|
tree
2018-01-11
Bob
D
uf
f
[Ada] Mi
n
o
r reformatti
n
g
commit
|
commitdiff
|
tree
2018-01-11
Bob D
u
ff
[A
d
a]
I
mprove documentation of xml2gnat
commit
|
commitdiff
|
tree
2018-01-11
Bob Duff
[Ada] gnatbind
-f switch gives an
e
r
ror for d
u
plicates
commit
|
commitdiff
|
tree
2018-01-11
Ed S
c
honberg
[Ada
]
Crash on e
x
pression function as
completion, with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ben Brosgol
[Ada] Add Sphinx option
-W to
tre
a
t w
a
r
n
in
g
s as error
s
commit
|
commitdiff
|
tree
2018-01-11
Ben B
r
osgol
[Ada]
Minor type/wording
c
orrections
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Warn
i
ng on
use of pred
e
fine
d
op
e
rations on an
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Javier Miranda
exp_util
.
a
d
b (Remove_Side_E
f
fects): No act
i
on
d
one
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[Ada
]
Annotate stan
d
ard File
_
T
y
pe with D
e
fault_Initi
a
l_Condi
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Pascal O
b
ry
[A
d
a
]
New impl
e
mentation for Normalize_P
a
t
hn
a
me
commit
|
commitdiff
|
tree
2018-01-11
Bob
D
uff
[Ada] Upd
a
te
g
natpp doc
u
mentati
o
n
a
fter eng
i
ne change
commit
|
commitdiff
|
tree
2018-01-11
H
r
istian Kirtchev
[Ada] Secondary st
a
ck
l
eak due to
c
ontrolled
c
o
mponen
t
commit
|
commitdiff
|
tree
2018-01-11
Yannick
Moy
[Ada] Upd
a
te d
e
scription of r
e
str
i
ction SPARK_05 with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
V
a
s
i
liy
F
ofanov
[Ada] Mi
n
or layou
t
f
i
x i
n
document
a
tion sour
c
es
commit
|
commitdiff
|
tree
2018-01-11
Hristian Ki
r
t
chev
[Ada] Minor
refor
m
atti
n
g
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonber
g
[Ada] Ha
n
dl
i
ng of pragm
a
Pr
e
dica
t
e
commit
|
commitdiff
|
tree
2018-01-11
Do
u
g Rupp
[Ada] Enable sigtramp for aarch64-v
x
7
commit
|
commitdiff
|
tree
2018-01-11
Hristian K
i
rtchev
[
Ada] Differe
n
t
r
untime b
e
havi
o
r of Predicate_Failure
commit
|
commitdiff
|
tree
2018-01-11
Pa
t
rick Bernardi
[Ada] Integer overfl
o
w in SS_Alloc
a
te
commit
|
commitdiff
|
tree
2018-01-11
Ed
S
c
honberg
[Ad
a
] Illeg
a
l protec
t
ed ca
l
ls in inherited pre/p
o
st
c
onditi
o
ns
commit
|
commitdiff
|
tree
2018-01-11
Hris
t
i
a
n
Kir
t
chev
[Ad
a
]
Encod
i
n
g of with clauses
i
n ALI f
i
les
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtche
v
[Ada] Finding proper sc
o
p
e
w
hen inside entry body
commit
|
commitdiff
|
tree
2018-01-11
P
atri
c
k
Berna
r
di
[Ada] Aspec
t
/pragma Second
a
ry_Stack_
S
ize can
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Justin Sq
u
irek
[Ada] Minor reforma
t
ting
commit
|
commitdiff
|
tree
2018-01-11
Hrist
i
an Kirtchev
[Ada] Missing final
i
za
t
ion in case ex
p
re
s
s
i
o
n
commit
|
commitdiff
|
tree
2018-01-11
Ed
Schonberg
[Ada] Crash on iterate
d
_
c
omponent_ass
o
ciation
i
n expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Justin Squirek
[
A
d
a] Wr
o
ng column in s
l
oc of "
e
xpect name" error fo
r
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[Ada] Inconsistent scope chain d
u
e t
o
quanti
f
ied
e
x
p
ression
commit
|
commitdiff
|
tree
2018-01-11
Piotr Tr
o
janek
[Ada] Fix minor c
o
m
m
e
n
t issues
commit
|
commitdiff
|
tree
2018-01-11
Arnaud Char
l
e
t
einfo
.
a
ds, einfo
.
a
d
b
(
A
ctivation_Record_Comp
o
nent,
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierr
e
-
M
arie de
.
.
.
exp_
a
ggr
.
adb (
A
ggr_Assignme
n
t_OK_
F
or_Ba
c
ken
d
)
:
Use
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
P
i
e
rr
e
-Marie de
.
.
.
[
mult
i
ple c
h
a
nges]
commit
|
commitdiff
|
tree
2017-12-15
Pier
r
e-Marie de
.
.
.
einfo
.
ads: Comm
e
nt fix
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie d
e
.
.
.
[
mu
l
tip
l
e
ch
a
nges]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Mari
e
d
e
.
.
.
gnat_and_progra
m
_execution
.
rst
:
Update section "Dynamic
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pi
e
rre-
M
arie de
.
.
.
gcc/ada
/
C
h
angeLo
g
:
a
dd entries mi
s
sing from
previous
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Mari
e
de
.
.
.
exp_unst
.
adb (U
n
n
e
st_S
u
bprograms): Nothing to do i
f
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pi
e
rre-Marie de
.
.
.
[mul
t
iple chang
e
s
]
commit
|
commitdiff
|
tree
2017-12-15
Bo
b
Duf
f
types
.
ads, [
.
.
.
]: Partly
r
e
vert r
2
55414, committed
.
.
.
commit
|
commitdiff
|
tree
2017-12-05
Pierre
-
Mar
i
e de
.
.
.
sem
_
u
til
.
adb (Con
t
ains_Refined_State):
Remove
.
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Mari
e
de
.
.
.
[multi
p
le
changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-
M
arie de
.
.
.
[mult
i
pl
e
cha
n
ges]
commit
|
commitdiff
|
tree
2017-12-05
P
i
er
r
e-Marie de
.
.
.
[mu
l
t
i
ple
c
hanges]
commit
|
commitdiff
|
tree
2017-12-05
P
i
erre
-
Marie d
e
.
.
.
[mult
i
ple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pi
e
rre-Marie d
e
.
.
.
[mul
t
iple
changes]
commit
|
commitdiff
|
tree
2017-11-16
Dou
g
Ru
p
p
Ma
k
efile
.
in:
Merge Aarc
h
64 an
d
ARM
"
ifeq" blocks
.
commit
|
commitdiff
|
tree
2017-11-16
Pierr
e
-Marie de
.
.
.
[
m
ultipl
e
cha
n
ges]
commit
|
commitdiff
|
tree
2017-11-16
Pie
r
re-Marie de
.
.
.
[multi
p
le changes]
commit
|
commitdiff
|
tree
2017-11-16
Pie
r
re-Marie de
.
.
.
[multip
l
e ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-16
Hristian Kir
t
chev
o
p
t
.
a
ds: Elab
o
ration wa
r
n
i
ngs ar
e
now
o
n
b
y
d
efaul
t
.
commit
|
commitdiff
|
tree
2017-11-16
Pi
e
rr
e
-Marie
d
e
.
.
.
[multipl
e
ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-16
Pi
e
rre-M
a
rie de
.
.
.
[mul
t
iple chan
g
es]
commit
|
commitdiff
|
tree
2017-11-16
P
i
erre-
M
arie de
.
.
.
[
multiple
changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Mari
e
de
.
.
.
[multipl
e
change
s
]
commit
|
commitdiff
|
tree
2017-11-16
Pier
r
e-Marie
de
.
.
.
[
m
u
l
ti
p
le change
s
]
commit
|
commitdiff
|
tree
2017-11-16
B
ob Duf
f
se
m
_
c
h6
.
adb (Create_Extra_Form
a
ls): The type of the
.
.
.
commit
|
commitdiff
|
tree
2017-11-09
Gary Di
s
muke
s
e
x
p_util
.
a
d
b, freeze
.
adb: Minor reformatting
.
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Mar
i
e d
e
.
.
.
[
m
ultip
l
e changes]
commit
|
commitdiff
|
tree
2017-11-09
Pi
e
rre
-
Mar
i
e
d
e
.
.
.
[multiple change
s
]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de
.
.
.
[mult
i
ple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre
-
Mari
e
d
e
.
.
.
[multiple
c
hanges]
commit
|
commitdiff
|
tree
2017-11-09
Yannick Moy
exp_disp
.
adb (Make_
D
T):
D
efault initiali
z
e I
f
ace
s
_Li
s
t
.
.
.
commit
|
commitdiff
|
tree
2017-11-09
Pierr
e
-Mari
e
de
.
.
.
[m
u
ltiple cha
n
ges]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie
de
.
.
.
[m
u
ltip
l
e changes]
commit
|
commitdiff
|
tree
2017-11-09
Pi
e
rre-Marie de
.
.
.
exp_
c
h3
.
adb, [
.
.
.
]: Minor reform
a
tting
.
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de
.
.
.
[multiple ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-09
Pierre
-
Marie de
.
.
.
[
m
ultip
l
e ch
a
nges]
commit
|
commitdiff
|
tree
2017-11-09
Pierre
-
Marie
d
e
.
.
.
gnat
1
d
rv
.
a
d
b (Adju
s
t_G
l
obal_Switches): Suppress warnings
.
.
.
commit
|
commitdiff
|
tree
2017-11-09
Pierre-M
a
rie de
.
.
.
[m
u
ltiple cha
n
ges]
commit
|
commitdiff
|
tree
2017-11-09
Pi
e
rr
e
-
Marie d
e
.
.
.
[
m
ultiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pie
r
re-Marie de
.
.
.
[multiple
changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de
.
.
.
[mul
t
iple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de
.
.
.
[
m
ultiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Ma
r
ie de
.
.
.
li
b
-xre
f
-spark_sp
e
c
ific
.
a
d
b
(Add_SPARK_Xrefs): Remove
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pi
e
rre-Mari
e
de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spark_xrefs
.
a
ds (SP
A
RK_Sco
p
e
_Record):
Rename Scope_Id
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pio
t
r Trojanek
spark_xref
s
.
ads (SPARK
_
File
_
Record
)
: R
e
move strin
g
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Piotr Tr
o
jan
e
k
lib-xref
.
ads, [
.
.
.
] (Traverse_Declarations): R
e
move
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pi
e
rre-Ma
r
ie de
.
.
.
[mu
l
t
i
ple changes]
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spa
r
k
_
xref
s
.
ads (SPARK_Xref_Re
c
or
d
)
:
Remove ines
s
entia
l
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
P
i
otr Troja
n
ek
lib-xref-spark_specif
i
c
.
adb
(
Add_S
P
ARK_Xrefs): Remove
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pierre
-
M
a
rie de
.
.
.
sem_disp
.
ad
b
(Is_In
h
er
i
ted
_
P
u
blic_Operation): Extend
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Hrist
i
an Kirt
c
hev
exp_ch
3
.
a
db
(Exp
a
nd_N_Object_Declar
a
t
i
on): Save and
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Arn
a
ud Charlet
sem_u
t
il
.
adb (S
u
bprogram_N
a
me): Append suff
i
x for overloade
d
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie
d
e
.
.
.
[multiple
c
h
a
nges]
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de
.
.
.
s-osinte__linu
x
.
ads (Relative_T
i
med_
W
ait):
A
dd variable
.
.
.
commit
|
commitdiff
|
tree
2017-10-20
Pierre
-
Marie
de
.
.
.
[multiple ch
a
nges]
commit
|
commitdiff
|
tree
next