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: Minor tweaks for comparison operators
2023-11-07
E
ri
c
Botcazou
ada: M
i
nor tw
e
aks
for
c
omparison ope
r
at
o
rs
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojane
k
ada: Clean
u
p "not Present" on
L
ist_I
d
commit
|
commitdiff
|
tree
2023-11-07
P
i
otr Trojanek
ada: Cleanup more "not Present"
commit
|
commitdiff
|
tree
2023-11-07
Ronan
D
esplan
q
ues
ada: Fix
docu
m
e
ntat
i
o
n
of -
g
natwc
commit
|
commitdiff
|
tree
2023-11-07
Steve Bai
r
d
ada: New Local_Restrictions and U
s
er_Aspect
a
spe
c
t
s
.
commit
|
commitdiff
|
tree
2023-11-07
Bob Du
f
f
a
d
a: Er
r
or in pre
f
ix-notation call
commit
|
commitdiff
|
tree
2023-11-07
P
i
otr Trojanek
ada: Remove duplicat
e
d code fo
r
expansion of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pi
o
tr Trojanek
ada:
S
i
m
p
l
ify ex
p
ansi
o
n of packed array
assignme
n
ts
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada:
F
i
x
ex
t
ra whites
p
a
ce after END keywo
r
ds
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Avoid
extra conver
s
ion in
e
xp
a
nsion
o
f p
a
cked
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Simp
l
ify handl
i
ng of k
n
own values in exp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Change
l
ocal va
r
iables to constants in ex
p
ans
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr
Trojanek
ada: Fix style in decla
r
atio
n
of
r
outine for expansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piot
r
T
r
ojanek
ada: Cleanup getting of actual
subty
p
es
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
a
d
a
: Fix handling of actual subt
y
pes for expan
d
ed name
s
commit
|
commitdiff
|
tree
2023-11-07
Viljar Indus
ada
:
Simplify co
d
e for Ignore_St
y
le
_
Checks_Pragma
s
commit
|
commitdiff
|
tree
2023-11-07
Vilj
a
r Ind
u
s
ada:
F
ix scope of se
m
ant
i
c
s
tyl
e
_check pragmas
commit
|
commitdiff
|
tree
2023-11-07
E
r
i
c B
o
tcazou
ada: F
i
x i
n
t
ernal error on address of elem
e
nt
of pac
k
ed
.
.
.
commit
|
commitdiff
|
tree
2023-10-19
Yannick Moy
ada: Support n
e
w
SPARK asp
e
ct Side_Effects
commit
|
commitdiff
|
tree
2023-10-19
Sheri Bernstein
ada: Re
f
actor code t
o
remove GNATchec
k
violation
commit
|
commitdiff
|
tree
2023-10-19
Sheri Bernstein
ada:
A
d
d p
r
agma Annotate
f
o
r GNA
T
check
exemp
t
ions
commit
|
commitdiff
|
tree
2023-10-19
Patric
k
B
ernardi
ada: Docu
m
ent
gnatbi
n
d -Q switch
commit
|
commitdiff
|
tree
2023-10-19
Ronan Des
p
lanques
ada: Se
i
ze opportunity to reuse
L
i
st_Length
commit
|
commitdiff
|
tree
2023-10-19
Piotr Trojanek
ada: Simplify "no
t
Pr
e
s
e
nt" with "No"
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
ada
:
Fix internal err
o
r
on too
large representation
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Rona
n
Desplanq
u
e
s
ada: Tweak
internal subprog
r
a
m in Ada
.
Dir
e
ctories
commit
|
commitdiff
|
tree
2023-10-10
Eri
c
Botcaz
o
u
a
d
a: Remove superfl
u
ous s
e
tter procedure
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
ada: Fix bad finalization of limited aggregate in
c
o
ndit
i
ona
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
a
d
a
:
Fi
x
i
nfin
i
te loop
with multi
p
le limited with clauses
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desplanques
ad
a
:
Fix fi
l
e
system
e
ntr
y
filtering
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desp
l
a
nques
ada: Tweak do
c
u
ment
a
t
i
on comments
commit
|
commitdiff
|
tree
2023-10-10
Javier Miran
d
a
ada: Cr
a
sh pro
c
essing pragmas Com
p
ile_T
i
me_Error
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botcazou
ada: Fix missing call to Finalize_Protection for simple
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Bot
c
azou
ada: Fix deferred const
a
n
t
wrongly r
e
ject
e
d
commit
|
commitdiff
|
tree
2023-09-26
Marc
P
oulhiès
ada:
F
i
x unnesting
g
e
nerated loo
p
s
wi
t
h nested finaliza
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javier Miranda
ada: Crash processing the accessibilit
y
l
e
vel of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botc
a
zou
a
da: Fix
mis
s
ing
f
inalization of extended return
object
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel Ki
n
g
a
d
a: Up
d
a
t
e personal
i
t
y functio
n
for
C
H
ERI pure
c
ap
commit
|
commitdiff
|
tree
2023-09-26
D
ani
e
l Ki
n
g
ada: Fix conversions between ad
d
r
esses a
n
d integers
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: A
d
d
CHERI va
r
ian
t
of
System
.
Strea
m
_Attribute
s
commit
|
commitdiff
|
tree
2023-09-26
Dani
e
l King
ada: Define C
H
ERI exception ty
p
e
s
commit
|
commitdiff
|
tree
2023-09-26
Ronan Despla
n
ques
a
d
a
: M
a
k
e minor c
o
rre
c
t
i
ons to CUDA-r
e
l
ated commen
t
s
commit
|
commitdiff
|
tree
2023-09-26
Derek
S
chacht
ada:
D
imensional analysi
s
when used with element
a
ry
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Yannick Moy
ada:
C
larify RM references t
h
at justify a co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard Wai
ada
:
TSS
f
in
a
lize address
s
ubprogram
gener
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard Wai
ada: Priv
a
te extensions with the ke
y
w
ord
"synch
r
onized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Mar
c
Poulhiès
ada:
Refine up
p
er array bound for bit pa
c
ked array
commit
|
commitdiff
|
tree
2023-09-19
Javier Miranda
ada
:
Crash proces
s
in
g
type invariants
on
c
hild subprogram
commit
|
commitdiff
|
tree
2023-09-15
E
r
i
c
Bo
t
cazou
ada: Fix minor
gl
i
tch in finish_record_
t
ype
commit
|
commitdiff
|
tree
2023-09-15
P
i
otr Troj
a
nek
ada:
Explicitly analyz
e
a
n
d
ex
p
a
n
d
null ar
r
a
y aggrega
t
es
commit
|
commitdiff
|
tree
2023-09-15
E
ric
Botcazou
ada: Fix wrong
o
ptimiza
t
ion of
extende
d
r
etur
n
for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patri
c
k Bernar
d
i
ada: Do no
t
perfo
r
m local
-
exce
p
tio
n
-to-g
o
to optimi
z
ation
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick Bernardi
ada: G
e
nerate r
u
ntime restrictions l
i
st
wh
e
n the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Bo
t
cazou
ad
a
: Fix internal er
r
or on mis
a
ligned compo
n
ent wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada: Fix
internal error on
aggregate nested in conta
i
ner
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le Gouguec
a
d
a: R
e
move GNAT P
r
o det
a
il
s
regarding mold
commit
|
commitdiff
|
tree
2023-09-15
Eric B
o
tcazou
ada: Fix i
n
ternal error on
e
xpression function wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
B
o
b Duff
ada: Clean
u
p sc
o
pe depth and related cod
e
(tech debt)
commit
|
commitdiff
|
tree
2023-09-15
Javier
M
i
r
anda
ada: Crash on c
r
eation of ext
r
a formals on type exten
s
ion
commit
|
commitdiff
|
tree
2023-09-14
Yann
i
ck Moy
ada: Improve detectio
n
of deactivated co
d
e for w
a
rnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
J
avier
Mi
r
anda
ada: Asser
t
ion f
a
i
lure o
n
expansi
o
n of record w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
J
avier
M
i
randa
ada:
A
ssertion failure on calcu
l
ation of Large_Max_S
i
ze_Mutabl
e
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Ass
e
r
t
ion failure on for-of loop
i
terating
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric
B
otcazou
ada: Fix late f
i
nalizatio
n
for funct
i
on call in d
e
lta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eri
c
B
o
t
cazou
ada:
F
ix premature finaliza
t
ion in loop o
v
er
l
imited
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier M
i
randa
ada:
Ass
e
rtio
n
failure adding ext
r
a formals to
l
at
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Botcazou
ada: Elide
t
he
copy in extended r
e
turns
fo
r
nonlimited
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Trom
e
y
a
d
a
: Fix
D
WARF for cer
t
ain arrays
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tro
j
a
nek
ada
:
Re
m
ov
e
r
edundant protection agai
n
st empty list
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
ada: Add guard before querying th
e
type for its i
n
terfaces
commit
|
commitdiff
|
tree
2023-09-05
Pio
t
r Trojanek
ada: Remove redundan
t
g
uard against an empt
y
l
i
st of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric B
o
tcazou
ada: Fix prob
l
emat
i
c
secondary
s
tack managemen
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob Duff
a
da: Fi
x
crash
o
n se
l
ected component lookup in gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ronan
Desplanqu
e
s
a
da: Fix
s
p
urious wa
r
ning emissions
commit
|
commitdiff
|
tree
2023-09-05
E
r
ic Botcazou
ada: Fix assertion failure on very peculiar enumerati
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss Merzougue
ada: Re
m
o
ve TBC commen
t
,
n
o
m
or
e
needed
commit
|
commitdiff
|
tree
2023-09-05
Javier
Miranda
a
d
a
: C
r
a
sh on creation of extra formals o
n
type extension
commit
|
commitdiff
|
tree
2023-09-05
Alexandre Oliva
ada:
Pass -msmp when
link
i
ng for ppc-vx6
--RTS=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada: Crash on function r
e
turning empty A
d
a 2022 aggreg
a
te
commit
|
commitdiff
|
tree
2023-09-05
Steve Bai
r
d
ada
:
C
o
m
p
iler ha
n
gs
o
n
invalid postcondi
t
ion
commit
|
commitdiff
|
tree
2023-09-05
S
t
eve Baird
ada: Spurious warning about
negative modular li
t
eral
commit
|
commitdiff
|
tree
2023-09-05
Johan
n
es Kliemann
ada: Support setting task affinity on
Q
NX
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan La
c
ambre
ada: building_e
x
ecutable_progra
m
s_with_gnat
.
rst:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Danie
l
K
ing
ada: Preserve c
a
pability validit
y
in add
r
e
ss
a
rithm
e
tic
commit
|
commitdiff
|
tree
2023-09-05
E
r
i
c
B
otcazou
ada: Fix i
n
t
ernal e
r
r
or on instantiation with private
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
She
r
i Be
r
n
s
tein
ada: Remove GNATchec
k
vio
l
ations
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desp
l
anques
ada
:
Add mi
s
sing
u
n
its to Makefile
.
rt
l
commit
|
commitdiff
|
tree
2023-09-05
S
h
eri
Ber
n
stein
ada: Handle G
N
AT
c
heck vio
l
ations
commit
|
commitdiff
|
tree
2023-09-05
Javi
e
r Miranda
ada: Enfo
r
ce subtype c
o
nf
o
rmance of interface
primitives
commit
|
commitdiff
|
tree
2023-09-05
R
o
n
an
D
es
p
lanqu
e
s
ad
a
:
T
weak
c
omme
n
t a
b
out tasking co
r
ner
c
ase
commit
|
commitdiff
|
tree
2023-09-05
Marc Pou
l
hiès
Re
v
e
rt "Adju
s
t one
Ada test"
commit
|
commitdiff
|
tree
2023-08-07
S
heri
B
er
n
stein
ada: Ref
a
ctor multiple returns
commit
|
commitdiff
|
tree
2023-08-07
Pi
o
t
r
Troja
n
ek
ada:
Extend p
r
ec
o
ndition of
Inter
f
aces
.
C
.
Str
i
ng
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yannick Mo
y
ada
:
Crash in G
N
ATpr
o
ve
d
u
e to wrong detection
o
f inlini
n
g
commit
|
commitdiff
|
tree
2023-08-07
Javie
r
Miranda
ada: Sp
u
rious error on class-wide preconditions
commit
|
commitdiff
|
tree
2023-08-03
S
h
eri Berns
t
ein
ada: Add
p
r
agma Annotat
e
for
G
N
A
Tcheck exempt
i
ons
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy Fofanov
ada: Rewrite Set_Image
_
*_Unsigned rou
t
i
n
es to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
a
d
a: Fix s
p
urious
e
rror on
'
Input of private typ
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Bo
t
c
a
z
o
u
ada: Adjust again
a
ddress arithmetics
i
n
Sy
s
t
e
m
.
Dwarf_Lines
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Fix prin
t
i
n
g
of numb
e
rs
i
n JSON
o
utp
u
t for data
.
.
.
commit
|
commitdiff
|
tree
next