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: Fix wrong expansion of array aggregate with noncontiguous choices
2023-05-25
Marc P
o
u
l
hiès
a
da: Fix error message
for Aggregate aspe
c
t
commit
|
commitdiff
|
tree
2023-05-25
Bob D
u
ff
ada: Switc
h
from E_Vo
i
d
to Is_Not_Self_Hidden
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcazo
u
a
d
a
: Decoup
l
e size
of addresses
a
nd pointers from size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
r
o
janek
a
da: Fix copying
of quantified expre
s
sions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ad
a
: De
c
onstruc
t
a
n
o lo
n
ger used p
a
r
ameter of New_Copy_
T
ree
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Tro
j
anek
a
da:
C
lean
up copying of node trees
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr
Trojanek
ada: Simpl
i
f
y
copying
of
n
ode
l
ists
commit
|
commitdiff
|
tree
2023-05-25
Ste
v
e
Baird
a
d
a: Avoid
duplicated
streaming s
u
b
programs
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhiès
ada
:
F
ix cras
h
d
u
ring func
t
ion return analysis
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
j
anek
a
d
a:
R
e
move unused in
i
t
i
al
v
alue
o
f
a
loca
l
variable
commit
|
commitdiff
|
tree
2023-05-25
Marc
Poulhiès
ada
:
Fix (a
g
ain) i
n
correct h
a
nd
l
ing of Aggrega
t
e
aspec
t
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada
:
P
revent
sea
r
ch of calls in preconditions f
r
om
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Tr
o
janek
ada: Fix comment
s
for re
c
ent
l
y
a
dded SPAR
K
aspects
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Add
missing
s
u
p
portiv
e
c
o
de for r
e
ce
n
tly ad
d
ed
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troja
n
ek
ada: Tune ha
n
dling
of attribute
s
O
ld in contract Excepti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada:
Remov
e
red
u
ndant
g
uards from calls to Mov
e
_
Aspects
commit
|
commitdiff
|
tree
2023-05-25
E
ric Botcazou
ada: Sma
l
l
tweak to im
p
lementation of by-copy semant
i
cs
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr
T
rojanek
ada:
F
ix copy-paste mistake in analysis of Ex
c
e
ptional_Cases
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanques
ada:
Enr
i
c
h
docume
n
ta
t
ion
o
f
s
ubprogra
m
commit
|
commitdiff
|
tree
2023-05-25
Rona
n
Desplanques
ada: Maximize use of exis
t
ing constant
commit
|
commitdiff
|
tree
2023-05-25
Ronan
Desplanques
ada: Red
u
ce span of v
a
ri
a
ble
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ad
a
:
Set
I
s_Not_Self_Hidden
f
lag in more cases
commit
|
commitdiff
|
tree
2023-05-25
R
onan
Desplanqu
e
s
ada: Ha
n
dl
e
controlling access para
m
eters i
n
DTW
s
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Add
Ent
r
y_Cancel_Parameter to E_Label
commit
|
commitdiff
|
tree
2023-05-25
Eric
Botcazo
u
ad
a
: Minor fixes i
n
de
s
cription of scope d
e
pth
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
T
r
ojane
k
ada: Tune wa
r
ni
n
g abo
u
t assi
g
nment jus
t
before a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada
:
Accept aliased parameters in
E
xceptional_Cases
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhiès
ada: Fix incor
r
e
c
t
handling of Aggregat
e
as
p
e
c
t
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Fi
x
obsolet
e
c
o
m
m
ent in Si
n
fo
.
Util
s
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada:
F
ix SPA
R
K c
o
n
t
ext
n
ot res
t
o
r
ed w
h
en Lo
a
d_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Restric
t
use of f
o
rmal parameters
within exc
e
ptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
a
da: Accept and analyze new
aspect Exceptional_Cases
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Rework fix
for
i
nternal er
r
or on quantified expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gary Dismukes
a
da: ICE on
BIP c
a
ll
in class
-
wide function ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick Ber
n
ardi
a
d
a: Remove redunda
n
t parentheses from Syste
m
.
Stack_Check
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
T
r
oj
a
nek
ada: Ad
d
tags
t
o warnings controlled by
W
arn_O
n
_Redund
a
n
t_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Troj
a
nek
ada: Cleanup inconsisten
t
i
ter
a
tion over e
x
ception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zou
ada:
F
i
x
latent
i
ssue in support for protected entries
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada:
F
ix add
r
ess manipulati
o
n
issue in
t
he
t
asking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Raphael
Amiard
ada: M
a
ke s
t
ring
interpolation par
t
of the core exte
n
sions
commit
|
commitdiff
|
tree
2023-05-23
Claire
D
ross
ada: Upda
t
e
ghost cod
e
for proof of
inte
g
e
r input functions
commit
|
commitdiff
|
tree
2023-05-23
Arnaud Charlet
ada: Add ne
w
switch -gnatyz
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix minor address arithmetic
i
ssues in System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric
Botcazo
u
a
da
:
Fi
x
overs
i
ght in late
s
t change
commit
|
commitdiff
|
tree
2023-05-23
Raphael A
m
ia
r
d
a
d
a: Reorgan
i
ze document
a
tion
of GNAT
exper
i
menta
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otcazou
ad
a
: Fix
r
e
s
o
l
ution of mod operator o
f
Syste
m
.
Storage_Elements
commit
|
commitdiff
|
tree
2023-05-23
Vadim Godu
n
ko
ada:
Remove unnec
e
ssary call to Detach
.
commit
|
commitdiff
|
tree
2023-05-23
Ronan
Desplanques
ada: Fix refer
e
nce to
Ada issue i
n
com
m
e
nt
commit
|
commitdiff
|
tree
2023-05-23
E
ric Botcazou
a
da: Fix address ar
i
th
m
etic is
s
u
es in the expan
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Bot
c
a
z
ou
ada: Fix address arit
h
meti
c
i
ssu
e
s in the runtime
commit
|
commitdiff
|
tree
2023-05-23
S
t
eve Baird
a
d
a: A di
s
criminant of a variable i
s
not a vari
a
ble
commit
|
commitdiff
|
tree
2023-05-23
Yanni
c
k Moy
ada:
A
d
d
default v
a
lue at initiali
z
ation for Code
P
eer
commit
|
commitdiff
|
tree
2023-05-23
Y
a
n
n
ick Moy
ada: Faci
l
itate proo
f
of
Interfac
e
s
.
C
.
T
o
_Ada
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcaz
o
u
ada: Re
m
ove th
e
b
ody of Sy
s
tem
.
S
to
r
age_Element
s
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
ada: Spurious
e
rro
r
s
on class-wide pr
e
con
d
i
tions
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojanek
ada: Turn a
s
sertions i
n
to defensive co
d
e
in error
l
ocations
commit
|
commitdiff
|
tree
2023-05-23
Ronan De
s
planques
a
d
a:
Add
mention
o
f
what LSP stands f
o
r
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r
Tr
o
janek
ada:
F
i
x
e
ndin
g
s of pretty-pr
i
nted
numeric
literals
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fi
x
internal error on quanti
f
ied expre
s
sion
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix
b
ogus error
o
n predic
a
ted limited re
c
ord d
e
clared
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojane
k
a
da:
Sy
n
c different vari
a
nts of
i
nterrupt handler registrat
i
on
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojan
e
k
a
d
a:
R
eve
r
t to old pre
t
ty-p
r
int
i
n
g o
f
intern
a
l entities
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
I
gnore acce
s
sibil
i
ty
actuals
in e
x
pre
s
s
i
on pr
e
tty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
T
rojan
e
k
ada:
Remove s
p
ecial-
c
ase for parentheses i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
t
r
Trojanek
ada: Tr
a
nsfer fix
f
or
p
retty-printed pa
r
enthe
s
es from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Tr
o
ja
n
ek
ada: Fix e
x
pression pretty-printer for SPARK counterex
a
mples
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojan
e
k
ada: Suppress warning
about Subprogram
_
Variant failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
r
ic
B
ot
c
azou
ada: Small co
d
e cl
e
a
n
up
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojane
k
a
d
a: Minor fix typo in comme
n
t
commit
|
commitdiff
|
tree
2023-05-23
R
o
n
an Desplanque
s
ada: Remove duplicate comment
commit
|
commitdiff
|
tree
2023-05-23
Javier
Miranda
ad
a
: Crash on dispatchin
g
primi
t
i
ve referencin
g
li
m
ited
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
R
o
n
an
D
e
s
plan
q
ues
ada: Reu
s
e
idiom
a
tic procedure in CStand
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r
T
r
o
jane
k
ada:
A
void repe
a
ted
calls when looking for first
/
last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botca
z
ou
a
d
a
: Small cleanup
i
n support for pro
t
ecte
d
subp
r
ograms
commit
|
commitdiff
|
tree
2023-05-22
Eri
c
Botcazou
ada: Use idiomatic co
n
stru
c
t in
E
xpan
d
_N_Package_Bo
d
y
commit
|
commitdiff
|
tree
2023-05-22
Piotr Troja
n
ek
ada:
F
ix s
o
u
rce
l
ocation
f
or crashes
i
n expand
e
d Loop_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan D
e
splanques
a
da: Add
m
issin
g
word in comment
commit
|
commitdiff
|
tree
2023-05-22
Justin
S
quirek
ada: Incorre
c
t constant f
o
lding in postcon
d
it
i
o
n
in
v
ol
v
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Marc Pou
l
hiès
ada: Fix crash caused by incor
r
e
ct
expan
s
ion of iterated
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c
Botcazou
ada: Fix missing finali
z
ation in separate
p
a
ckage body
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplanque
s
ada: R
e
move outdat
e
d
p
art of comment
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tca
z
ou
a
da
:
F
ix
missing final
i
z
atio
n
in library-unit in
s
tanc
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: Ren
a
me Is_
P
ast_
S
elf_Hidi
n
g_Poi
n
t flag to be
I
s
_
Not_Se
l
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c
Botcazou
ada: Fix spu
r
ious freezing erro
r
o
n
nonabstr
a
ct null
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
a
da: Furthe
r
fixes
to GNATprov
e
and CodePeer expr
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Trojanek
ad
a
: Cleanu
p
redundant co
n
d
i
t
i
on in reso
l
ution of entity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: Add
Is_
P
as
t
_S
e
lf_Hi
d
ing_Poi
n
t flag
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada
:
Accept A
s
sert pra
g
m
a
s in
expressio
n
functions
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ad
a
:
A
dd warning on frontend inlining
o
f
Subprog
r
am_Varia
n
t
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
janek
ada
:
Fix spurious warning
o
n Inline_Always and co
n
tr
a
cts
commit
|
commitdiff
|
tree
2023-05-22
Arnaud C
h
arlet
ada: Improve -gnatyx sty
l
e
check
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Charlet
ada: Remove
e
xtra pa
r
entheses
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Charlet
ad
a
: Remo
v
e a remai
n
ing reference to ?
commit
|
commitdiff
|
tree
2023-05-22
P
iot
r
Trojanek
a
d
a: Remov
e
redun
d
ant prot
e
ction against empty lists
commit
|
commitdiff
|
tree
2023-05-22
Claire
D
ross
ada: Suppor
t
c
a
lls through
dere
f
e
r
e
n
ces
in Fin
d
_A
c
tual
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ad
a
:
Re
m
ove unre
f
erenced utili
t
y r
o
utine Is_Actual_Tagged_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Joffrey Huguet
ada:
Add
con
t
racts to Ada
.
S
t
r
i
ngs
.
Unbounded
libr
a
ry
commit
|
commitdiff
|
tree
2023-05-22
Eric Bot
c
a
zou
a
da: Fix crash on Ada
.
C
o
ntai
n
e
r
s
w
i
th
N
o_Dispatching_Call
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ada: Implement conve
r
sions from Big_Inte
g
er to large
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
a
da: Fix error and crash on imported functi
o
n with
.
.
.
commit
|
commitdiff
|
tree
next