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: Remove GNAT Pro details regarding mold
2023-09-15
K
é
vin Le Gouguec
ada: Remove GNAT Pro
d
etails regarding mold
commit
|
commitdiff
|
tree
2023-09-15
Eric Bo
t
caz
o
u
ad
a
:
Fix internal
e
r
ror on expressio
n
function with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bo
b
Duff
ad
a
: Clean up scope
depth an
d
relate
d
code (tech
d
eb
t
)
commit
|
commitdiff
|
tree
2023-09-15
J
avier Miranda
a
d
a: C
r
ash on
cr
e
ation
of ext
r
a formals on type ext
e
nsion
commit
|
commitdiff
|
tree
2023-09-14
Yannick M
o
y
ada: Improve detect
i
on of de
a
ct
i
vated code for warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Mira
n
d
a
ada: As
s
ertion f
a
ilure on e
x
pansi
o
n
o
f
reco
r
d
wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Jav
i
er Miranda
ada: Asse
r
tion fail
u
re on
calculatio
n
of Large_Max_S
i
ze_Mut
a
ble
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada:
Asser
t
ion failure on f
o
r-of loop iterat
i
ng o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botc
a
zou
a
d
a
:
Fix late finalization for function call
i
n delta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botca
z
ou
a
d
a: Fix premature
f
inalization in lo
o
p over limite
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada:
A
ssertion failure a
d
ding extra formals to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric
B
o
tc
a
zou
a
da: E
l
i
de the copy in ex
t
ended return
s
for nonli
m
it
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tro
m
ey
ada: Fix DWARF
f
o
r
certain arra
y
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
ad
a
: Remove redundant p
r
otection aga
i
nst empty list
commit
|
commitdiff
|
tree
2023-09-05
Pio
t
r
T
rojanek
ada: Add
g
uard before quer
y
ing t
h
e type for its interfaces
commit
|
commitdiff
|
tree
2023-09-05
Piotr
Trojanek
ada: Remove redundant
g
uard
against an em
p
t
y
list of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bot
c
azou
a
da:
F
i
x
problematic seco
n
da
r
y s
t
ack management
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bo
b
Duff
ada
:
Fix
c
ras
h
on selected comp
o
nent loo
k
up
in gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ro
n
an Desplanques
ada: Fix spurious w
a
rning
emis
s
ions
commit
|
commitdiff
|
tree
2023-09-05
Eric B
o
tc
a
zou
ada:
F
i
x assertio
n
failure on ver
y
peculia
r
enume
r
ation
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss Mer
z
ougue
ada
:
Remove TBC c
o
mme
n
t, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Javi
e
r M
i
randa
ada: Crash on creation of extra fo
r
m
als on
t
ype
extens
i
on
commit
|
commitdiff
|
tree
2023-09-05
Alex
a
n
d
re Oliv
a
ada: Pass
-msmp wh
e
n lin
k
i
n
g
for ppc-vx6 --RTS=rtp-sm
p
commit
|
commitdiff
|
tree
2023-09-05
Javie
r
Miranda
ada:
Cra
s
h on fun
c
tion
returning empty Ada
2
022 aggregate
commit
|
commitdiff
|
tree
2023-09-05
Steve Baird
ada
:
Comp
i
ler h
a
n
g
s on i
n
valid post
c
ondition
commit
|
commitdiff
|
tree
2023-09-05
Steve
B
ai
r
d
ada: Spuriou
s
war
n
ing about negative modular li
t
er
a
l
commit
|
commitdiff
|
tree
2023-09-05
J
ohannes Kliemann
ada: S
u
pport setting task
affinity o
n
QNX
commit
|
commitdiff
|
tree
2023-09-05
G
hjuva
n
Lacambre
ada: building_e
x
ecutable_
p
rogr
a
ms
_
with_gnat
.
rst: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel
K
ing
ada: Preserve
c
apability validity in addre
s
s arithmetic
commit
|
commitdiff
|
tree
2023-09-05
Eric Botca
z
ou
ada: Fix internal error on i
n
sta
n
tiation with
p
rivate
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri
Bernstein
a
d
a: Rem
o
ve GNATc
h
eck violations
commit
|
commitdiff
|
tree
2023-09-05
R
o
n
a
n De
s
planques
ada: Add missing units to
Mak
e
file
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sheri
B
erns
t
ein
ada: Handle GNATcheck
v
iolations
commit
|
commitdiff
|
tree
2023-09-05
Javie
r
Mir
a
nda
a
da: Enforc
e
sub
t
y
pe co
n
forma
n
ce of interface primitives
commit
|
commitdiff
|
tree
2023-09-05
R
onan Des
p
lanques
ada: Tweak comment about ta
s
king corner case
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhiès
Revert "Adj
u
st one Ada
t
est"
commit
|
commitdiff
|
tree
2023-08-07
Sheri Bernstei
n
ada
:
Refac
t
or m
u
l
t
i
p
l
e return
s
commit
|
commitdiff
|
tree
2023-08-07
P
i
otr Trojanek
ada: Extend precondit
i
o
n
of
Interf
a
ces
.
C
.
String
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Ya
n
n
i
c
k Moy
ada
:
Cras
h
in GN
A
Tprove due to wro
n
g detecti
o
n of i
n
lini
n
g
commit
|
commitdiff
|
tree
2023-08-07
J
a
vier Mirand
a
ada: Spurious er
r
or on
cl
a
ss-wide p
r
econditions
commit
|
commitdiff
|
tree
2023-08-03
Sheri Be
r
nstein
ada
:
Add
p
ragma An
n
ot
a
te for GNA
T
check exemptions
commit
|
commitdiff
|
tree
2023-08-03
V
as
i
liy Fo
f
anov
ada: Rewrite
S
et_Image_*_Unsigned routines to remov
e
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Bo
t
cazou
ada: Fix spurious error
o
n 'Input of private
type with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eri
c
Botcazou
ada
:
A
d
just
a
gain address arithmetics in
S
ys
t
em
.
D
w
arf
_
L
i
nes
commit
|
commitdiff
|
tree
2023-08-01
Yanni
c
k Moy
a
da: Fix printing of numbe
r
s in JS
O
N output for da
t
a
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Y
a
n
n
ick
Moy
ada: Disable inlini
n
g o
f
subpr
o
gr
a
m
s with Skip(_Flow_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
S
t
eve Baird
ada: Bug
b
ox compiling Constrained_Protected_
O
bjec
t
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
ada: Inco
r
rect
o
ptimization
f
or
unco
n
strained li
m
ited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal Obry
ada: Default Pu
t
_Image for composite derived type
s
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: F
i
x generat
i
o
n of JSON output for dat
a
r
epresentati
o
n
commit
|
commitdiff
|
tree
2023-08-01
Bob
Duff
ada
:
c
h
eck Atree
.
G
e
t/Se
t
_Field_Value
commit
|
commitdiff
|
tree
2023-08-01
Léo Creuse
a
d
a
:
Emit SCOs f
o
r nested de
c
is
i
ons in q
u
antified
expr
e
ssi
o
ns
commit
|
commitdiff
|
tree
2023-07-28
Er
i
c Botca
z
ou
ad
a
: Elide the c
o
py i
n
exten
d
ed r
e
turns for nonlimited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Cl
é
ment Chigot
ada: Ad
d
an asser
t
in Posix Interru
p
t_Wai
t
commit
|
commitdiff
|
tree
2023-07-28
Ja
v
i
e
r M
i
ra
n
d
a
ada: Fix uns
u
p
ported d
i
spatching
c
o
nstru
c
tor call
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
ada: A
d
d sup
p
ort fo
r
bin
d
in
g
to a speci
f
ic network
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
L
éo
C
reuse
ada
:
Add mis
s
i
ng S
C
O
generat
i
o
n
for quantified e
x
pre
s
sions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ronan
D
esplanques
ad
a
:
Fix race condition in pr
o
tected ent
r
y call
commit
|
commitdiff
|
tree
2023-07-28
V
i
ljar Indus
ad
a
: Small refa
c
tor
commit
|
commitdiff
|
tree
2023-07-28
P
i
ot
r
Troj
a
n
e
k
ada: Add guard
for dete
c
tion o
f
class-wide precondition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ada: Fix memory explosi
o
n on aggregate of nested pa
c
k
ed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Leave detection
of missing return in
functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom
T
romey
ada: Emit enums rathe
r
than defines for various
c
onsta
n
ts
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
a
d
a
:
F
i
x typo
i
n comment of Ada
.
Exception
s
.
Save
_
Occurrence
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: A
l
low calls to Number_
F
ormals
when no formals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Improve defense against i
l
lega
l
code in check
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
M
arc
P
oulhiès
A
d
just one Ada test
commit
|
commitdiff
|
tree
2023-07-18
Tom Trom
e
y
ada: Us
e
n
ew typedefs in gcc-interface
commit
|
commitdiff
|
tree
2023-07-18
J
avier Mira
n
d
a
ada: Constraint_E
r
ror c
a
u
s
e
d by 'I
m
age app
l
i
e
d
t
o int
e
r
face
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
a
da: A
v
oid iterator conflicts i
n
contain
e
r ag
g
r
e
gat
e
s
commit
|
commitdiff
|
tree
2023-07-18
Viljar
Indus
ad
a
: A
p
ply correct
element type for container aggr
e
gates
commit
|
commitdiff
|
tree
2023-07-18
V
iljar Indus
ada: Fix e
x
panding
co
n
t
ainer aggreg
a
tes with It
e
rator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Er
i
c Bo
t
c
a
zou
ada: I
m
prove erro
r
message for ambiguous subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Javier Mira
n
da
ada: Cons
t
r
a
in
t
_Er
r
or
caused by interface conversion
commit
|
commitdiff
|
tree
2023-07-18
Ronan Desplanques
a
da:
T
w
eak CPU
a
ffinity h
a
ndling on L
i
nu
x
commit
|
commitdiff
|
tree
2023-07-18
Eric
Botcazou
ada: F
i
x internal error on
aggregat
e
s of se
l
f-refer
e
nc
i
ng
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric Botc
a
zou
ada: Fix asserti
o
n
failure intro
d
uced by latest change
commit
|
commitdiff
|
tree
2023-07-18
Al
e
xandre
O
liva
ada: Expose
expected_throw attr
i
b
ute
commit
|
commitdiff
|
tree
2023-07-18
Vasiliy
F
o
f
a
nov
ada: Refactor s-pack* units to remov
e
multiple returns
commit
|
commitdiff
|
tree
2023-07-18
Ya
n
nick Moy
ada: Al
l
ow w
a
r
nings wi
t
h ex
p
lain code
commit
|
commitdiff
|
tree
2023-07-18
Eric Botcazou
ada:
F
ix V
a
lid_Sca
l
a
rs attribute applie
d
to types from
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob Duff
ada: Avoid renaming_d
e
cl in case
o
f
constrained
array
commit
|
commitdiff
|
tree
2023-07-11
Eric
B
ot
c
azo
u
a
d
a:
Fix w
r
ong resolution fo
r
hidd
e
n discr
i
minant in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
E
r
ic Bo
t
cazou
ada: Follow-up f
i
x for compila
t
ion is
s
ue with recent
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Tom Tr
o
mey
ada
:
Add typedefs t
o
s
n
ames
.
h-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Yannick M
o
y
ada: Simplify assertion
t
o remove CodeP
e
er
m
essage
commit
|
commitdiff
|
tree
2023-07-10
Bob Duff
a
da: Documen
t
ati
o
n
for mi
x
ed declarations and stat
e
m
ents
commit
|
commitdiff
|
tree
2023-07-10
Alex
a
ndre
O
liva
ada:
h
a
r
dcfr: opti
o
nally d
i
sable in leaf
f
unctions
commit
|
commitdiff
|
tree
2023-07-10
Alexa
n
dre Oli
v
a
ada:
h
ardc
f
r: mark th
r
ow-expec
t
ed functions
commit
|
commitdiff
|
tree
2023-07-10
Yannic
k
Mo
y
ada: Ada
p
t proo
f
o
f System
.
A
r
ith_
D
ouble to remov
e
CVC
4
commit
|
commitdiff
|
tree
2023-07-10
Alexan
d
re Oliva
a
da: Add leafy mode f
o
r ze
r
o-c
a
l
l
-
u
sed-
r
egs
commit
|
commitdiff
|
tree
2023-07-06
Claire
D
ross
a
da: Add s
p
ecif
i
catio
n
source
f
i
l
e
s
of
r
untime units
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ada:
R
e
f
actor the
proof
of
the Value
a
nd
I
m
a
ge
r
untime
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Vi
l
ja
r
Indus
ada: Ev
a
luate
s
t
atic express
i
ons
i
n
R
ange attributes
commit
|
commitdiff
|
tree
2023-07-06
Viljar
I
ndu
s
a
d
a
: Refer to non-Ada binding lim
i
tatio
n
s in use
r
guid
e
commit
|
commitdiff
|
tree
2023-07-06
V
i
ljar Ind
u
s
ada: Reuse
code i
n
Is_Fully_Initialized_Ty
p
e
commit
|
commitdiff
|
tree
2023-07-06
Vilja
r
Indus
ada:
Avoid crash in Find_Op
t
ional_Prim_Op
commit
|
commitdiff
|
tree
2023-07-06
Yannic
k
Moy
ada
:
Improve erro
r
messag
e
on violatio
n
of
S
PARK_Mod
e
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Stev
e
B
aird
ada:
F
inalization not performed for compon
e
nt of
protected
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric Botcazou
ada:
D
o not
u
nnecessaril
y
use
c
ompone
n
t-wi
s
e loop for
.
.
.
commit
|
commitdiff
|
tree
next