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 extra whitespace after END keywords
2023-11-07
Piotr
Trojanek
a
d
a: Fi
x
e
x
t
ra whitespace after END keywords
commit
|
commitdiff
|
tree
2023-11-07
P
i
ot
r
Trojanek
ada: Avoid extra co
n
version in expa
n
sio
n
o
f
pa
c
ked
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
iotr Trojanek
ada:
S
impl
i
fy handling of
k
nown values in expan
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piot
r
Trojan
e
k
ada: Change local variable
s
to constants in exp
a
nsi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Fix styl
e
i
n declarat
i
on of routine for expansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
i
ot
r
Trojanek
ada: Clean
u
p getting o
f
actual
subty
p
e
s
commit
|
commitdiff
|
tree
2023-11-07
Piotr T
r
oja
n
ek
ada: Fix
h
an
d
ling
o
f
a
c
tual subtypes f
o
r
expanded names
commit
|
commitdiff
|
tree
2023-11-07
V
ilja
r
In
d
us
ada: Simplify code
f
or Ignore_S
t
yl
e
_
C
hecks_P
r
agm
a
s
commit
|
commitdiff
|
tree
2023-11-07
Viljar Indus
ada: Fix scope of semantic
st
y
le_check pragmas
commit
|
commitdiff
|
tree
2023-11-07
Eric
Botcazou
ada: Fix intern
a
l error on
addr
e
ss
of eleme
n
t of packed
.
.
.
commit
|
commitdiff
|
tree
2023-10-19
Yanni
c
k Moy
ada: Su
p
p
o
rt new SPARK aspect Si
d
e_Effects
commit
|
commitdiff
|
tree
2023-10-19
Sheri B
e
rnstein
a
d
a: Ref
a
ctor
code to
r
emove GNATch
e
c
k violation
commit
|
commitdiff
|
tree
2023-10-19
Sheri Be
r
n
s
tein
ada: Add pr
a
g
ma
Ann
o
tate
f
or GNATcheck exempt
i
ons
commit
|
commitdiff
|
tree
2023-10-19
P
a
t
rick Bernardi
ada: Document gnatbind -Q switch
commit
|
commitdiff
|
tree
2023-10-19
Ron
a
n
Despl
a
nq
u
es
ada: Seize
o
pp
o
rtu
n
i
ty to
reuse List
_
Length
commit
|
commitdiff
|
tree
2023-10-19
Piotr Troja
n
ek
ada:
S
impl
i
fy "not Present"
with "No"
commit
|
commitdiff
|
tree
2023-10-10
Eri
c
Botca
z
ou
ada: Fix inter
n
al error on too larg
e
rep
r
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desplanques
ada:
T
weak i
n
terna
l
subprog
r
am in Ada
.
Directories
commit
|
commitdiff
|
tree
2023-10-10
Eric
Botcazou
ad
a
: Re
m
o
v
e superflu
o
us
setter procedure
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazo
u
ada: Fix
bad fina
l
ization of limited aggregate in conditiona
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Eric B
o
t
c
azo
u
ada: Fix infinite l
o
op w
i
th multiple
l
imite
d
with clauses
commit
|
commitdiff
|
tree
2023-10-10
R
ona
n
D
e
splanques
ada: Fix
f
ilesyst
e
m entry filte
r
ing
commit
|
commitdiff
|
tree
2023-10-10
Ronan Despl
a
nques
ada: Tweak d
o
cumen
t
a
ti
o
n
c
omments
commit
|
commitdiff
|
tree
2023-10-10
J
a
vier Miranda
ada: Crash process
i
n
g
p
ragma
s
C
o
mpile_Time_Error and
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eri
c
Botcazou
ada: Fix mi
s
s
ing ca
l
l to
Finalize_Protec
t
ion for sim
p
l
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
E
ric Botcazou
ada: Fix def
e
rred con
s
t
a
nt wro
n
gly rejected
commit
|
commitdiff
|
tree
2023-09-26
Marc P
o
u
l
h
iès
ada: Fix unnes
t
ing generated
loop
s
with
n
ested finalization
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javi
e
r Miranda
a
d
a: Cr
a
sh process
i
ng t
h
e accessibility l
e
vel of
a
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Er
i
c
Botcazou
ada: Fix missing f
i
nalizat
i
on of exte
n
ded return object
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
a
d
a:
Update p
e
r
s
onality fun
c
t
i
on for CHERI
pur
e
cap
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ad
a
: Fix conve
r
sions betwee
n
addresses and
i
n
t
egers
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada:
Add
CHERI variant of Sys
t
em
.
Stream_Attribute
s
commit
|
commitdiff
|
tree
2023-09-26
D
aniel King
ada: D
e
fine CHERI excepti
o
n type
s
commit
|
commitdiff
|
tree
2023-09-26
Ronan Despla
n
ques
ada
:
Make mi
n
or
corrections to CUDA-relat
e
d comm
e
nts
commit
|
commitdiff
|
tree
2023-09-26
Derek Sc
h
a
cht
ada: Di
m
ensional analysis when u
s
e
d
with elem
e
ntary
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Yannick Moy
ada: Clarify RM referen
c
es that justify
a
constraint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard Wai
ada: T
S
S
f
i
n
alize address s
u
b
p
rogram generation for
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
R
i
chard
W
ai
ada: Priva
t
e extensions with th
e
keyw
o
rd
"
s
y
nchronize
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Po
u
lhiès
a
d
a
: Refin
e
u
pp
e
r array bound
for bit packed
arr
a
y
commit
|
commitdiff
|
tree
2023-09-19
Ja
v
i
e
r Miranda
ada: Crash
pr
o
cessing type invaria
n
ts
on
c
hild subprogram
commit
|
commitdiff
|
tree
2023-09-15
E
r
ic Botc
a
z
ou
ada: Fix minor glitch in
finish_record_type
commit
|
commitdiff
|
tree
2023-09-15
Piotr Tro
j
anek
ada
:
Explicitly a
n
a
l
yze and expand
n
ull array aggregates
commit
|
commitdiff
|
tree
2023-09-15
Er
i
c Botcazou
ada:
Fix wrong
o
ptim
i
zation of
e
xtended return for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
P
atri
c
k
B
erna
r
di
ada: Do not perform local-exc
e
ption-to-
g
oto
optimization
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Pa
t
rick
B
ernardi
a
da: Gen
e
r
a
te
r
u
ntim
e
restric
t
io
n
s list when the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Er
i
c
Botcaz
o
u
ada: Fix in
t
ernal error on misaligned component wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botca
z
ou
ada: Fix internal erro
r
on
a
ggregate nested in
co
n
tainer
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le Gougue
c
ada: Remove
GN
A
T Pro d
e
tails reg
a
r
ding mold
commit
|
commitdiff
|
tree
2023-09-15
Eric
Botcaz
o
u
ada: Fix internal error on
expre
s
sio
n
function wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob Duff
ada: Clean
up scope depth and related code (tech debt)
commit
|
commitdiff
|
tree
2023-09-15
Jav
i
e
r
Mir
a
nda
ada: Crash on creation
of extra forma
l
s on type
ex
t
e
nsion
commit
|
commitdiff
|
tree
2023-09-14
Yannick Moy
a
da: Impro
v
e
d
e
te
c
t
ion of
d
eact
i
vate
d
c
o
de for warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javie
r
Miranda
ad
a
: A
s
s
e
r
tion failure on ex
p
an
s
i
o
n of record
wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Jav
i
er Mir
a
nda
ada: Assertion failu
r
e o
n
calculation of Lar
g
e_Max
_
Size_Muta
b
le
commit
|
commitdiff
|
tree
2023-09-14
J
a
vier Miranda
ada: As
s
er
t
io
n
failu
r
e on
f
o
r
-
of loo
p
iterating
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcazou
a
d
a:
F
ix late finaliz
a
tion for
function
c
all
i
n d
e
lta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric
B
otcazou
ada: Fix premature finalization in loo
p
ove
r
lim
i
ted
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javi
e
r Mira
n
d
a
ada:
As
s
e
rtio
n
failure adding extra formals to la
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada: Elid
e
t
h
e co
p
y i
n
extended re
t
urns for nonli
m
ited
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tro
m
ey
ada: Fix DWAR
F
f
or cert
a
in array
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr Troja
n
ek
a
d
a
: Remove r
e
dundan
t
pr
o
tection against empty list
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tr
o
jane
k
a
d
a: Add guard befo
r
e
querying the type for
i
ts interf
a
ce
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr
T
rojanek
ada: R
e
move r
e
dundant guard against an emp
t
y
l
ist o
f
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Er
i
c Bo
t
caz
o
u
a
d
a: Fix
p
roblemat
i
c seco
n
dary stack mana
g
eme
n
t in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob Duff
ad
a
: Fix crash on selec
t
ed component look
u
p i
n
generi
c
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ronan Des
p
l
a
nques
ada:
F
ix
spu
r
ious
warning emissions
commit
|
commitdiff
|
tree
2023-09-05
Eric Botcazou
ada: Fix asserti
o
n failu
r
e on very
p
e
cul
i
ar
e
numeration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Li
a
i
s
s Me
r
zou
g
u
e
ada
:
Remove
T
B
C
c
o
m
ment, no mor
e
needed
commit
|
commitdiff
|
tree
2023-09-05
Javier
Mi
r
anda
ada
:
C
r
a
s
h
on creation of ext
r
a
f
o
r
mal
s
on type
extens
i
on
commit
|
commitdiff
|
tree
2023-09-05
Alexandre Oliva
ada: Pass -msm
p
when linking for ppc-vx6 --RTS=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javier Mira
n
da
ada: Crash on function re
t
u
rning
em
p
ty
Ada 2022 aggregate
commit
|
commitdiff
|
tree
2023-09-05
Steve Baird
a
da: Compil
e
r hangs on
i
n
valid p
o
s
tco
n
dition
commit
|
commitdiff
|
tree
2023-09-05
Ste
v
e Baird
ad
a
: Spur
i
o
us warning abou
t
n
e
gat
i
ve mod
u
l
ar
l
iteral
commit
|
commitdiff
|
tree
2023-09-05
Johann
e
s K
l
iemann
ada: S
u
pport
s
etting task affinity
on
QN
X
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan Lacambre
a
da: buil
d
ing_exe
c
u
table_programs
_
with_gnat
.
r
s
t:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel King
ada
:
Preserve capability va
l
i
dit
y
in
a
ddress arithmet
i
c
commit
|
commitdiff
|
tree
2023-09-05
Eri
c
B
o
t
cazo
u
ada: Fix inte
r
n
a
l er
r
or o
n
instan
t
iation with privat
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri
Ber
n
s
t
ein
ada:
R
e
move GNATchec
k
violations
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanqu
e
s
a
da: Add
miss
i
ng units
to
M
akefile
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sheri
B
ernstein
ada
:
Handle
G
N
ATcheck violations
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada: Enfo
r
ce
subtype conform
a
nce of interf
a
c
e
p
rimi
t
ives
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanque
s
a
da: T
w
e
ak comment a
b
out task
i
n
g
corner c
a
se
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhi
è
s
Revert
"
Adjust
o
ne Ad
a
test"
commit
|
commitdiff
|
tree
2023-08-07
Sh
e
ri Bernstein
ada: Refactor mult
i
ple
re
t
urns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojanek
ada:
Extend precondition of Interf
a
ces
.
C
.
String
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yanni
c
k Moy
ada: Crash in G
N
ATprove d
u
e to wrong detection of inl
i
n
i
ng
commit
|
commitdiff
|
tree
2023-08-07
J
a
vier Miranda
ada: Spu
r
i
o
us error
on
c
lass-wide pr
e
conditions
commit
|
commitdiff
|
tree
2023-08-03
She
r
i Bern
s
t
ein
ada:
Add pragma Annotate for GNATcheck exemptions
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy
F
ofano
v
ada: Rewrite Set_Imag
e
_
*_Unsigned r
o
utines to remove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botca
z
ou
ada: Fix spurious erro
r
on 'Input of pr
i
v
a
te t
y
pe
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
a
d
a: A
d
just again
address arithm
e
t
i
c
s
in System
.
Dw
a
rf
_
Lines
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Fix prin
t
ing of numb
e
rs in
JSON ou
t
put for data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yann
i
ck M
o
y
ad
a
: Disable inlining
of subprograms
w
ith Skip(_Flo
w
_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve
B
aird
ada: B
u
gbo
x
compil
i
n
g
Constrained_Pro
t
ect
e
d_O
b
je
c
t
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ste
v
e Baird
ada:
I
ncorrec
t
opti
m
i
z
ation for uncons
t
raine
d
limited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pas
c
al Obry
ada:
D
efault Put_I
m
age for composite
de
r
i
v
e
d
types
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yann
i
ck M
o
y
ada: Fix generation of JSON
o
utp
u
t fo
r
data rep
r
esentation
commit
|
commitdiff
|
tree
2023-08-01
B
ob Duff
ada: check
Atree
.
Get/
S
et_
F
ie
l
d
_
V
alue
commit
|
commitdiff
|
tree
2023-08-01
L
éo
Cr
e
u
se
ada: Emi
t
SCOs for
n
ested de
c
i
sions in quantified
expressions
commit
|
commitdiff
|
tree
2023-07-28
Eri
c
B
o
t
c
a
zou
a
d
a
: Elide the copy i
n
extended re
t
urns for
nonlimited
.
.
.
commit
|
commitdiff
|
tree
next