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] Strengthen checks for instantiation with interface types
2018-05-22
Hri
s
t
ian
Kirtch
e
v
[Ada] Mino
r
ref
o
r
m
attin
g
s
commit
|
commitdiff
|
tree
2018-05-22
J
ustin
S
quirek
[Ada] No erro
r
on mispl
a
ced pragma Pur
e
_
F
unc
t
ion
commit
|
commitdiff
|
tree
2018-05-22
Hristian Kirtchev
[Ad
a
] M
i
ssing
e
rror on illeg
a
l categorization
d
ependency
commit
|
commitdiff
|
tree
2018-05-21
Pierre-Marie de
.
.
.
F
i
x
b
ogous dates in
gcc/ada/ChangeLo
g
commit
|
commitdiff
|
tree
2018-05-21
Ed S
c
honberg
[Ada] Spuri
o
us w
a
rni
n
g on object declarat
i
o
n
with addr
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Daniel Mercier
[Ada] Pr
e
tty-print
attribute name
s
u
s
in
g
mixed case
commit
|
commitdiff
|
tree
2018-05-21
Hri
s
t
i
an
K
irt
c
hev
[Ada]
A
sp
e
cts on stubs
commit
|
commitdiff
|
tree
2018-05-21
Jer
o
me
La
m
bourg
[Ada] Add g-soliop__qnx
.
ads t
o
the runtime build
commit
|
commitdiff
|
tree
2018-05-21
Hr
i
st
i
an Kirtc
h
ev
[
Ada] Spurious error on ear
l
y call reg
i
on of ta
g
ged
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
E
d
Sc
h
on
b
e
rg
[Ada] Err
o
r message on inv
a
lid convers
i
o
n
in
v
olving
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Ed Schonberg
[Ada] E
x
it stat
e
m
e
nt in
l
oops
o
v
e
r it
e
rable objects
commit
|
commitdiff
|
tree
2018-05-21
Ja
v
ier M
i
ran
d
a
[
A
da]
Avoid
c
ompiler
cr
a
s
h
fo
r
body in non Ada 2012
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
D
o
u
g
R
upp
[Ada] Enhance stack unwinding
o
n
V
xWorks fo
r
AArch64
commit
|
commitdiff
|
tree
2018-05-21
Jose Ruiz
[Ada] Minor typo fixes
commit
|
commitdiff
|
tree
2018-05-21
Ed Sc
h
onbe
r
g
[Ada] Spuri
o
us err
o
r on
i
ndexe
d
call
as prefix of a
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Clar
i
fy code for accessin
g
full
v
iew of a type
commit
|
commitdiff
|
tree
2018-05-21
Hris
t
ian Kirtchev
[Ad
a
]
Minor reformatting
commit
|
commitdiff
|
tree
2018-05-21
Yannick M
o
y
[
A
d
a] Use type conversion when
i
nlining m
a
y
t
ri
g
ger
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
H
ristian
K
irtchev
[Ada] Plac
e
me
n
t of pragma
Elaboration_
C
h
ecks
commit
|
commitdiff
|
tree
2018-05-21
Olivier
Hainq
u
e
[Ad
a
]
Robus
t
ify tra
c
eback caching
f
or executable in
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] R
e
m
ove External aspect from predef
i
n
e
d ab
s
tract
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Yan
n
ick Moy
[Ada
]
Spuriou
s
error in inlin
i
ng for G
N
ATprove on prefix
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Hrist
i
an
K
i
r
tchev
[Ada] Sp
u
ri
o
us error
on synchronous refinement
commit
|
commitdiff
|
tree
2018-05-21
Yannick Mo
y
[Ada] Crash on inco
r
rec
t
frontend inlining in GNATprove
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Olivier Hainque
[
A
da] Tighten Ob
j
ect_
R
eader
.
Get_Mem
o
ry_Bounds
commit
|
commitdiff
|
tree
2018-05-21
Olivier Hainque
[Ada
]
Robustify
tracebac
k
s
ymbolization from
d
warf
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Olivier Hainqu
e
[Ada] Ren
a
me L
o
a
d
_
Slide internal
runtime
co
m
ponent
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Olivier H
a
inque
[
A
d
a] Propagate load
a
ddresses
f
or trace
b
ack cache
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Only allow Ha
s
_D
i
s
crimin
a
n
ts on
t
ype e
n
tit
i
es
commit
|
commitdiff
|
tree
2018-05-21
Arnaud
C
harlet
[Ada] Unnest a
l
l subprogram
s
relevant
for code gener
a
tion
commit
|
commitdiff
|
tree
2018-05-21
Piotr Tro
j
a
n
ek
[Ada] T
y
po in lib
.
ads comment
commit
|
commitdiff
|
tree
2018-05-21
Ed Sc
h
on
b
erg
[Ada] Extend leg
a
lity
o
f Scalar_Stor
a
ge_Order to form
a
l
.
.
.
commit
|
commitdiff
|
tree
2018-05-21
Hristian Kirtc
h
ev
[Ada] Premature secondary stack recl
a
mat
i
o
n
commit
|
commitdiff
|
tree
2018-05-21
Piotr T
r
ojanek
[Ada
]
Fix inconstent sub
p
rogram
b
ody hea
d
ers
commit
|
commitdiff
|
tree
2018-02-09
Pierre-
M
arie de
.
.
.
D
W
A
RF: no l
o
cation for non-definition DEC
L
s
w
it
h
non
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Gary Dismukes
[Ad
a
] War
n
ing
o
n o
u
t-of-ra
n
ge
value for default-ini
t
iali
z
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
E
d Schonberg
[Ada] C
r
ash on build-in-
p
lace call with ad
d
ress sp
e
ci
f
icatio
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piotr T
r
ojanek
[Ada] Al
l
ow
u
ses of range
uti
l
ity r
o
utines on
pr
i
vate
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristi
a
n Kirtchev
[Ada] Prohibit c
o
ncurrent types i
n
Ghost regio
n
s
commit
|
commitdiff
|
tree
2018-01-11
H
rist
i
an Kirtchev
[Ada]
D
ete
c
ti
o
n of illegal constituent assig
n
ment
s
commit
|
commitdiff
|
tree
2018-01-11
Arnaud Charlet
[Ada] Bump c
o
pyright not
i
ces to
2
0
1
8
commit
|
commitdiff
|
tree
2018-01-11
Hristian
K
i
rtchev
[Ada] Minor ref
o
rmatting
commit
|
commitdiff
|
tree
2018-01-11
Just
i
n Squ
i
rek
[Ada] No
error
o
n missin
g
enclosin
g
parentheses
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
H
r
ist
i
an Kirt
c
hev
[Ada] Missing d
i
agno
s
t
i
c of categorization
d
e
p
endenc
y
commit
|
commitdiff
|
tree
2018-01-11
H
r
istian Kirtchev
[
Ada]
I
ncorrect diag
n
osti
c
o
n
il
l
egal with clause
commit
|
commitdiff
|
tree
2018-01-11
Ed S
c
honberg
[
A
da] Spurious error on r
e
ferene to subcoponrnt in
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristian
K
irtchev
[Ada] S
e
condary s
t
ack leaks during object
i
nitialization
commit
|
commitdiff
|
tree
2018-01-11
J
e
r
ome Lambourg
[Ad
a
] QNX:
va
r
i
o
us
runtime fixes
for file I/O,
time
r
s
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Bob
Duff
[Ada] Null pr
o
cedures
not allo
w
e
d
in pro
t
e
cted definitions
commit
|
commitdiff
|
tree
2018-01-11
Bob Duff
[Ad
a
] Minor
reformatting
commit
|
commitdiff
|
tree
2018-01-11
Bob Duff
[Ada] Impr
o
v
e
docu
m
ent
a
ti
o
n of xml2gnat
commit
|
commitdiff
|
tree
2018-01-11
Bob Duff
[Ada] gnatbind -f switch
give
s
an error for duplica
t
es
commit
|
commitdiff
|
tree
2018-01-11
E
d
S
ch
o
nberg
[Ada]
C
rash o
n
expr
e
ssion fun
c
tion as completion, with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ben B
r
o
s
gol
[Ada
]
Add Sphinx option -W
to treat
w
arnings
as
e
rrors
commit
|
commitdiff
|
tree
2018-01-11
Ben Brosgol
[A
d
a] Mino
r
ty
p
e/wording corrections
commit
|
commitdiff
|
tree
2018-01-11
E
d Schonberg
[Ada
]
W
arning on
u
se o
f
p
r
edefined op
e
rations on an
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Javier Miranda
exp_util
.
adb (Remov
e
_S
i
de_E
f
f
e
cts): No act
i
on
d
on
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Piot
r
Trojanek
[Ada] Annotate
s
tandard
F
i
le_Type with Defa
u
l
t
_Initial_Condi
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
P
a
scal Obry
[Ada]
New implementation for No
r
malize
_
Pathn
a
me
commit
|
commitdiff
|
tree
2018-01-11
Bob Duff
[Ad
a
] Update gnatpp documentation after
e
n
g
in
e
change
commit
|
commitdiff
|
tree
2018-01-11
H
r
i
st
i
an
Kirtchev
[Ada] S
e
c
ondary stack l
e
ak due to
c
ontrolled component
commit
|
commitdiff
|
tree
2018-01-11
Y
annick Moy
[
Ad
a
] Update
d
esc
r
ipti
o
n of restriction
SPARK
_
05 with
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Va
s
iliy Fofanov
[Ada] Minor layout fix in documentation sources
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[
Ada]
M
i
nor
r
eformatting
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Han
d
ling of p
r
agma Predicate
commit
|
commitdiff
|
tree
2018-01-11
Doug Ru
p
p
[Ada] Enable
sigtra
m
p for
a
arch64-vx7
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirt
c
hev
[Ada]
D
ifferent runtim
e
behavior of Pre
d
icate
_
Fa
i
lure
commit
|
commitdiff
|
tree
2018-01-11
Patri
c
k Bernardi
[
Ada] Integer overflow in SS_Al
l
oca
t
e
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonb
e
rg
[Ada] Illegal protected calls in inher
i
ted pre/p
o
stconditions
commit
|
commitdiff
|
tree
2018-01-11
Hri
s
tian Kirtchev
[Ada]
Encodin
g
of
with clauses in ALI files
commit
|
commitdiff
|
tree
2018-01-11
Hrist
i
an
K
irtch
e
v
[Ad
a
]
F
inding pr
o
p
er scope when insid
e
e
ntry bod
y
commit
|
commitdiff
|
tree
2018-01-11
Patri
c
k B
e
rnardi
[Ada] Aspe
c
t/pragma Seco
n
dary_Stack_Si
z
e
can e
v
alua
t
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Ju
s
tin
S
q
uirek
[
A
da]
Minor reformatting
commit
|
commitdiff
|
tree
2018-01-11
Hrist
i
an Kirtchev
[Ada] Mis
s
ing f
i
nali
z
ation i
n
case expression
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[
A
d
a]
C
rash on iterated_c
o
mponent_associatio
n
in expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Justin Squirek
[Ada]
W
rong column in sloc of "expect
n
ame
"
er
r
or fo
r
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Hristian Kirtchev
[
A
da] Inconsistent
s
cope chain
d
ue to q
u
antified expression
commit
|
commitdiff
|
tree
2018-01-11
Piotr
Troja
n
ek
[Ad
a
] Fix m
i
n
o
r
comment
i
s
s
ues
commit
|
commitdiff
|
tree
2018-01-11
A
rnaud Cha
r
let
einfo
.
ads
,
einfo
.
adb (Activ
a
tio
n
_Re
c
o
r
d_
C
om
p
onent,
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de
.
.
.
exp_aggr
.
adb (
A
g
g
r_As
s
i
g
n
m
ent_OK_For_Back
e
nd): Use
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pi
e
r
re-Marie de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-M
a
r
i
e
de
.
.
.
ei
n
fo
.
ads: Comment fix
.
commit
|
commitdiff
|
tree
2017-12-15
Pie
r
re-Marie de
.
.
.
[m
u
lt
i
ple
c
ha
n
ges]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie
d
e
.
.
.
gnat_and_prog
r
a
m_
e
xecution
.
r
st: Update sectio
n
"
D
ynamic
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de
.
.
.
g
c
c/ada/ChangeLog: ad
d
entries missing from
p
revious
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
P
i
erre-Marie de
.
.
.
exp_
u
n
s
t
.
a
d
b
(Unnest_Subprograms):
N
o
thi
n
g to do if
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de
.
.
.
[m
u
ltip
l
e
c
hanges]
commit
|
commitdiff
|
tree
2017-12-15
Bob Duff
type
s
.
ads, [
.
.
.
]: Part
l
y re
v
ert
r
2
55414,
c
o
mmitted
.
.
.
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Mar
i
e de
.
.
.
sem
_
util
.
adb (
C
ontain
s
_
Refined_State):
R
emove
.
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Ma
r
ie
d
e
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pi
e
rre-Ma
r
i
e de
.
.
.
[m
u
ltiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-
M
arie de
.
.
.
[multiple chan
g
es]
commit
|
commitdiff
|
tree
2017-12-05
Pier
r
e-Marie
de
.
.
.
[mult
i
pl
e
c
h
an
g
e
s]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de
.
.
.
[multiple ch
a
n
g
es]
commit
|
commitdiff
|
tree
2017-11-16
Doug Rupp
M
a
k
efile
.
in
:
Me
r
ge Aarch64 and AR
M
"
ifeq" blocks
.
commit
|
commitdiff
|
tree
2017-11-16
Pier
r
e
-Marie de
.
.
.
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de
.
.
.
[
multiple changes
]
commit
|
commitdiff
|
tree
2017-11-16
Pie
r
r
e
-Marie de
.
.
.
[mul
t
ipl
e
changes]
commit
|
commitdiff
|
tree
2017-11-16
Hristian Kirtchev
opt
.
ads: E
l
abora
t
ion warnings are now on by
d
efault
.
commit
|
commitdiff
|
tree
2017-11-16
Pier
r
e-Marie de
.
.
.
[mu
l
tiple changes]
commit
|
commitdiff
|
tree
next