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: Reorder components in Ada.Containers.Bounded_Doubly_Linked_Lists
2023-05-26
Eric Botcazou
ad
a
: Reor
d
er components i
n
A
d
a
.
Containers
.
B
o
unded_Doubly_Lin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c
Botcazou
a
da: Reorder
c
ompo
n
ents in Ada
.
Containers
.
Re
s
tri
c
ted_Doubly_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ad
a
: Reject th
i
n 'U
n
rest
r
i
cted
_
Access va
l
ue to aliased
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr
Trojanek
ada: S
i
m
p
lify
i
terat
i
on ove
r
rec
o
rd
c
ompon
e
nt
it
e
ms
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a
: Fix handling of Global cont
r
acts inside generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
roja
n
ek
ada:
Tu
n
e detec
t
io
n
of expression func
t
ions with
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Crash
on lo
o
p in dispatching
c
on
d
itional entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a
:
R
e
move redundant protec
t
ion against e
m
p
t
y lists
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ada: Cleanups in
h
and
l
i
ng of aggre
g
ates
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada: Fix iteration over compon
e
nt items with pragmas
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ie
r
Miranda
a
d
a
:
Duplicate declaration of _
m
a
ster entity
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Remove redund
a
nt guards f
r
o
m
ha
n
d
ling of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c Botcazou
ada: R
e
move Is_Des
c
endant_Of_A
d
d
r
ess fla
g
from Standard_Address
commit
|
commitdiff
|
tree
2023-05-26
Ghjuv
a
n Lacambre
ada:
Ha
n
dle new Controlli
n
g_Tag form
a
t
when converting
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
ada:
Use context va
r
iab
l
es in e
x
p
a
n
sion
o
f aggrega
t
es
commit
|
commitdiff
|
tree
2023-05-26
Eric Botca
z
ou
ad
a
: Fix mi
s
sing
finalization
in library-
l
e
v
e
l instanc
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic
B
otcazou
ada: Minor tweak in condition
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ad
a
: Simp
l
ify expan
s
i
o
n of position
a
l agg
r
egates
commit
|
commitdiff
|
tree
2023-05-26
Do
u
g Ru
p
p
ada: Use
c
omputed v
a
l
u
e fro
m
os_c
o
nstant
s
to defi
n
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Bo
t
cazou
ad
a
: F
i
x another coup
l
e of un
c
h
ecked conversions to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Refi
n
e
types f
o
r an ac
c
essibility-checking routin
e
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ada: Clean s
t
yle in expansio
n
of a
r
ray aggregate
s
commit
|
commitdiff
|
tree
2023-05-26
R
o
n
an Desplanques
a
da:
F
ix la
t
e extra
formal
s
c
r
eation
commit
|
commitdiff
|
tree
2023-05-26
Eric Bo
t
cazou
ada: Add missing g
u
ard
s
in
Sel
e
cted_Range_Checks
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcaz
o
u
ada: Enhance Is_N
u
ll_Range a
n
d Not_N
u
ll_
R
an
g
e predi
c
ates
commit
|
commitdiff
|
tree
2023-05-25
Ja
v
ier Mira
n
da
ada:
Missing w
a
rning on null-
e
xcluding array aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Expect Ex
c
eptional_Cases as
a
context for attribute Old
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojan
e
k
ada: Use procedural
v
ariant of N
e
xt_Index
w
her
e
possib
l
e
commit
|
commitdiff
|
tree
2023-05-25
J
avier
Mir
a
n
d
a
a
da: Crash on empty
a
ggregate using the A
d
a 2022 n
o
t
ation
commit
|
commitdiff
|
tree
2023-05-25
J
o
h
annes Kliemann
ada:
E
nable
S
upport_Atomic_Primitives on V
x
Wor
k
s 7 P
P
C
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
z
o
u
ada:
Fix
i
nternal error on declare
-
expre
s
sio
n
in post
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
T
om Tromey
ada: Require successf
u
l
build
o
f xs
n
a
mest
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcazou
ada: Mi
n
or a
d
j
u
s
t
m
e
n
ts to Standard_Add
r
ess
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c Botcaz
o
u
ada: A
d
d size
cl
a
use to System
.
Address
commit
|
commitdiff
|
tree
2023-05-25
M
a
r
c
Poulhiès
ada
:
Fix
e
r
r
or message for Aggrega
t
e aspe
c
t
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
a
da: Switch
f
r
o
m E_Void
t
o
I
s_Not_Self_
H
idden
commit
|
commitdiff
|
tree
2023-05-25
E
r
i
c Botcazou
ada: De
c
ouple si
z
e of
addresses an
d
poin
t
e
rs from siz
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
t
r Trojanek
ada: Fix
c
op
y
ing of quantified
e
xpressi
o
ns
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Deco
n
struct a
no
l
onger used parameter of New
_
Copy_T
r
ee
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
rojanek
ada: Cl
e
an u
p
co
p
ying of node trees
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
a
d
a:
S
impli
f
y copyi
n
g of node lists
commit
|
commitdiff
|
tree
2023-05-25
S
teve B
a
ir
d
ada
:
Avoid duplicated streaming subprogr
a
m
s
commit
|
commitdiff
|
tree
2023-05-25
Marc
Poulhiès
a
da: Fix crash during function return ana
l
ysis
commit
|
commitdiff
|
tree
2023-05-25
P
i
ot
r
Trojanek
ad
a
: Re
m
ove unused in
i
tial value of a local variable
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulh
i
ès
ad
a
: Fi
x
(agai
n
) incorrect handling
of Aggregate as
p
e
ct
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
t
r Trojanek
ada
:
Prevent sea
r
ch
of call
s
in
p
recon
d
it
i
ons from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ad
a
: F
i
x comments for recently add
e
d
SPARK a
s
pects
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: Add missing suppor
t
ive code
for recently added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
a
da: T
u
ne handling of
a
ttributes Old in co
n
t
r
act
E
xce
p
tional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
rojanek
ada: Remove
redundan
t
g
uards from ca
l
ls to Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c
Botcazou
ada: Small
t
wea
k
to implement
a
ti
o
n
o
f by-copy sema
n
tic
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Trojanek
ada:
Fix copy-pas
t
e mist
a
k
e
in analys
i
s of Excep
t
i
o
nal_Cases
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanques
ada: Enr
i
ch
d
oc
u
mentation of subprogram
commit
|
commitdiff
|
tree
2023-05-25
Ronan De
s
planq
u
e
s
ada: Maximize use of exi
s
t
i
ng constant
commit
|
commitdiff
|
tree
2023-05-25
Ron
a
n Despl
a
nques
a
d
a
: Re
d
u
c
e
span of varia
b
le
commit
|
commitdiff
|
tree
2023-05-25
B
o
b Duff
a
da
:
Set Is_
N
ot_Self
_
Hidde
n
flag in
m
ore cases
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanques
ada: Handle contr
o
ll
i
ng access parameters in D
T
Ws
commit
|
commitdiff
|
tree
2023-05-25
Bo
b
D
uf
f
ada: Add
E
ntry_Ca
n
cel_Pa
r
amet
e
r
to E_Label
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c Botca
z
ou
a
da: Min
o
r fixes
i
n
description
of scope depth
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada: Tune warning ab
o
ut assignment just before a
r
aise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
iot
r
Trojanek
ada: Ac
c
ept al
i
ased pa
r
ameters in Excepti
o
nal_Cases
commit
|
commitdiff
|
tree
2023-05-25
Mar
c
Poulhi
è
s
a
d
a: Fix incorrect handling of
A
ggregate as
p
ect
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
a
da: Fi
x
obsolete
comment in
Sinfo
.
U
tils
commit
|
commitdiff
|
tree
2023-05-25
Marc Po
u
lhiès
ada: Fix SPARK c
o
n
text not restor
e
d when Load_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada:
Restri
c
t us
e
of
f
or
m
al parameters within exce
p
tio
n
al
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Accep
t
and ana
l
y
ze new aspect
E
x
c
eptional_Cases
commit
|
commitdiff
|
tree
2023-05-23
Eri
c
Botcaz
o
u
ada
:
Rework
f
ix
for inter
n
al error o
n
quan
t
ified expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gary Dismukes
ada: ICE on BIP call in cla
s
s-wi
d
e functio
n
return
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick Berna
r
di
ada: Remove
r
edunda
n
t pa
r
e
n
t
h
e
ses from System
.
Stack_Checking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
ot
r
Trojanek
ada: A
d
d tags to
warnings controlled by Warn_On_Redundant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Clea
n
up
inc
o
nsistent iter
a
tion
o
ver
e
xcept
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botcazou
a
d
a
: Fix late
n
t issue i
n
support for protected entries
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix address manipula
t
ion is
s
ue in the tasking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Ra
p
hael Amiard
ada:
Make stri
n
g
interpolation part of
the co
r
e e
x
tensions
commit
|
commitdiff
|
tree
2023-05-23
Claire Dross
a
d
a: Upd
a
te gh
o
st
c
ode for proof of i
n
teger inp
u
t fu
n
c
t
i
o
ns
commit
|
commitdiff
|
tree
2023-05-23
A
rna
u
d Charlet
ada:
Add new sw
i
t
ch -gn
a
ty
z
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
c
a
z
o
u
ada:
Fix minor
addr
e
s
s
arit
h
metic
issues in System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix
o
ve
r
sig
h
t
in
l
atest cha
n
ge
commit
|
commitdiff
|
tree
2023-05-23
Rapha
e
l Am
i
ard
ada: Reorganize documentation
o
f GNAT exp
e
rimental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botca
z
ou
ada: Fix resolution of mo
d
operator
o
f Sy
s
tem
.
Storage
_
Elements
commit
|
commitdiff
|
tree
2023-05-23
Vadim G
o
dunko
ada: Rem
o
ve unnecessary call
t
o Detach
.
commit
|
commitdiff
|
tree
2023-05-23
R
o
na
n
Des
p
l
anques
a
d
a: Fix
r
eference
to Ada issue in comment
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix address arithmetic issues in
t
he expan
d
ed
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zou
ada: Fix a
d
d
r
ess
a
r
ithmetic issues in
th
e
run
t
ime
commit
|
commitdiff
|
tree
2023-05-23
Steve Baird
ada: A discri
m
in
a
nt of a variable is not
a
variable
commit
|
commitdiff
|
tree
2023-05-23
Yannick Moy
ada: Add
d
efa
u
lt val
u
e a
t
initializa
t
ion for CodePeer
commit
|
commitdiff
|
tree
2023-05-23
Y
annick Moy
a
d
a: Facilitate pro
o
f of Inte
r
faces
.
C
.
To_Ada
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Remov
e
the body
o
f
S
y
s
t
em
.
Stor
a
ge_Elements
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
ada: Spuri
o
us errors
on cl
a
s
s
-wide preco
n
ditio
n
s
of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
ada: Turn asser
t
i
o
ns into defensive code
i
n
error lo
c
ations
commit
|
commitdiff
|
tree
2023-05-23
R
o
nan
Desp
l
anque
s
ada:
A
dd mention
of w
h
at LSP
stands for
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada
:
F
ix e
n
dings
o
f pretty-pri
n
ted numeric literals
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c
B
otca
z
ou
a
d
a
: Fix in
t
ern
a
l erro
r
on quantified expressio
n
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
tcazou
ada: Fix
b
ogus error on predicated limited record
d
eclare
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada: Sy
n
c different
v
ariants of interrupt handl
e
r
r
egist
r
ation
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Rever
t
t
o
ol
d
p
r
et
t
y-
p
r
inting of internal
e
n
titie
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
ada
:
Ignore a
c
cessibil
i
ty actuals i
n
expression p
r
etty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Tr
o
janek
ada: Remove
special-case for parentheses in expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Transfer fix for pr
e
tty-printed parentheses from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
t
r
Trojanek
ada: F
i
x expr
e
s
sion pre
t
ty-prin
t
e
r
for SPARK c
o
untere
x
amples
commit
|
commitdiff
|
tree
next