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: Do not use decimal approximation in -gnatRj output
2023-01-05
Eric Botcazo
u
ada: Do not use decimal approximation in -gnatRj output
commit
|
commitdiff
|
tree
2023-01-05
E
r
ic Botcazou
ad
a
: Op
t
imize
c
lass-w
i
d
e
objects initial
i
zed w
i
t
h
func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
E
ric Botc
a
zou
a
da: Fix
pasto i
n
comment
commit
|
commitdiff
|
tree
2023-01-05
R
o
na
n
Desplanques
ada: F
i
x spurious emissions of -gnatwj warning
commit
|
commitdiff
|
tree
2023-01-05
Ja
v
ier
Mirand
a
ada: INOX: prototype RFC
on String Interpolatio
n
commit
|
commitdiff
|
tree
2023-01-05
Joao Azevedo
ada
:
Upda
t
e
gnatp
p
documentati
o
n with --layout sw
i
tc
h
commit
|
commitdiff
|
tree
2023-01-05
Eric Bot
c
a
zou
a
da: Fu
r
ther adjust freezing for exp
a
nsi
o
n
of
c
ontracts
commit
|
commitdiff
|
tree
2023-01-05
Eric Bo
t
cazou
ada:
Simp
l
ify new expansion
of contracts
commit
|
commitdiff
|
tree
2023-01-05
Ronan Despla
n
ques
ada: Adjust
hand
l
ing of "%g" in GNAT
.
Formatted
_
S
t
ring
commit
|
commitdiff
|
tree
2023-01-05
Mar
c
P
o
u
lhiè
s
ada: Fix
g
ener
i
c instantiation
o
f
sibling pa
c
kage
commit
|
commitdiff
|
tree
2023-01-05
Justin Squi
r
ek
ada: Sp
u
r
i
ous e
r
ror
on Lock_F
r
e
e
protected
t
yp
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
E
ric Bo
t
cazou
ada: Revert to co
n
strained allocation for
s
t
ring con
c
a
tenation
commit
|
commitdiff
|
tree
2023-01-05
Steve Bair
d
ada:
Bet
t
er er
r
or message for ba
d
Discard_Names co
n
f
i
guratio
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Bob D
u
ff
ada: Update doc
f
or -gnatw_q
commit
|
commitdiff
|
tree
2023-01-05
Eric B
o
tcazou
ada: F
i
x finalization
i
ssues in
e
xt
e
n
d
ed return statement
s
commit
|
commitdiff
|
tree
2023-01-05
Bob Du
f
f
ad
a
: Fix
i
ncorrect warnin
g
abou
t
unr
e
ferenced packed
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Ghju
v
an Lacambre
a
d
a
: Fix
u
nescaped quotes whe
n
c
om
b
ini
n
g f
d
iagnostics
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
G
h
juvan Lacambre
ada:
out
p
ut
.
ad
b
:
fix ne
w
line being inserted whe
n
buffe
r
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Ron
a
n Des
p
lanqu
e
s
ada: Fi
x
GNAT
.
Formatted_String's handlin
g
of real values
commit
|
commitdiff
|
tree
2023-01-03
Ronan Desplanqu
e
s
ada: Fix par
s
i
ng bug in
G
NAT
.
Formatted_S
t
ring
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: Fix premature finali
z
ation of
return tempo
r
a
ry
commit
|
commitdiff
|
tree
2023-01-03
Ronan
Desplanque
s
ad
a
: Fix form
a
t string p
a
rsi
n
g in GNAT
.
Formatted
_
Str
i
ng
commit
|
commitdiff
|
tree
2023-01-03
E
r
ic Botcazou
ada: Make Ap
p
ly_Discrimin
a
nt_
C
he
c
k
.
Denot
e
s_Explicit_
D
e
r
e
fere
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric
Botcazou
ada: Fix calling convention
o
f foreign functions
retur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Marc Poul
h
iès
ada: Adapt
fr
o
nt
e
nd optimization
for aggregate
assignme
n
t
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcaz
o
u
a
da:
Another small adj
u
stme
n
t to
special resolution
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric Botcazou
ada: M
a
ke Sem_Util
.
Is_
A
l
ias
e
d_View predi
c
ate
m
ore
r
obust
commit
|
commitdiff
|
tree
2023-01-03
Joel Brobe
c
ker
ad
a
: GNA
T
UGN: Adjust
w
or
d
ing i
n
"Pla
t
f
orm
-
s
peci
f
ic
.
.
.
commit
|
commitdiff
|
tree
2023-01-03
Eric
Botcazou
ad
a
: F
i
x detection of
function ca
l
ls in objec
t
declarat
i
ons
commit
|
commitdiff
|
tree
2023-01-03
Bob Duff
ada: Simp
l
ify
[Small_]Integer_Type_Fo
r
commit
|
commitdiff
|
tree
2023-01-03
Javier Mi
r
and
a
ada: Cannot reference
g
host entit
y
in class-wide p
r
econ
d
it
i
on
commit
|
commitdiff
|
tree
2023-01-03
Eric Botca
z
ou
ad
a
: Fix
s
upport of Default_Compo
n
en
t
_Va
l
ue asp
e
ct
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Y
annick Moy
ada: Allow N
o
_Cac
h
ing
on
v
olatile types
commit
|
commitdiff
|
tree
2022-12-06
Javier Miranda
a
d
a: Spurious error on nested c
a
ll
using th
e
prefix
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Eric B
o
t
c
a
z
o
u
ada: Sup
p
ress wa
r
n
ing for specific
c
o
nsta
n
t valid cond
i
tion
commit
|
commitdiff
|
tree
2022-12-06
Eric Botca
z
ou
ada: Fix
s
pu
r
i
o
us error
in che
c
king of SPARK
e
l
aborati
o
n
commit
|
commitdiff
|
tree
2022-12-06
Eric Botcazou
ada: El
i
de the copy in extended returns
f
or no
n
limited
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Eric Botcazou
a
da: Small adjustmen
t
to s
p
ec
i
al resolu
t
i
o
n of membe
r
s
hip
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Eric Botcaz
o
u
ada: Use large
r
type for member
s
h
ip
t
est of universa
l
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
J
u
s
tin Sq
u
irek
a
d
a: Accessib
i
l
ity code
r
eor
g
anization an
d
bug
fixes
commit
|
commitdiff
|
tree
2022-12-06
Liaiss Merzougue
ada: Add Codepeer Exemption + simplify TO_C c
o
de
.
commit
|
commitdiff
|
tree
2022-12-01
E
ric Bo
t
cazou
ad
a
:
S
trip
conversions for the implementa
t
ion of storage
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
St
e
ve Baird
ada: Enforce Aggrega
t
e aspect
l
egality
r
ule
commit
|
commitdiff
|
tree
2022-12-01
Eric Bo
t
cazou
a
d
a: Further
adju
s
tment
s
to User's Guide
f
o
r
P
IE default
commit
|
commitdiff
|
tree
2022-12-01
Ronan Desplanques
ada: Fix misphras
i
ng in comme
n
t
commit
|
commitdiff
|
tree
2022-12-01
Gary Dis
m
ukes
ada
:
Use the address type of a Sto
r
age_Mode
l
_Type for
.
.
.
commit
|
commitdiff
|
tree
2022-12-01
Ronan Desplanques
ada: Fix
mi
n
o
r
issues in ref
e
rence m
a
nual
commit
|
commitdiff
|
tree
2022-12-01
J
osue Nava Bello
ada: M
i
nor
updates
t
o gnat/doc co
n
fig
u
rat
i
o
n
commit
|
commitdiff
|
tree
2022-11-28
Eric Bot
c
azou
a
d
a: Adjust
runtime library
and
Use
r
's
Guide to PI
E
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
Jo
e
l Brobecker
ada: doc/s
h
ar
e
/conf
.
p
y
: Switch t
h
e HTML documen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
Cla
i
re Dros
s
ada: Annotate GNAT
.
Sou
r
ce_
I
n
f
o
w
ith an abstra
c
t st
a
t
e
commit
|
commitdiff
|
tree
2022-11-28
Eric Bot
c
azou
a
da: Fix
i
nternal err
o
r on con
v
ersion as in/out actua
l
.
.
.
commit
|
commitdiff
|
tree
2022-11-28
Eric Botc
a
zou
ada: Add PIE s
u
pport to
b
acktr
a
ces on Li
n
u
x
commit
|
commitdiff
|
tree
2022-11-28
Yanni
c
k Moy
ada: Impleme
n
t ch
a
nge to SPARK RM
r
u
l
e on
s
tate
refinement
commit
|
commitdiff
|
tree
2022-11-24
Eric Botcazou
a
da
:
A
d
d ass
e
r
tion for the impleme
n
tation of s
t
orage
.
.
.
commit
|
commitdiff
|
tree
2022-11-24
Justi
n
Squirek
ada: S
p
urious error on Lock_Free protected type
with
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
P
i
otr Trojanek
ada: Accept aspects
G
lob
a
l and Depends
on abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Ghj
u
van Laca
m
bre
ada: Disable
checking
of Elab_Spec p
r
ocedu
r
es in
C
odePeer_Mode
commit
|
commitdiff
|
tree
2022-11-22
Pio
t
r
Trojanek
ad
a
: Adjust
nu
m
ber
o
f errors when removi
n
g
warning
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Er
i
c B
o
tcazou
ada: Fix formatting glitch
e
s in Make_Tag_As
s
ignment
commit
|
commitdiff
|
tree
2022-11-22
Er
i
c Bo
t
cazo
u
a
da: Fix re
c
ent asser
t
i
on failure
on GPR
2
commit
|
commitdiff
|
tree
2022-11-21
Eric B
o
tcazou
ada: Adjust
recent chan
g
e for r
e
turns involving fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
M
a
rc Poulhiès
ada:
D
o not share
P
a
c
ked Arr
a
y
T
ype if
s
izes of types
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Ronan Desplanq
u
es
ada:
Order pragmas
a
lphabetical
l
y in reference man
u
al
commit
|
commitdiff
|
tree
2022-11-21
Eric Bo
t
c
azou
a
d
a: Minor tweak in asse
r
tion
commit
|
commitdiff
|
tree
2022-11-21
Steve
B
aird
a
da: I
n
ternal comp
i
ler er
r
o
r
for Sequenti
a
l
Partition_Elabor
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Eric Botcazou
ada:
Small
cl
e
anup in Expand_N_
O
bject_Decl
a
ra
t
ion
commit
|
commitdiff
|
tree
2022-11-21
Stev
e
Baird
ada: A
d
a 2022
Image attrib
u
te
b
ug
s
commit
|
commitdiff
|
tree
2022-11-21
Gh
j
uvan Lac
a
mbre
ada: Di
s
a
b
l
e subprogram call
v
alid
a
tio
n
in CodePeer
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
B
o
b Duff
ada: Move
w
arnings
s
witche
s
commit
|
commitdiff
|
tree
2022-11-21
Steve
Baird
ada: Improv
e
d
ocumentation
f
or -gnatw
.
h wa
r
nings
commit
|
commitdiff
|
tree
2022-11-21
M
a
rc P
o
ulhiès
ada: Reje
c
t nonco
n
fi
r
ming Size attri
b
ute
value for
.
.
.
commit
|
commitdiff
|
tree
2022-11-21
Ronan Desplanq
u
es
ada: Fix g
n
atmake's parsing of adc
files
commit
|
commitdiff
|
tree
2022-11-21
Ronan Desplanques
ada: Tweak error messa
g
es on
m
i
s
placed with k
e
ywords
commit
|
commitdiff
|
tree
2022-11-14
Bor
i
s
Yako
b
owski
ada: Silenc
e
CodePeer
false
positive
commit
|
commitdiff
|
tree
2022-11-14
Bob Du
f
f
ada: Remo
v
e i
n
co
r
re
c
t comments
about initialization
commit
|
commitdiff
|
tree
2022-11-14
J
a
v
ier Miranda
a
d
a:
F
lag u
n
su
p
ported
dis
p
atching constructor calls
commit
|
commitdiff
|
tree
2022-11-14
Alexandre Oliva
ad
a
: ha
r
dcfr docs: add op
t
ional check
p
oints
commit
|
commitdiff
|
tree
2022-11-14
Gary Dismu
k
es
ada: Cr
a
sh
on applying 'Pos
t
o
expr
e
ssion
of a type
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Ronan D
e
splanq
u
es
ada: Fix non-capturin
g
parenthes
e
s h
a
n
d
ling
commit
|
commitdiff
|
tree
2022-11-14
Y
anni
c
k
M
oy
ada: Fix er
r
or on SPARK_M
o
d
e o
n
lib
r
a
r
y-le
v
el separate
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Trojanek
ada: Adjust
locatio
n
s in
a
spects on generi
c
formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
i
otr Trojanek
a
d
a
: Fix style in code for ge
n
e
r
ic formal subprograms
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
i
otr
T
roj
a
nek
a
d
a: Expand generic formal su
b
progra
m
s with
c
ontra
c
ts
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Patrick Bernardi
a
da: Enable Support_Atomic_Primitives
o
n QNX and RT
E
MS
commit
|
commitdiff
|
tree
2022-11-14
Yannick Moy
ada: Impr
o
ve locat
i
o
n o
f
e
r
ror me
s
sa
g
es in instantiations
commit
|
commitdiff
|
tree
2022-11-14
Arnau
d
C
harlet
ada: Remove gnatcheck refe
r
ence
commit
|
commitdiff
|
tree
2022-11-08
Eric Botcazou
ada: Fi
x
oversi
g
ht in implementati
o
n of allocat
o
rs
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
ada: Compil
e
-
t
ime simplification of 'Imag
e
incorrectly
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
otr Tr
o
j
an
e
k
ada: Cle
a
n up
c
al
l
t
o
check if asp
e
c
ts are pre
s
ent
commit
|
commitdiff
|
tree
2022-11-08
Ronan D
e
splan
q
ues
ada: Adj
u
st
c
lasswide contract expression preanalysi
s
commit
|
commitdiff
|
tree
2022-11-08
Johannes Kliema
n
n
ada: Set Support_Atomic
_
Primitives fo
r
VxWorks 7 runtimes
commit
|
commitdiff
|
tree
2022-11-08
E
ric
B
otcaz
o
u
ada
:
Small consistency fix
commit
|
commitdiff
|
tree
2022-11-08
Piotr Tro
j
anek
ada:
Propagat
e
aspect Ghost when instantiating null
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
E
ric Botc
a
zo
u
ada: I
m
p
l
e
ment RM 4
.
5
.
7(10
/
3) name re
s
o
lution rule
commit
|
commitdiff
|
tree
2022-11-08
Javier Miranda
a
da: En
f
orce
m
atching of ex
t
ra
f
o
r
mals
commit
|
commitdiff
|
tree
2022-11-08
Bob
Duff
ada: Move
w
arnings s
w
itch
e
s -- initial work
commit
|
commitdiff
|
tree
2022-11-08
Ronan De
s
p
lanques
ada: Align -gnatwc's doc
u
m
e
n
ta
t
ion wit
h
its behavio
r
commit
|
commitdiff
|
tree
2022-11-08
Steve Baird
a
da:
I
mp
r
o
v
e han
d
l
i
ng of declare express
i
ons
in deferred
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Eric B
o
tcazou
ada:
M
inor
consisten
c
y tw
e
aks in
Sem_C
h
4
commit
|
commitdiff
|
tree
next