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: Tune warning about assignment just before a raise statement
2023-05-25
P
i
ot
r
Trojanek
ada: Tun
e
war
n
ing about assign
m
ent
just before a
raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojane
k
ada:
Accep
t
aliased paramete
r
s i
n
E
xceptio
n
al_Ca
s
e
s
commit
|
commitdiff
|
tree
2023-05-25
Marc Poul
h
iès
a
d
a:
F
ix incorrect han
d
ling
o
f Agg
r
egate aspect
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: F
i
x obsole
t
e comment in
S
info
.
Utils
commit
|
commitdiff
|
tree
2023-05-25
Marc
Poulhiès
ada
:
Fix SPARK context not restored whe
n
Load_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada: Restrict u
s
e of formal parame
t
ers wi
t
h
i
n exce
p
tional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojane
k
ada: Accept and a
n
a
lyze new aspe
c
t Exceptio
n
al_C
a
se
s
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otc
a
zou
ada: Rework fix for
i
nternal er
r
o
r o
n
quanti
f
ied
expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gary Dismuke
s
ada: ICE on
B
I
P
call
i
n class-w
i
de function return
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick Ber
n
ardi
a
d
a: R
e
move redundant parentheses from S
y
stem
.
Stack_
C
hecking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojane
k
ada: Ad
d
tag
s
to
w
arnings c
o
nt
r
olled by Warn_On_Redund
a
nt_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
ada: Clean
u
p
inconsiste
n
t itera
t
ion
o
ver
exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
c
az
o
u
ada
:
F
i
x
l
atent issue in
sup
p
ort
f
or protected
e
ntrie
s
commit
|
commitdiff
|
tree
2023-05-23
Eric
Botcazou
ada: Fix address manipulation
i
ssue in the
t
aski
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Raphael Amiard
a
da: Ma
k
e string interpo
l
ati
o
n
part of the cor
e
exten
s
ions
commit
|
commitdiff
|
tree
2023-05-23
Claire Dross
ada: Upd
a
t
e ghost code for
p
roof of
i
nteger
input fu
n
c
t
ions
commit
|
commitdiff
|
tree
2023-05-23
Arna
u
d Ch
a
rl
e
t
ada: A
d
d new switch
-
gnatyz
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ad
a
: Fix
mi
n
or address arit
h
metic issues in S
y
stem
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zou
a
d
a: Fix over
s
i
g
ht in lat
e
st change
commit
|
commitdiff
|
tree
2023-05-23
R
aph
a
el
A
miard
ada: Reorg
a
nize
d
ocument
a
tion of GNAT exp
e
rimental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
cazou
ada: Fix resolution of m
o
d
o
p
e
rator of System
.
S
t
orage_E
l
emen
t
s
commit
|
commitdiff
|
tree
2023-05-23
Vadim Godu
n
ko
ada:
Remove unneces
s
ar
y
call
t
o Detach
.
commit
|
commitdiff
|
tree
2023-05-23
Rona
n
Desplanques
ada: Fix reference to Ada
issue in c
o
mment
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botcazou
ada: Fix address
a
rithmetic i
s
sues in the expanded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c
B
ot
c
az
o
u
ada: F
i
x address arithmet
i
c issu
e
s
i
n
t
he runt
i
me
commit
|
commitdiff
|
tree
2023-05-23
St
e
ve Bai
r
d
a
da: A di
s
criminant
o
f a var
i
able is not
a variable
commit
|
commitdiff
|
tree
2023-05-23
Yannick Moy
ada: A
d
d default
v
alue at init
i
ali
z
ation for Co
d
ePeer
commit
|
commitdiff
|
tree
2023-05-23
Y
a
nnick Moy
ada: Faci
l
itate
pr
o
o
f of Inte
r
f
a
c
e
s
.
C
.
To_Ad
a
commit
|
commitdiff
|
tree
2023-05-23
E
ric Bo
t
cazou
ada:
R
emove the body of
S
ys
t
em
.
S
t
orage_E
l
ements
commit
|
commitdiff
|
tree
2023-05-23
J
avier M
i
randa
ada:
Spurious errors on class-wid
e
preco
n
d
itions o
f
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Troj
a
nek
a
d
a: Turn asse
r
t
ions into def
e
nsive code in err
o
r locations
commit
|
commitdiff
|
tree
2023-05-23
Rona
n
Despla
n
ques
ada: Add
mention of what LSP sta
n
ds for
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada:
Fix ending
s
of
p
r
etty-printe
d
numeric
l
iterals
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
o
t
ca
z
ou
ada:
F
ix internal error
on quantified exp
r
ession with
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: Fix bogus e
r
ror on
p
redicated limited record declared
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Tr
o
janek
ada:
Sync different v
a
rian
t
s of
interrupt h
a
n
dler registrat
i
o
n
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ada: Revert
t
o old pretty-pri
n
t
i
ng
of
internal ent
i
ties
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
a
da: Ignore a
c
cessib
i
lity ac
t
uals in expression pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Remove specia
l
-case for parenthese
s
in expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada
:
Tr
a
nsfer
f
ix for pretty-pr
i
nted parentheses from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ad
a
: Fix exp
r
es
s
ion pret
t
y-
p
r
in
t
e
r
for SPARK coun
t
e
r
examples
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Tro
j
a
n
e
k
ada: Suppres
s
warning
ab
o
ut
S
u
bprogram_Variant fa
i
lin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada: S
m
all c
o
de cleanup
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Tro
j
a
n
ek
ada: Minor
f
i
x typo
i
n c
o
mme
n
t
commit
|
commitdiff
|
tree
2023-05-23
R
ona
n
D
esplanques
ad
a
: Remov
e
duplica
t
e
co
m
ment
commit
|
commitdiff
|
tree
2023-05-23
Javier Miranda
a
d
a: Cra
s
h
on d
i
spatching
primitive r
e
ferencing lim
i
ted
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Rona
n
Des
p
lanqu
e
s
ada: Re
u
se idiomatic pr
o
cedu
r
e in CStand
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
j
a
nek
ada: A
v
oid repeated ca
l
l
s when looking for first/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botca
z
ou
a
da: Small
c
lean
u
p in
support for
p
r
otected
subprograms
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazou
ada: Use
i
diomatic construct in
Expand_N_
P
ac
k
ag
e
_
B
ody
commit
|
commitdiff
|
tree
2023-05-22
Piotr Troj
a
n
ek
ada: Fi
x
source location
for crashes in expand
e
d Loo
p
_
Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Ronan
D
esplanq
u
es
ada: Add missing word in co
m
men
t
commit
|
commitdiff
|
tree
2023-05-22
Ju
s
t
i
n Squ
i
rek
a
d
a: Incorrect constant
f
olding in postcondition in
v
olvin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Marc Poulhiès
ada:
Fix crash c
a
u
s
ed by incorrect expansion of itera
t
ed
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric Botcazou
a
da
:
Fix missing finalization in separate package body
commit
|
commitdiff
|
tree
2023-05-22
Ronan Des
p
lanques
ada
:
Remove outdated pa
r
t of comme
n
t
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tcazou
a
d
a:
F
ix missing finalization in library-uni
t
i
n
stance
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob
D
u
f
f
ad
a
: Rena
m
e Is_Past_
S
elf_
H
id
i
n
g_Point flag to
b
e
Is_Not_S
e
lf
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tcazou
ada:
Fix sp
u
rious freezing e
r
ror on no
n
a
b
stract
nul
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr
T
rojan
e
k
ada: Fur
t
her fixes to GNATprove
a
nd Co
d
ePeer expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Trojanek
ada:
C
le
a
nup re
d
unda
n
t
conditio
n
in resolution of ent
i
ty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Bob Duff
ada: Add
I
s_Pa
s
t_Self_H
i
ding_Point flag
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
ada: Ac
c
ept Assert p
r
agmas in expression functions
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
ojanek
ada: A
d
d wa
r
n
ing
o
n frontend inlin
i
ng o
f
Subprogram_Variant
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Tr
o
jan
e
k
ada: Fix spuri
o
us w
a
rning on
I
nline_A
l
wa
y
s
and
c
o
n
tracts
commit
|
commitdiff
|
tree
2023-05-22
Arna
u
d Cha
r
let
ada: Improve -gnatyx style check
commit
|
commitdiff
|
tree
2023-05-22
A
r
naud Charlet
a
da: Remove
extra parenth
e
ses
commit
|
commitdiff
|
tree
2023-05-22
Arnaud Charlet
ad
a
:
Remove a remaining refere
n
c
e to ?
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Trojanek
ada: Remove
r
edundant p
r
ot
e
ction ag
a
inst empty lists
commit
|
commitdiff
|
tree
2023-05-22
Claire
D
ro
s
s
ada: Suppor
t
call
s
through der
e
ferenc
e
s in Find
_
A
ctual
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojan
e
k
ada: Remove unreferen
c
ed ut
i
lity routine Is_Actu
a
l_Tag
g
ed_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
J
o
ffrey Huguet
ada: Add contracts to Ada
.
Strin
g
s
.
Unbo
u
nded li
b
rary
commit
|
commitdiff
|
tree
2023-05-22
Eric Botc
a
z
ou
a
da: Fix cr
a
s
h
on Ada
.
Containers with No_Dispatching_Calls
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Eric
Botcaz
o
u
a
d
a: Implement conver
s
ions from Big_Integer
to large
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
E
ric Botcazou
ada: F
i
x error and cras
h
on importe
d
function with
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
S
teve
B
a
i
rd
ada
:
Reject illegal declarations
i
n expre
s
sion functions
commit
|
commitdiff
|
tree
2023-05-22
Steve Baird
a
d
a: Better
error message if
non-Ad
a
2022
c
ode declares
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Er
i
c Botcazou
ada
:
Fix double fin
a
lization in conditi
o
nal exit statement
commit
|
commitdiff
|
tree
2023-05-22
Eric B
o
tcaz
o
u
ada
:
Fix handling
o
f cons
t
rained a
r
ray declarations
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
a
d
a
: Fix traversal
f
or
t
he rightmos
t
no
d
e of a pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
Restrict
expressi
o
n pretty-p
r
inter to
s
ub
e
xp
r
ess
i
ons
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Trojanek
ada: Don't pretty-print
D
EL
within expression
i
mages
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
a
d
a: Update
C
ontr
o
lling_Argument when copying tree
s
commit
|
commitdiff
|
tree
2023-05-22
Bob D
u
ff
ada: update Ada_Ve
r
sion_Type in fe
.
h to match opt
.
ads
commit
|
commitdiff
|
tree
2023-05-22
Bo
b
Duff
ada:
prev
e
nt
i
nfinite recursion
in Co
l
l
ect_Types_In_Hierarchy
commit
|
commitdiff
|
tree
2023-05-16
Steve Baird
ada: Add "gnat --
h
elp-ada" text for new switches
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada:
U
s
e
a
c
cumul
a
t
or type
i
n expan
s
ion of 'Reduce at
t
r
i
bute
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada
:
Fix missing warning
o
n
aggreg
a
t
e with iterated
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eric Botcazou
ada: Fix cr
a
sh
o
n iterate
d
compo
n
ent in expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Eri
c
Botcazou
ada:
F
ix
i
nternal error on 'Image applied to arra
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
E
r
ic Botcazou
ada:
Fix in
t
er
n
a
l
error
on chain of
p
r
ed
i
cated
r
ecord
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Yan
n
ick M
o
y
ada: Update proof of runti
m
e
u
n
its
commit
|
commitdiff
|
tree
2023-05-16
E
r
ic Botcazou
ada: Implement inh
e
ri
t
a
nce of use
r
-defin
e
d literal
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Javier
Miranda
ada: Spurious error analyzing 'old or 'resu
l
t in class
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
J
a
v
ie
r
Mira
n
da
ada: Spurious e
r
ror on
f
unction returning C
P
P
t
ype
commit
|
commitdiff
|
tree
2023-05-16
Pi
o
t
r
Trojanek
ada
:
A
p
p
ly range che
c
ks to preanalyzed aggre
g
ate express
i
o
n
s
commit
|
commitdiff
|
tree
2023-05-16
Gh
j
uv
a
n Lac
a
mbre
ada: usa
g
e
.
ad
b
:
d
ocument -gnatyD switch
commit
|
commitdiff
|
tree
2023-05-16
Marc Poulhiès
ada: Fi
x
A
d
a represen
t
at
i
o
n
of
r_debug and
l
ink_map
.
.
.
commit
|
commitdiff
|
tree
2023-05-16
Johannes Kliemann
ada: E
n
able Supp
o
r
t
_
A
tom
i
c_Primitives on PPC Lin
u
x
commit
|
commitdiff
|
tree
2023-05-16
Eric B
o
tcazou
ada: Follo
w
-up
improvement to implementati
o
n
o
f storage
.
.
.
commit
|
commitdiff
|
tree
next