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: Make internal_error_function more robust
2023-05-25
Piotr Trojanek
ada: Use procedural variant o
f
Nex
t
_Index
w
h
e
re possibl
e
commit
|
commitdiff
|
tree
2023-05-25
Javier M
i
r
a
nda
ada: Crash on emp
t
y
a
g
gregate using the Ada
20
2
2 notation
commit
|
commitdiff
|
tree
2023-05-25
Johannes Kli
e
mann
ada: Enable Support_Atomic_
P
rim
i
tives
o
n
V
xWorks 7 PPC
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcaz
o
u
a
da: Fix
i
nternal error on declare-expressio
n
in
post
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Tom Tromey
ad
a
: Re
q
uire succ
e
ssful buil
d
o
f
xsname
s
t
commit
|
commitdiff
|
tree
2023-05-25
Eric Bo
t
cazou
ada: Minor adjust
m
ent
s
to St
a
ndard_Addre
s
s
commit
|
commitdiff
|
tree
2023-05-25
E
ric B
o
tcazou
ada: Ad
d
size clause to
System
.
Addres
s
commit
|
commitdiff
|
tree
2023-05-25
Marc P
o
u
l
hiès
a
d
a: Fix err
o
r message for Aggr
e
gate
a
spect
commit
|
commitdiff
|
tree
2023-05-25
Bob
Duff
ada:
S
witch
f
r
o
m
E_Void to Is_Not_S
e
lf_Hidden
commit
|
commitdiff
|
tree
2023-05-25
E
r
ic B
o
t
cazou
ada: Decouple size of address
e
s and pointers
f
r
o
m size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada:
F
ix
copy
i
ng of q
u
a
n
tified ex
p
re
s
s
ions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada: Decons
t
ruct a
n
o long
e
r u
s
ed paramet
e
r of Ne
w
_Copy_Tree
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Troja
n
ek
ada:
Clean up c
o
pying of
node t
r
ees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
Sim
p
lify
copying of node lists
commit
|
commitdiff
|
tree
2023-05-25
Steve Ba
i
rd
ada: Avoi
d
dupl
i
cated streaming subprograms
commit
|
commitdiff
|
tree
2023-05-25
M
a
rc Poulhiè
s
a
d
a:
Fix
c
rash during function retur
n
analysis
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ada: Remove unused initia
l
value of a local varia
b
l
e
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulh
i
ès
ada: Fix (again)
i
nco
r
rect handling of
A
ggre
g
a
te
a
spect
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Preven
t
searc
h
of calls in p
r
econditions from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
ojanek
ada
:
Fix comments for recently added SPA
R
K
a
spects
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Tro
j
anek
ada: Add m
i
ssing su
p
portive c
o
de
for recently
a
dded
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada:
T
une handling of attrib
u
tes Old in contract Exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Remo
v
e redundant gu
a
rds from calls to Move
_
Aspects
commit
|
commitdiff
|
tree
2023-05-25
E
r
i
c
B
otcazou
a
da:
Small tweak to implementat
i
on of by-co
p
y
s
emantics
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
anek
ada: Fix
copy-paste mistake i
n
analysis of
E
xc
e
p
t
i
o
nal_Case
s
commit
|
commitdiff
|
tree
2023-05-25
Ronan Despl
a
nqu
e
s
ada:
Enrich documentatio
n
of subprogram
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanqu
e
s
ada:
Maximize
use of existing
c
onstant
commit
|
commitdiff
|
tree
2023-05-25
Rona
n
D
esplanqu
e
s
ada: R
e
duce sp
a
n of variable
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Set Is_Not_
S
e
lf_Hi
d
den flag in more c
a
ses
commit
|
commitdiff
|
tree
2023-05-25
Ronan De
s
planques
a
d
a: Han
d
le controlling access
p
a
r
ameters
in DTWs
commit
|
commitdiff
|
tree
2023-05-25
Bo
b
D
u
ff
ada: Add Entry_Cancel_Parameter to E_Label
commit
|
commitdiff
|
tree
2023-05-25
Eri
c
Botca
z
ou
ada: Minor fixe
s
in description o
f
s
c
o
pe d
e
p
t
h
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
o
j
anek
a
da: Tune warning
about assignment just befo
r
e a
raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Trojanek
a
d
a:
A
c
cept aliased par
a
meters in
E
xcep
t
ional_Cases
commit
|
commitdiff
|
tree
2023-05-25
M
arc
P
o
u
lh
i
ès
ada:
Fix
i
n
c
orrect handlin
g
of Aggregate aspe
c
t
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Fix obsolete comme
n
t in
S
i
nfo
.
Ut
i
ls
commit
|
commitdiff
|
tree
2023-05-25
M
a
rc P
o
ulhiè
s
ada: F
i
x
SPA
R
K context not res
t
o
red
w
hen Loa
d
_Un
i
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a: Restrict use of formal parameters
w
ithin e
x
ceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Acce
p
t and analyze new
aspect Exceptional_C
a
ses
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Rework fix for internal
e
rror on quantified expressio
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gary Dismukes
ada: IC
E
on BIP call
in cl
a
ss
-
wide function return
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pat
r
i
c
k B
e
rnardi
ada:
Remove redu
n
dant parentheses from System
.
Stack_Chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
nek
ada: Add t
a
gs to
w
a
r
nings
c
ontrolled
by
Warn_On_Redunda
n
t_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojan
e
k
a
da: Cleanup inconsistent iteration
o
ver exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric
Botcaz
o
u
a
d
a:
Fi
x
latent issue in sup
p
ort f
o
r
prote
c
te
d
e
n
t
r
ies
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada
:
Fix addre
s
s manipulati
o
n issue in th
e
tasking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Raphael
A
mi
a
rd
ada: Make strin
g
interpolat
i
on part
of the
core e
x
ten
s
i
o
ns
commit
|
commitdiff
|
tree
2023-05-23
C
l
aire
D
ross
ada: U
p
date gh
o
st code for proof of int
e
ger input fun
c
tions
commit
|
commitdiff
|
tree
2023-05-23
Arnaud Charle
t
ada: Add
n
ew swi
t
ch -gn
a
tyz
commit
|
commitdiff
|
tree
2023-05-23
Eric Bot
c
a
z
ou
ada: Fix minor addr
e
ss
a
ri
t
hmetic issues
i
n System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zou
ada: Fix oversight in lat
e
st change
commit
|
commitdiff
|
tree
2023-05-23
Ra
p
h
a
el A
m
iard
a
d
a: Reorganize do
c
ume
n
tation of GNAT
experi
m
ental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
c
a
zou
ada: Fix resoluti
o
n
o
f mod
o
perator of System
.
S
t
orage_Eleme
n
ts
commit
|
commitdiff
|
tree
2023-05-23
Vadim Godunko
a
da: Remove unnecessary call
t
o Deta
c
h
.
commit
|
commitdiff
|
tree
2023-05-23
Ronan Desplanques
ada:
F
ix referen
c
e to Ada issue in comment
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otc
a
z
ou
a
d
a
:
F
ix address arithmetic iss
u
es
i
n the
e
x
pa
n
ded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c
B
o
tcaz
o
u
ada: Fi
x
address arithm
e
tic issues in th
e
runt
i
me
commit
|
commitdiff
|
tree
2023-05-23
Steve Baird
ada: A discriminan
t
of a variable is not a
v
ariab
l
e
commit
|
commitdiff
|
tree
2023-05-23
Yan
n
i
c
k Moy
ada: Add
defau
l
t v
a
lu
e
at i
n
itialization for
C
o
d
ePeer
commit
|
commitdiff
|
tree
2023-05-23
Y
annick
Moy
a
d
a
:
Fa
c
ilitate pro
o
f of I
n
terfaces
.
C
.
To_Ada
commit
|
commitdiff
|
tree
2023-05-23
E
r
ic
B
otcazou
ada: Remove the
bo
d
y
of System
.
Storage_Elemen
t
s
commit
|
commitdiff
|
tree
2023-05-23
Javier Mi
r
anda
ada: Spurio
u
s errors on class-
w
ide p
r
econditions of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
roja
n
ek
ada: Turn as
s
ertions into defensive code in err
o
r
location
s
commit
|
commitdiff
|
tree
2023-05-23
R
o
nan De
s
p
l
anques
ada
:
A
d
d
m
e
ntion of what LSP s
t
ands for
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ad
a
: Fix endings of pret
t
y-printed nume
r
ic literals
commit
|
commitdiff
|
tree
2023-05-23
Eric Bot
c
azou
ada: F
i
x
inter
n
a
l error on quantified expression with
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix bogus erro
r
on
p
re
d
icated
l
im
i
ted record declare
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Sync
d
iffe
r
e
n
t variants o
f
i
n
terrupt han
d
ler registra
t
ion
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojanek
a
da: Re
v
er
t
to
o
ld pre
t
ty-printing o
f
i
n
t
e
r
n
al
en
t
ities
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
anek
a
da: Ignore acce
s
si
b
i
lity actuals in e
x
pr
e
ssion pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Remove special
-
case for
p
arentheses in expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tr
o
janek
a
d
a:
Tra
n
sfe
r
fix for
p
r
e
tty-pri
n
ted parenthe
s
e
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fi
x
expression pretty-pri
n
ter fo
r
SPA
R
K
counterexamples
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
a
d
a
: Su
p
press warning abou
t
Su
b
program_Variant
f
ailing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
ric Botcaz
o
u
ada: Small cod
e
c
leanup
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Mino
r
fix typo in comment
commit
|
commitdiff
|
tree
2023-05-23
Ronan Desplanques
ada:
R
emove duplicate com
m
ent
commit
|
commitdiff
|
tree
2023-05-23
J
avier Miranda
ada: Crash on dispatching primitive ref
e
rencing li
m
ite
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Rona
n
D
e
spl
a
nques
ada: Reus
e
id
i
omatic proc
e
dure in CStand
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojane
k
ada: Avoid
r
epeated calls when looking for
f
irs
t
/
l
ast
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
ric Botcazou
ada: Small clea
n
u
p
in support for protected su
b
p
r
ograms
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tcazo
u
ada: Us
e
i
d
i
oma
t
ic construct i
n
Expa
n
d_N_Package_Body
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Troja
n
ek
ad
a
: Fix so
u
r
ce location
for crashes in
e
x
p
anded Loop_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan Desplanques
ada:
A
dd missing
w
ord in co
m
m
ent
commit
|
commitdiff
|
tree
2023-05-22
Justin Squirek
ada: Incorrect constant
fo
l
ding in p
o
s
t
c
o
ndition involving
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Marc Poulhiè
s
ada: Fi
x
cra
s
h caused by incorrec
t
expa
n
sion of iterated
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazou
ada:
Fix m
i
s
s
ing final
i
z
a
tion
in separate package body
commit
|
commitdiff
|
tree
2023-05-22
Ronan
Desplanques
ad
a
: Remove
o
utdated part of comment
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
ad
a
: Fix missing finalizati
o
n in l
i
brary-
u
nit i
n
sta
n
ce
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
B
ob Duff
ada
:
Rename I
s
_Past_Self_Hiding
_
P
o
int flag to
b
e
Is_Not_Self
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Bot
c
azou
ada: Fix
s
pu
r
i
o
us freezing error o
n
non
a
bstract null
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
o
t
r Trojanek
ada
:
Further fixes to
G
NAT
p
rove and
CodePe
e
r e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
o
janek
ada:
Clean
u
p r
e
dun
d
an
t
c
o
nditi
o
n
i
n
resolut
i
on o
f
e
n
tity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: Add
I
s_Past_S
e
lf_Hidin
g
_P
o
i
nt flag
commit
|
commitdiff
|
tree
2023-05-22
St
e
ve Bair
d
ada: Accept A
s
s
e
rt pragmas
i
n
e
x
pression functions
commit
|
commitdiff
|
tree
2023-05-22
P
iotr
T
r
ojanek
ada:
A
dd warning on fr
o
ntend inlining of Sub
p
rogr
a
m_Variant
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
janek
ada: Fix spur
i
ous
w
arn
i
ng
on Inline_Always and
cont
r
acts
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Charlet
ada: Improve -gnatyx
style chec
k
commit
|
commitdiff
|
tree
2023-05-22
Ar
n
aud Charlet
ada:
Re
m
ov
e
extra
p
arentheses
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Charlet
ad
a
:
Remove a remain
i
ng re
f
erence to ?
commit
|
commitdiff
|
tree
next