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] Enhance comment
2018-12-03
Ed Schon
b
erg
[Ada] Enhance comment
commit
|
commitdiff
|
tree
2018-12-03
Olivi
e
r Hainque
[Ada]
Gigi support for OpenACC pragmas
commit
|
commitdiff
|
tree
2018-12-03
O
l
ivier Hainqu
e
[
Ada] Adjust the defa
u
lt
MALLOC_OBSE
R
V
ABLE_
A
LIGNMENT
.
.
.
commit
|
commitdiff
|
tree
2018-12-03
Ed Sch
o
nberg
[Ada] Missing check on
i
f
-
e
x
pre
s
sio
n
commit
|
commitdiff
|
tree
2018-11-14
Ed Sc
h
onberg
[A
d
a] Problem
w
i
th bounda
r
y cas
e
o
f
X
OR oper
a
ti
o
n
and
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Patrick Bernardi
[
Ada] Update signal c
o
n
s
t
an
t
s for
GNU/Linux
commit
|
commitdiff
|
tree
2018-11-14
Eric
Botcazou
[
A
da] F
i
x sma
l
l regression
with others
c
h
o
ic
e
in ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Olivier
Ha
i
n
q
ue
[Ada]
sigtramp-vxwork
s
: Add a rul
e
for
s
p (DWARF
r31
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Eric Botcazou
[
Ada]
R
emove
c
ouple of rece
n
tly added
d
ead
t
e
sts
commit
|
commitdiff
|
tree
2018-11-14
Hristian K
i
rtchev
[
A
d
a
] Spurious
error on Ghost null proc
e
dure
commit
|
commitdiff
|
tree
2018-11-14
Er
i
c
B
otca
z
o
u
[Ada]
M
ore complete inf
o
rmatio
n
level for -gnatR outp
u
t
commit
|
commitdiff
|
tree
2018-11-14
J
a
vier Miranda
[
Ada] Crash on
i
nterface equality covered by a re
n
aming
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Hrist
i
an Kirtchev
[Ad
a
] Us
e
of Suppr
e
ss
_
Initialization with pragma Thr
e
ad_Loca
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
E
d Schonb
e
rg
[Ada] Missing constraint check on
if-ex
p
ression
r
e
turn
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Eric
Botcazou
[
A
da
]
Fix assertion failure on pragma Com
p
ile_Ti
m
e
_
Erro
r
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Justin Squirek
[A
d
a] Cr
a
sh on us
e
o
f
g
e
neric formal pack
a
g
e
commit
|
commitdiff
|
tree
2018-11-14
Ed Schon
b
e
rg
[Ada] Co
m
p
i
ler cra
s
h on decl
.
with limit
e
d aggregate
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Bob Duff
[Ada] System'
T
o_Address not alwa
y
s static
commit
|
commitdiff
|
tree
2018-11-14
Ed Sch
o
nberg
[Ada] Enhance constrain
t
s
pro
p
agati
o
n
to ease the wor
k
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Hrist
i
a
n
Ki
r
tchev
[Ada]
Minor refor
m
a
ttin
g
commit
|
commitdiff
|
tree
2018-11-14
H
ristia
n
Kirtchev
[
A
da] Renamed eq
u
ality lead
s
to sp
u
rious error
s
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Cras
h
on ignored Ghost assignment
commit
|
commitdiff
|
tree
2018-11-14
Justin Squ
i
rek
[
A
da] Visibili
t
y error on used enumerat
e
d type
commit
|
commitdiff
|
tree
2018-11-14
Jerome L
a
m
bou
r
g
[A
d
a] Do not include c
r
t_externs
.
h
on iOS
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[
Ada]
Unn
e
sting transformation
s
fo
r
blo
c
ks in package
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
E
d
Schonber
g
[Ada] Improper
e
xtension of bound
s
of fixed-point typ
e
commit
|
commitdiff
|
tree
2018-11-14
Hri
s
t
i
an Kirtchev
[
Ada] Lim
i
ted fun
c
tion violates No_
E
x
ce
p
tion
_
Pro
p
agat
i
on
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtc
h
ev
[Ada
]
Crash
on tagged equality
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Record components do
not appear
i
n the Global
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Piot
r
T
r
ojanek
[A
d
a]
Fix handling of generic act
u
als w
i
th default
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirt
c
h
e
v
[Ada]
Lingeri
n
g
loop
for ignor
e
d G
h
o
st assig
n
ment
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada]
U
se Cancel_Special_O
u
tpu
t
i
n
ste
a
d
o
f Set
_
Special
_
Outpu
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Piotr Tro
j
anek
[Ada]
Fix par
e
n
t
heses in
comments and "library-level
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Ar
n
aud
Charl
e
t
[Ada] Handle -gx switche
s
explicitly
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcaz
o
u
[Ad
a
] Fix
spuriou
s
-Wuninitialized warnings for small
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Eric Botc
a
zou
[Ada] Fix i
n
correct
c
o
mputa
t
ion of Comp
o
nent_Size
in
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Mi
n
or
twea
k
s
t
o
sup
p
ress warning
s
commit
|
commitdiff
|
tree
2018-10-09
Yannick Moy
[Ada] Ignore pragmas C
o
mpile_Tim
e
_
Erro
r
/Warn
i
ng
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
E
r
ic Bo
t
cazou
[Ada] Fix
sp
u
rious erro
r
o
n
der
i
v
e
d re
c
ord
p
a
s
s
ed
as
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Maroua Maalej
[Ada] SPARK
:
fix bug related to non
access
o
bject permissio
n
s
commit
|
commitdiff
|
tree
2018-10-09
Doug Rupp
[
Ad
a
] Minor
c
opyright header fi
x
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[A
d
a
] Fix
s
tr
a
nge wa
r
ning when
using Ada
.
Ite
r
ator_I
n
ter
f
ace
commit
|
commitdiff
|
tree
2018-10-09
Eric Botca
z
ou
[Ad
a
]
Einfo: minor comment fix
commit
|
commitdiff
|
tree
2018-10-09
Er
i
c B
o
tcazou
[
A
da] Int
e
r
n
al error
o
n in
l
ined r
e
naming
of
subpro
g
ram
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Ed Schon
b
erg
[Ada] Unnest
i
n
g: fi
x
h
a
n
dling of private ty
p
es that
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Ed
S
ch
o
nberg
[A
d
a] Fix expansion of operations
on n
o
n
b
inar
y
modular
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ad
a
] Unnesting: fi
x
handl
i
ng of
u
p
level
r
efs to unco
n
strain
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Eric Bot
c
a
z
ou
[A
d
a
] R
e
mo
v
e spurious -Wuninitialized
w
arn
i
ng for sma
l
l
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Arn
a
ud
C
harlet
[Ada] Bounded_
H
o
l
d
ers: f
i
x a t
y
po
commit
|
commitdiff
|
tree
2018-10-09
C
l
aire Dr
o
ss
[
Ada] Functional_Vectors: re
m
ove def
a
ult
v
alue for
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Ed S
c
h
o
n
berg
[Ada] R
e
s
et
Is_True_
C
onstan
t
on ent
i
te
s
used as OUT
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Ed
Schonberg
[Ada] Unnestin
g
: avoi
d
unnecessary load
s
of
S
ystem
commit
|
commitdiff
|
tree
2018-10-09
E
d
Schonb
e
rg
[Ada] Spurious error messa
g
e on visibiliy change in
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Eri
c
Botcazou
[
Ada] Repinfo: list th
e
mechanis
m
of function
s
o
n
ly
commit
|
commitdiff
|
tree
2018-10-09
Bob Du
f
f
[Ada] Various U
s
er Manual updates for GNATpp
commit
|
commitdiff
|
tree
2018-10-09
Vasiliy
Fofanov
[Ada] Sys
t
em
.
Os_L
i
b
.
Normalize_Pa
t
hname:
fix
incorrect
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
Arnaud Charlet
[A
d
a]
R
emove C
o
dePee
r
annotation
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Preserve D
o
_Ra
n
ge
_
Check flags in SPARK
m
ode
commit
|
commitdiff
|
tree
2018-10-09
Ed Sc
h
onbe
r
g
[Ada] S
p
ur
i
ous warning on un
i
nit
i
alized
e
ntity duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Elisa Ba
r
boni
[Ada]
S
P
A
R
K
:
minor error message enhance
m
ent
commit
|
commitdiff
|
tree
2018-09-26
Th
o
mas Quinot
[Ada] Fix inhe
r
itance
o
f
r
e
p
resent
a
tion items defined
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Justi
n
S
q
uirek
[Ada] Spurio
u
s in
e
ffective use_clau
s
e war
n
in
g
commit
|
commitdiff
|
tree
2018-09-26
Arnaud
C
h
a
rlet
[Ada] Store -G xxx
switches
commit
|
commitdiff
|
tree
2018-09-26
Yannick Moy
[A
d
a]
I
ssue i
n
fo
m
essage on
i
nlined s
u
bprograms
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Ed Sc
h
onberg
[Ada] Missing front-end code
f
or constraint checks
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Maroua Maalej
[Ada] SPARK: fix
a
bug related
t
o
l
oop exit environment
commit
|
commitdiff
|
tree
2018-09-26
Hristi
a
n K
i
r
tchev
[
Ada]
Sp
u
rious elaboration i
s
sue due to
i
nlining
commit
|
commitdiff
|
tree
2018-09-26
Yan
n
ic
k
Moy
[Ada]
Do not issue b
y
d
e
fault info message
s
for
inlin
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
J
a
vier M
i
randa
[Ada] Spu
r
ious error on inter
f
ace
convers
i
on
under ZFP
commit
|
commitdiff
|
tree
2018-09-26
Hristian Kir
t
chev
[Ada]
Add a
N
o_Return annotation t
o
eas
e
static analysis
commit
|
commitdiff
|
tree
2018-09-26
Ed Sc
h
o
n
berg
[Ada] Spurious error on pri
v
ate
e
xtension w
i
th predicate
commit
|
commitdiff
|
tree
2018-09-26
Hr
i
st
i
a
n Kirtchev
[Ada] Spur
i
ous dependency
o
n sec
o
ndary stack
commit
|
commitdiff
|
tree
2018-09-26
J
avier Miranda
[
Ada] Mimic the C++
A
BI when passi
n
g cl
a
ss-wide conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Hr
i
stian
Kirtchev
[Ada]
Pa
i
r mis
c
oun
t
in Dynamic_HTable
.
P
u
t
commit
|
commitdiff
|
tree
2018-09-26
Sergey Rybin
[A
d
a] Add notes about
processin
g
of
a
g
g
regate projects
commit
|
commitdiff
|
tree
2018-09-26
Hristia
n
Kirtche
v
[
A
da] M
i
nor reform
a
tti
n
gs
commit
|
commitdiff
|
tree
2018-09-26
H
ri
s
tian Kirtchev
[
Ada] Ne
w
uni
t
GN
A
T
.
S
e
t
s
commit
|
commitdiff
|
tree
2018-09-26
Javier
Miranda
[Ada] ICE on
m
i
x
of tagged an
d
li
m
ite
d
interf
a
ces
commit
|
commitdiff
|
tree
2018-09-26
G
a
r
y
Dismukes
[Ada] Illegal formal objects a
s
sociated w
i
th anonymous
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Olivier Hainque
[Ad
a
] Front-end s
u
pport
for
Ope
n
ACC pragmas
commit
|
commitdiff
|
tree
2018-09-26
E
d
Schonberg
[Ada
]
Missing error on non-l
i
mited d
e
r
ived typ
e
with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Eric Botcazou
[
Ada
]
Inl
i
n
ing of r
e
n
amed subprogram instances
i
n p
a
ckage
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
E
ric Botcazou
[Ada] Preparation for new des
c
r
i
ption o
f
interface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Thomas Quinot
[Ada
]
Propagate bi
t
ord
e
r and SSO from root to
classwide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Justin
S
quirek
[Ada] Crash
o
n
e
xpression functions wi
t
hin quantified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Ed S
c
ho
n
berg
[Ada] M
i
ss
i
ng pr
e
dicate che
c
k
o
n retu
r
n val
u
e
commit
|
commitdiff
|
tree
2018-09-26
Eric B
o
tcazou
[Ada] ICE on array of
t
as
k
typ
e
with -gnatct
commit
|
commitdiff
|
tree
2018-09-26
E
r
ic Botcazou
[A
d
a] Fix
a
ssertion failure on record subtype with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Justin S
q
uirek
[Ada] Regre
s
sion in parti
a
l compilation of
RCI units
commit
|
commitdiff
|
tree
2018-09-26
Eric Botcazou
[Ada]
S
e
t
Curren
t
_E
r
ror_N
o
de
d
ir
e
ctly
commit
|
commitdiff
|
tree
2018-09-26
Eric Botcazou
[Ada
]
Wrong
handling of address clause
f
or limited
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Arnaud Charlet
[Ada] Introd
u
c
e
-g
n
atd_A to set
Opt
.
Disable_ALI_F
i
le
commit
|
commitdiff
|
tree
2018-09-26
E
d
Scho
n
berg
[Ada] Disable
special
handlin
g
for preconditions specifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Ed Sc
h
onb
e
r
g
[Ada] Unnes
t
ing: fix handling of up level refs
f
or
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
Ed Scho
n
b
e
rg
[A
d
a] Fix ICE re
l
ated to t
y
pe freezi
n
g
commit
|
commitdiff
|
tree
2018-09-26
Maroua Maa
l
e
j
[Ada
]
SPARK: up
d
ate borrowin
g
effects for IN parameter
s
commit
|
commitdiff
|
tree
2018-09-26
Arnau
d
Char
l
et
[Ada] Vxlink: minor reform
a
t
t
i
ng
commit
|
commitdiff
|
tree
2018-09-26
Gary Dismukes
[Ada]
Fix mi
s
cellaneous typos
commit
|
commitdiff
|
tree
2018-09-26
Jerome La
m
bourg
[Ada] V
x
link:
kill a Code
P
eer warnin
g
commit
|
commitdiff
|
tree
2018-08-21
Hristian Kirtchev
[Ada] Mino
r
r
efor
m
attings
commit
|
commitdiff
|
tree
next