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-25
Ed Schonberg
[Ada] Str
e
ngthe
n
c
hecks
for instantiat
i
on with inte
r
fa
c
e
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Piotr Trojanek
[Ada] Rewrite I
t
erate_Call_Param
e
ters i
n
more asse
r
tive
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Doug Rupp
[Ada] Ma
k
e
Max
_
Sensible_Delay u
n
iform acro
s
s
a
ll Posi
x
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
E
d Sc
h
onbe
r
g
[Ada] C
h
ecks on instanti
a
tions with formal derived
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Yannick Moy
[Ada] Fix h
a
ndlin
g
of Loop
_
Entry for CodePe
e
r
/
SPA
R
K
commit
|
commitdiff
|
tree
2018-05-25
Eric Bo
t
c
a
zou
[Ada] S
u
p
port for C99 an
d
C+
+
standard boolean types
commit
|
commitdiff
|
tree
2018-05-25
Arnaud Charlet
[Ad
a
]
D
o not p
r
i
n
t
non ASCII characte
r
s in d
e
bug routines
commit
|
commitdiff
|
tree
2018-05-25
B
o
b
Duf
f
[A
d
a] Unbounded st
r
in
g
s: inline
I
nitialize and Adjust
commit
|
commitdiff
|
tree
2018-05-25
Bob
Duf
f
[
A
da] Minor comment f
i
x
commit
|
commitdiff
|
tree
2018-05-25
E
d Schonberg
[Ada] Refine
c
h
e
c
ks for upl
e
vel refe
r
ences
commit
|
commitdiff
|
tree
2018-05-25
Ed Scho
n
berg
[Ada]
C
ompiler l
o
op
o
n expressi
o
n function and
p
r
edicate
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Yannick Moy
[Ada] Detect misplaced assertions
b
etween loop invariants
commit
|
commitdiff
|
tree
2018-05-25
Fedor Rybin
[Ad
a
] Document ne
w
swit
c
h --copy-environment for gnattes
t
commit
|
commitdiff
|
tree
2018-05-24
P
i
otr Trojan
e
k
[Ada] Simplify routi
n
es with a
l
ocal Resu
l
t varia
b
le
commit
|
commitdiff
|
tree
2018-05-24
Er
i
c Botcazou
[Ada] Fix irregular output w
i
th -gna
t
R3
commit
|
commitdiff
|
tree
2018-05-24
E
ric
B
o
tcazou
[Ada] Mino
r
cl
e
a
n
-ups in
g
igi
commit
|
commitdiff
|
tree
2018-05-24
J
avier M
i
randa
[Ada] Wrong renaming of v
a
riant record equality
commit
|
commitdiff
|
tree
2018-05-24
E
d
S
c
honberg
[Ada]
Add a new Is_Activation_
R
ecord fla
g
o
n IN parameters
commit
|
commitdiff
|
tree
2018-05-24
Yannick
M
oy
[Ada] Improve
G
N
A
Tprove message
s
on unproved checks
commit
|
commitdiff
|
tree
2018-05-24
Javie
r
Mir
a
n
da
[Ada]
M
is
s
ing er
r
o
r
on
illegal acce
s
s to discriminant
commit
|
commitdiff
|
tree
2018-05-24
E
d
S
c
honberg
[Ada] Infi
n
ite loop in the
c
ompiler wh
e
n warning on
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
P
i
o
tr
T
ro
j
a
nek
[Ada] Minor fix grammar in comment of N_Defi
n
ing_Identifier
commit
|
commitdiff
|
tree
2018-05-24
Justin
Squ
i
r
ek
[Ada]
Q
uadratic compile
time
w
it
h
tagged types
commit
|
commitdiff
|
tree
2018-05-24
Hristian
Kirtchev
[A
d
a
] S
p
urious error due t
o
l
ingering limited view
commit
|
commitdiff
|
tree
2018-05-24
Eric B
o
tc
a
z
ou
[
A
d
a] H
a
ndle ver
s
ion 2
o
f Window
s
unwinding information
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
H
r
ist
i
an Kirtche
v
[Ada
]
M
i
no
r
reformat
t
ing
commit
|
commitdiff
|
tree
2018-05-24
Ed
Sc
h
o
n
berg
[Ada] Add wa
r
ning on redundant oth
e
rs_clause in array
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Rapha
e
l Amiard
[Ad
a
] U
p
dat
e
Ada
.
Containers
.
Hashe
d
_Maps documentatio
n
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Raphael Ami
a
rd
[Ada] Add document
a
tion
f
rom
the Ada RM to Ada
.
C
ontainers
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Just
i
n Squirek
[Ad
a
] Cras
h
on return of raise expression
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kirtchev
[Ada] Crash on fu
n
ction in Ghost subunit
commit
|
commitdiff
|
tree
2018-05-24
Justin Squ
i
r
ek
[Ada] Ineffective use wa
r
ni
n
g is suppressed when perf
o
rming
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Cyrille Comar
[Ada] F
i
x
t
ypos in
d
ocum
e
ntation
commit
|
commitdiff
|
tree
2018-05-24
Bob Duff
[
Ada] Mem
o
ry leak mixing limited an
d
n
o
nlim
i
ted functions
commit
|
commitdiff
|
tree
2018-05-24
Hristian
K
i
r
tchev
[
Ada]
S
purious error on
p
ragma Ind
e
pendent_Components
commit
|
commitdiff
|
tree
2018-05-24
H
ristian Kirtchev
[Ada] Fi
x
c
r
a
sh o
n
formal
containers
commit
|
commitdiff
|
tree
2018-05-24
Piotr T
r
o
janek
[Ada]
Fi
x
inconsist
e
nt
d
ocu
m
entation fo
r
the Co
n
tract
_
Ca
s
es
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
H
r
istian Kirtche
v
[Ada] Ex
p
a
nsion of discrete choice
s
commit
|
commitdiff
|
tree
2018-05-24
Hristian
Kirtchev
[Ad
a
]
S
purious error on impor
t
ed subp
r
ogram
with preconditi
o
n
commit
|
commitdiff
|
tree
2018-05-24
Jav
i
er
M
iranda
[Ada] Spurio
u
s error
on pr
i
vate
task derivati
o
n
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kirtchev
[A
d
a
]
Crash
on compilation
u
n
it insta
n
ce
commit
|
commitdiff
|
tree
2018-05-24
Piotr
T
rojanek
[Ada] Fix references to Backend
_
L
a
y
o
ut configuration
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Do
u
g Rupp
[Ada] Initial port of x8
6
-
lyn
x
178elf runtimes
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtchev
[Ada] Min
o
r refo
r
matt
i
ngs
commit
|
commitdiff
|
tree
2018-05-23
Pa
s
cal Obr
y
[A
d
a] Fix memory leak in win32_wait error ha
n
d
ling
commit
|
commitdiff
|
tree
2018-05-23
Pascal Obry
[
A
da] Fix
com
p
u
t
ation of handle/pi
d
li
s
ts in win32
_
w
a
it
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtchev
[Ada
]
Spuriou
s
Storage_Error on i
m
p
o
rted arra
y
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[
Ada] Spurious
error on instanti
a
tion with type with
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Boris Yakobowski
[Ada] Fix f
a
ul
t
y
preconditions for trigonometric functions
commit
|
commitdiff
|
tree
2018-05-23
Arnaud Charlet
[Ada] Fix various de
f
ects f
o
u
n
d by static analysis
commit
|
commitdiff
|
tree
2018-05-23
Bob Duff
[Ada] gnatbin
d
: d
o
not
list No_
I
mplementation_Re
s
trictions
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[
A
d
a] Implementati
o
n
o
f AI12-0131: legality of class
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Javier M
i
randa
[Ada] Crash proces
s
i
n
g Valid
_
Scalar
s
whose eval
u
ation
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Bob D
u
ff
[
A
da] Vectors: spurious er
r
o
r
in -gnatwE mode
commit
|
commitdiff
|
tree
2018-05-23
Yannick Moy
[Ada] Clarify meani
n
g
of local pragm
a
Warnings Off
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Olivier Hainque
[Ada] Add
a
Is_Foreign_Ex
c
eption predicate
to
G
NAT
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[Ada] Missing legality chec
k
on iterator over forma
l
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Y
a
nnick Moy
[Ada]
F
i
x implementation of u
t
i
lity for fi
n
din
g
enclosing
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Hristian K
i
r
t
chev
[Ada]
Suspens
i
on and elabo
r
ati
o
n warni
n
gs/checks
commit
|
commitdiff
|
tree
2018-05-23
Ja
v
ie
r
Mirand
a
[Ada]
R
est
r
ict initia
l
izatio
n
of External_Tag and Ex
p
anded_Name
commit
|
commitdiff
|
tree
2018-05-23
Ma
r
oua M
a
alej
[Ada] Fix of some permi
s
sion rules of pointers in SPARK
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[
A
da] Crash on predi
c
a
te
i
nv
o
lving qualified
e
x
p
ress
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Hristian
K
irtch
e
v
[Ada] Suppression of elab
o
ration-related warnings
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtchev
[Ada] Suppress
i
on of elaboration-rela
t
ed warnings
commit
|
commitdiff
|
tree
2018-05-23
E
r
ic Botcazou
[Ad
a
] Remov
e
o
bsolete stuff fro
m
repinfo
.
adb
commit
|
commitdiff
|
tree
2018-05-23
Hristian
K
i
r
t
chev
[
A
d
a] Suppression of
elaboration-related warn
i
ngs
commit
|
commitdiff
|
tree
2018-05-23
P
i
otr T
r
ojane
k
[Ada]
Mino
r
reformatting
commit
|
commitdiff
|
tree
2018-05-23
Ed Schon
b
er
g
[Ada] Co
m
piler fails to reject illegal
s
tor
e
of anony
m
o
u
s_ac
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Daniel Merc
i
e
r
[Ada
]
Turn off length exp
a
nsion in CodePeer mode
commit
|
commitdiff
|
tree
2018-05-23
B
ob D
u
ff
[Ada] Build-
i
n
-place aggr
e
gates and Ad
d
r
e
ss
c
lau
s
es
commit
|
commitdiff
|
tree
2018-05-23
B
ob D
u
ff
[Ad
a
] Minor reforma
t
ting
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtchev
[
A
da] Initialize_Scal
a
rs optim
i
zat
i
on cau
s
es spurious
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Hris
t
ian Kirtchev
[Ada] Mino
r
reformatting
commit
|
commitdiff
|
tree
2018-05-22
J
ustin
S
qui
r
ek
[Ada] Missing warni
n
g for unreferenced formals in expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Doug Rupp
[Ada] Don'
t
def
i
ne HAVE_A
D
JUST_C
O
NTEXT_FO
R
_RAISE on
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Olivier
H
ainque
[Ada]
F
ix Reraise_Occurren
c
e of
F
oreign_Exception
commit
|
commitdiff
|
tree
2018-05-22
Hr
i
s
t
ian Kirtchev
[Ada]
C
r
a
sh on pa
r
tia
l
initia
l
ization of controlled
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Jerome Lambourg
[
Ada] Fi
x
r
e
t
r
ieval of num
b
er of CPUs on QNX
commit
|
commitdiff
|
tree
2018-05-22
Jerome L
a
mbourg
[Ada] F
i
x the signal trampoline
on QNX
commit
|
commitdiff
|
tree
2018-05-22
Hristian Kirtche
v
[Ada] In-place init
i
aliza
t
io
n
for Initi
a
l
i
z
e_Scala
r
s
commit
|
commitdiff
|
tree
2018-05-22
Javie
r
Miranda
[Ada] Disab
l
e
name generation for External_Ta
g
a
nd
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Ed S
c
honberg
[Ada] Bet
t
er error mes
s
age on il
l
ega
l
'Access on formal
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Hristian Kirtchev
[A
d
a] In-
p
lace in
i
tia
l
i
zation
f
or Initial
i
ze_
S
calars
commit
|
commitdiff
|
tree
2018-05-22
Patric
k
Ber
n
ardi
[A
d
a] Fix compiler abort on invalid discrim
i
nan
t
constrai
n
t
commit
|
commitdiff
|
tree
2018-05-22
Ed Schon
b
erg
[
Ada]
A
da2020: Re
d
uc
t
ion e
x
pressions
commit
|
commitdiff
|
tree
2018-05-22
Arnaud Charlet
[Ada] Do not emi
t
err
o
r i
n
Relaxe
d
_RM_Sem
a
ntics
m
ode
commit
|
commitdiff
|
tree
2018-05-22
A
r
naud Charle
t
[Ada]
Take i
n
t
o account N_Generi
c
_Packa
g
e_Re
n
a
m
i
ng_Declaration
commit
|
commitdiff
|
tree
2018-05-22
Ed Scho
n
b
er
g
[Ada
]
Crash with
p
rivate types
a
nd re
n
a
m
ed discr
i
mi
n
an
t
s
commit
|
commitdiff
|
tree
2018-05-22
Ed Sch
o
nberg
[
A
d
a] Spur
i
ous visibili
t
y error in
a
nest
e
d instance
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Hristian K
i
rtche
v
[Ada] Prohibit output de
p
e
n
d
ency
i
tems on functions
commit
|
commitdiff
|
tree
2018-05-22
Hristian Kirtchev
[Ada]
Allo
w
attr
i
bute 'Va
l
i
d_Sc
a
lars on private types
commit
|
commitdiff
|
tree
2018-05-22
B
o
b
Du
f
f
[Ada] I
g
nore p
r
ag
m
a
E
lab
o
r
a
te_Body
i
n
s
pec
o
f a
S
AL_Interfac
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Ed S
c
honberg
[Ada] Spurious vis
i
bilit
y
er
r
o
r on
a
spect in generic
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Bob Du
f
f
[Ada] Document ne
w
switches for gnatpp
commit
|
commitdiff
|
tree
2018-05-22
Ed Sc
h
onberg
[Ada] Crash
o
n
p
rag
m
a C
o
mpile_Time_W
a
r
ning with decla
r
ed
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Do
u
g Rupp
[Ada] Align stack t
o
128bits o
n
VxW
o
rks for
A
A
r
ch6
4
commit
|
commitdiff
|
tree
2018-05-22
J
erome Lambourg
[
A
da
]
Fix stack alignment i
s
sue
i
n the signal t
r
ampoline
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Ed
S
c
h
onb
e
r
g
[Ada]
Spurious size error
o
n fix
e
d p
o
int type
with
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Oli
v
ier
Hainq
u
e
[Ada] Preven
t
c
ac
h
ing of non-text
s
y
mbols for
symbolic
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
J
avie
r
Miranda
[Ada] Adding support fo
r
Ada
.
Loca
l
e
s
package
commit
|
commitdiff
|
tree
next