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] Improve error messages for occurrence of GNAT extensions without -gnatX
2022-05-18
G
a
r
y
Dismukes
[Ada] Improve error
m
essages
for
o
ccurrence of GNAT
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Johannes Kli
e
mann
[Ada
]
F
i
x
A
da-QNX task priority
c
o
nversion
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[Ada] Use specific pred
i
cate be
f
ore manipula
t
in
g
BIP_All
o
c
_
Form
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[Ada
]
Crash
b
uilding VSS with compi
l
er bu
i
lt
w
i
t
h
assertions
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[Ada] Ada20
2
2: AI12
-
0143 Index
a
t
t
ribute
for entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Yannick M
o
y
[
A
da] Fix proof of runti
m
e unit
s
commit
|
commitdiff
|
tree
2022-05-18
Arnaud
Char
l
e
t
[
A
d
a] Errors missed on
A
C
A
T
S test B650007
commit
|
commitdiff
|
tree
2022-05-18
Marc Poulh
i
ès
[Ada] Fix the
p
arsing for d
e
lta agg
r
ega
t
e
commit
|
commitdiff
|
tree
2022-05-18
Arnaud Charl
e
t
[Ada]
Secondary stack and a-tags
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[Ad
a
]
Fix
p
roblematic underflow f
o
r Float_Type'Val
u
e
commit
|
commitdiff
|
tree
2022-05-18
Yannick
M
oy
[Ada] Spu
r
ious error on freezing of ta
g
ged t
y
pes in
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
M
arc
P
oulhiès
[Ada] Rework
o
pt
i
m
i
zation skipping pra
g
ma che
c
k in
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[
A
da] Fix internal error
o
n
s
u
b
p
r
ogram instantia
t
ion
commit
|
commitdiff
|
tree
2022-05-18
Gary Dism
u
kes
[Ada] Overriding error on type
d
e
rived fro
m
disc
r
i
m
in
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Piotr Trojanek
[Ada] Prevent overflow
in c
o
mputati
o
n of
agg
r
egat
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazo
u
[Ada] Fast implem
e
nta
t
ion of float
i
ng-poi
n
t mathematic
a
l
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
A
r
naud Charlet
[Ada] Freezing
to
o
s
trict in
instan
c
es
commit
|
commitdiff
|
tree
2022-05-18
Marc Poulhiès
[Ada] Fix in
c
o
r
r
e
ct freezing
wi
t
h ge
n
eric
c
hild un
i
t
commit
|
commitdiff
|
tree
2022-05-18
Alex
a
n
d
re Oliva
[
Ada] Ada
.
N
u
merics
.
Aux
.
*
:
Menti
o
n more
I
ntrinsic
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
E
r
ic Bo
t
c
azou
[Ada] Small performance tweak in recent chan
g
e
commit
|
commitdiff
|
tree
2022-05-18
Doug Rupp
[Ada] New port arm-qnx
commit
|
commitdiff
|
tree
2022-05-17
P
i
otr Trojan
e
k
[
A
da]
Resto
r
e
defensive guar
d
in checks
for
volatile
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Gary Dismukes
[Ada] Subprogram re
n
aming f
a
il
s
to hide
hom
o
graph
commit
|
commitdiff
|
tree
2022-05-17
Ghjuvan Lacambre
[
Ada] CUDA: remove code performing
k
ernel re
g
istration
commit
|
commitdiff
|
tree
2022-05-17
Etienne Ser
v
ais
[Ada
]
En
h
an
c
e the w
a
rning on C enu
m
w
i
th siz
e
clause
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Yannick Moy
[Ada] Allow in
l
i
n
ing for proof inside generics
commit
|
commitdiff
|
tree
2022-05-17
Gary Dismukes
[
A
d
a] Provide
a
ll
o
c
a
t
ion sub
t
ype for allo
c
a
tors o
f
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Bob
Duff
[
A
d
a] C
l
eanu
p
s rel
a
t
ed to f
r
ont-end
S
JLJ
commit
|
commitdiff
|
tree
2022-05-17
Dmitriy An
i
simkov
[Ada] GNAT
.
Binary_Sea
r
ch is not
in
t
ernal
commit
|
commitdiff
|
tree
2022-05-17
Y
annick Moy
[A
d
a]
Fix insertion
of decla
r
ation inside
q
uantified
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Marc
P
oulhi
è
s
[Ad
a
] Fi
x
Forced si
g
n
flag in format
t
ed string
commit
|
commitdiff
|
tree
2022-05-17
Eric Botcazou
[Ada] Fix
s
mal
l
gl
i
t
c
h in
E
xpand_
N
_Full
_
T
y
pe
_
Declara
t
ion
commit
|
commitdiff
|
tree
2022-05-17
Bob Duff
[Ada] Requires_Cleanup_Ac
t
ions and N_P
r
o
t
ected_Bod
y
commit
|
commitdiff
|
tree
2022-05-17
Bob
Duff
[Ada] Output
.
w always wr
i
te
s
to
s
tderr
commit
|
commitdiff
|
tree
2022-05-17
D
m
i
t
riy Anisimkov
[Ada
]
Gene
r
ic binary
s
earch implem
e
ntat
i
on
commit
|
commitdiff
|
tree
2022-05-17
Eric Botcazou
[Ad
a
]
Fi
x
bogus vis
i
b
i
lity error
w
ith partially parameterize
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Etienne Servais
[
A
da] T
a
ke full view of private typ
e
commit
|
commitdiff
|
tree
2022-05-17
A
rnaud Charlet
[Ada] Allow 'Reduce
w
ith -
g
nat2022
commit
|
commitdiff
|
tree
2022-05-17
Ghjuvan Lacambr
e
[Ada]
D
o
n
't create ca
l
ls to Abort_Unde
f
er
w
hen not
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Ma
r
c Poulhiès
[Ada] Typo fix in
f
inaliz
a
tion comment
commit
|
commitdiff
|
tree
2022-05-17
Etien
n
e Servais
[Ada] Initialize Compiler
_
St
a
te to
a
v
oi
d
Con
s
traint_Error
commit
|
commitdiff
|
tree
2022-05-17
Eric Bot
c
a
z
ou
[A
d
a] D
e
al with
deri
v
ed record ty
p
es in Has_Compatible_Repr
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
E
ric Botca
z
ou
[A
d
a] Stre
a
mlin
e
i
m
plem
e
ntat
i
on o
f
Has_Compatible_
R
epre
s
entatio
n
commit
|
commitdiff
|
tree
2022-05-17
Etienn
e
Servais
[Ada] Remove superfluou
s
call to Orig
i
n
a
l_Node
commit
|
commitdiff
|
tree
2022-05-17
Javier
M
ira
n
da
[Ada]
Cr
a
sh freezing declaration that wi
l
l rai
s
e constraint
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
J
avi
e
r Mirand
a
[
A
da] Spuri
o
us
erro
r
on subprogram wi
t
h class-wide
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Eric Botc
a
zou
[Ad
a
] Use Actions fiel
d
of freez
e
n
o
des for subprogram
s
commit
|
commitdiff
|
tree
2022-05-17
Javier Miranda
[Ada] Imp
l
ement
calls to abstract subprograms in class
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Piotr Tr
o
janek
[Ad
a
] Fi
x
documentation
o
f
u
sing attri
b
u
te
Loop_Entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Etienn
e
S
ervais
[Ad
a
]
C
h
eck toke
n
t
o
be "access", rejec
t
it if
n
o
t
commit
|
commitdiff
|
tree
2022-05-17
Piotr Tr
o
j
an
e
k
[
A
d
a
]
Enabl
e
c
urrent value propag
a
tion within pra
g
m
a
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Bo
t
cazou
[
A
da
]
F
ix fallo
u
t of ch
a
nge
in equalit
y
for untagged
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[Ada]
Fix e
x
pansio
n
of attribute Lo
o
p_Ent
r
y
wrt
v
alue
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[
A
da] Remo
v
e u
s
eless
c
o
de related to current value
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Justin Squir
e
k
[
A
da] Type
i
nvariant or pos
t
conditi
o
n may cause unini
t
ializ
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Etien
n
e Servais
[Ada] Freeze tar
g
et type on qualified exp
r
es
s
ion ex
p
ansion
commit
|
commitdiff
|
tree
2022-05-16
Yannick M
o
y
[Ada] Fix
proof o
f
double arithmetic
u
nit
s
commit
|
commitdiff
|
tree
2022-05-16
G
h
j
uvan Lacambr
e
[Ada] D
o
n
'
t
c
rash on ghost packages when e
m
itting CUDA
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Jo
e
l Brobecker
[Ada] GNAT
.
D
e
bug_Pools: Impr
o
ve docu
m
e
n
ta
t
ion of
t
he
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Joel B
r
obe
c
ker
[Ada] sigac
t
io
n
re
s
ult n
o
t proper
l
y checked in __gna
t
_in
s
tal
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Joel Brobecker
[Ada
]
Fix thinko in QNX's impl
e
mentation
of __gnat_install
_
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Joel
B
r
obecker
[Ada] Add <stdlib
.
h> #incl
u
de in cstreams
.
c
commit
|
commitdiff
|
tree
2022-05-16
Joel B
r
ob
e
cker
[Ada] re
p
lace
c
a
l
l
to bzero in terminals
.
c by call
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Gary Dismuke
s
[A
d
a] Re
v
ise Storage_Mod
e
l_Suppo
r
t oper
a
t
io
n
s to do
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Etienne Serva
i
s
[Ada]
Handle
c
ase-
e
x
pres
s
ion i
n
side if-expression in
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Yannick Moy
[
A
da] Upda
t
e co
m
ment ju
s
tif
y
ing
n
on-in
l
ining f
o
r
proof
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
M
arc Poulh
i
ès
[Ada]
F
ix
iterated element
a
ssoci
a
tion loop var escaping
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
E
ric Bo
t
cazou
[Ada] Fix int
e
rna
l
error on iterate
d
arr
a
y
a
g
gre
g
a
te
commit
|
commitdiff
|
tree
2022-05-16
Javier Miranda
[Ada] Acc
e
pt calls
t
o
abs
t
ra
c
t subp
r
ograms in class
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Botcazou
[Ada]
F
ix in
t
ernal error on mix
o
f contr
o
lled an
d
protected
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
E
r
i
c
B
otc
a
zou
[Ada] Fix
i
nternal
e
rror
on predicate
aspec
t
w
ith iterator
commit
|
commitdiff
|
tree
2022-05-16
Steve
B
aird
[
Ad
a
] Implement component f
i
nali
z
atio
n
ordering rules
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric Botcazou
[Ada] Fix impl
e
mentation
is
s
u
es with equality
for untag
g
ed
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
i
otr Trojanek
[
Ada] Rem
o
ve d
u
p
l
i
c
ated detection of user-d
e
fined
e
quality
commit
|
commitdiff
|
tree
2022-05-16
Piotr Tro
j
a
ne
k
[Ada] Improve building of untag
g
ed equality
commit
|
commitdiff
|
tree
2022-05-16
O
l
ivier
H
a
inque
[Ada] Ma
p
gnatlib-
s
har
e
d t
o
gnatlib
-
shared
-
du
a
l for
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Eric
Botcazou
[Ada] Couple of small cons
i
stency tweaks
commit
|
commitdiff
|
tree
2022-05-16
Eric Botc
a
zou
[Ada] Fix spu
r
i
o
us
e
rror on
l
imited view w
i
th incomple
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[
Ada] Pick vo
l
atile refinement prope
r
ty o
f
a
s
ubty
p
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
i
otr Trojanek
[Ad
a
]
C
larify
co
d
e fo
r
de
t
e
c
ting v
o
lati
l
e refine
m
ent
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[Ada] Remove duplicate
d
co
d
e for detect
i
ng enabled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Eric Botcaz
o
u
[Ada
]
Fix incor
r
ec
t
c
a
l
l to
inheri
t
e
d
f
u
nction wit
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Gary Dismukes
[A
d
a]
Storage_
M
odel_O
b
j
e
ct fai
l
s to return object entity
commit
|
commitdiff
|
tree
2022-05-13
Javier Mi
r
a
n
da
[Ad
a
] Com
p
iler crash on -gnata -O
2
commit
|
commitdiff
|
tree
2022-05-13
A
rnaud Ch
a
rle
t
[Ada
]
Only use alternate s
t
ack when
n
eede
d
commit
|
commitdiff
|
tree
2022-05-13
Alexand
r
e Oliva
[Ada] Extend hardcf
r
testing
(documentati
o
n
)
commit
|
commitdiff
|
tree
2022-05-13
Ghjuvan Lacambr
e
[Ad
a
]
CUDA:
use binder to ge
n
erat
e
kerne
l
-registrati
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
M
arc Pou
l
hiès
[Ada] Fix ite
r
ated comp
o
nent association for array
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yannick Moy
[
A
d
a] Simplify helper units for formal ha
s
hed sets
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yan
n
ick Moy
[Ad
a
]
Adapt
b
ody of formal sets a
n
d maps
for S
P
ARK
commit
|
commitdiff
|
tree
2022-05-13
Yannick Moy
[Ada]
Remove depe
n
d
e
ncy
on tampering checks an
d
c
ontrolled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[
A
da] Ada ABI cha
n
ge
wh
e
n building with ass
e
rti
o
ns
commit
|
commitdiff
|
tree
2022-05-13
Johannes Kanig
[Ada
]
Tak
e
i
n
to accou
n
t GNSA_ROOT
env var fo
r
prefix
commit
|
commitdiff
|
tree
2022-05-13
Steve Bair
d
[A
d
a
]
Impleme
n
t late initializati
o
n rules for typ
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Ed Schonber
g
[Ada] Handle IN iterator for class-wide d
e
rived o
b
ject
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Yannic
k
Moy
[
Ada]
F
acilit
a
te
p
roof of Over
w
ri
t
e in bound
e
d stri
n
gs
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Etienne S
e
rv
a
is
[Ada] Fix code example o
n
rep
r
es
e
ntation clau
s
e
commit
|
commitdiff
|
tree
2022-05-13
Eric
Botcazou
[Ada] Do not
over
w
rite limited vi
e
w of result type
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[A
d
a] Wrong ad
d
r
e
ss
f
or clas
s
-w
i
de interfa
c
e access
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Javier Miranda
[Ada
]
Crash
in t
a
s
k body reference to di
s
c
r
i
minant
commit
|
commitdiff
|
tree
next