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: Preliminary cleanup in aliasing support code
2024-01-09
E
ric Botcazou
ad
a
: Prelim
i
nary cleanup in aliasing support code
commit
|
commitdiff
|
tree
2024-01-09
Vilj
a
r Indus
ada
:
D
o not count comparison of addre
s
ses as a
m
od
i
fi
c
ation
commit
|
commitdiff
|
tree
2024-01-09
Ga
r
y Dis
m
ukes
ada: Minor change repla
c
ing "not Present" te
s
ts with
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Bob Duff
a
da: Allow
p
assi
n
g privat
e
types
t
o generic
f
o
r
mal
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Gary Di
s
mukes
a
da: Ex
c
e
s
s elements
c
reated for ind
e
x
e
d a
g
greg
a
te
s
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Eric B
o
tcazou
ada: Remove
u
n
used runtime entity
commit
|
commitdiff
|
tree
2024-01-09
T
u
cker Taft
ada: Fix limited_with
i
n
C
heck_Sci
l
; allow for <> i
n
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
E
ric Botcazou
ad
a
: Fix
i
nternal
e
rror on class-wi
d
e allocator in
s
id
e
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Er
i
c
Botcazou
ada: Add
__atomic_store_n binding
to System
.
Atomic_Pr
i
mitives
commit
|
commitdiff
|
tree
2024-01-09
Javier Miran
d
a
ada: C
a
nnot requeue t
o
a
procedure implemented by
a
n
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Pio
t
r Trojanek
ada: Remove s
i
de
effects depend
i
ng on the context
o
f
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
P
i
otr Trojanek
ada: Mo
r
e aggre
s
s
i
ve inlining of subprogram calls
in
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
P
i
otr Trojanek
ada: R
e
move de
a
d detection of recursive inlin
e
d sub
p
rograms
commit
|
commitdiff
|
tree
2024-01-09
Piotr Trojanek
ada:
R
emove
dead code
f
or GNAT
p
rove inlinin
g
commit
|
commitdiff
|
tree
2024-01-09
Piotr Trojanek
a
d
a
: Fix uses of
n
ot Present
commit
|
commitdiff
|
tree
2024-01-09
Steve Baird
ada: Fix
bug
i
n Sem_Uti
l
.
E
n
closing_Declaration
commit
|
commitdiff
|
tree
2024-01-09
St
e
v
e
Baird
a
d
a: Error compiling Ada
2022 ob
j
ect rena
m
ing wit
h
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Joffrey Huguet
a
da: Fix preconditio
n
in
I
nterfaces
.
C
.
Str
i
n
g
s
commit
|
commitdiff
|
tree
2024-01-09
Eri
c
Botcazou
ada: R
e
move unrea
c
h
a
ble
code in Re
s
olv
e
_Extens
i
on
_
A
gg
r
egate
commit
|
commitdiff
|
tree
2024-01-09
Bo
b
D
u
ff
ada: Avoid xr
e
f o
n
o
ut params of TSS
commit
|
commitdiff
|
tree
2024-01-09
P
i
ot
r
Trojanek
a
d
a: D
o
cum
e
nt new S
P
A
R
K aspect and prag
m
a
Always_Terminate
s
commit
|
commitdiff
|
tree
2023-12-19
Marc Poulhiès
te
s
tsuite: adjust call to abort in excess-precisi
o
n-12
commit
|
commitdiff
|
tree
2023-12-19
M
arc Poulhiès
ada: Add makefile targets
for building/inst
a
lling html doc
commit
|
commitdiff
|
tree
2023-12-19
E
r
ic Botcazou
ada:
Fix inter
n
al error on c
a
ll with parameter
o
f pr
e
dicate
d
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Viljar Indus
a
d
a
:
C
heck all inte
r
fa
c
es for valid iterator
type
commit
|
commitdiff
|
tree
2023-12-19
Gary Dismukes
a
d
a: Missing error on
p
ositional container ag
g
r
egates
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Sher
i
Bernstein
ada: Rem
o
ve
G
N
ATcheck violations
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazou
a
d
a
: Rework c
o
mm
e
nt i
n
Expand_Ctrl
_
Func
t
i
on_
C
all
commit
|
commitdiff
|
tree
2023-12-19
G
ary
Dismukes
ada:
C
ompile
r
hang
s
o
n
container
aggreg
a
te with function
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Piot
r
T
rojanek
ada: Fix style and typos in comments
commit
|
commitdiff
|
tree
2023-12-19
Pi
o
t
r Trojanek
ada: R
e
move un
r
eferenced utility routine Get_Logi
c
al_Lin
e
_Nu
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Pa
t
rick Bern
a
rdi
ad
a
:
gnat
b
ind:
D
o n
o
t generate Ada
.
Com
m
and_Line refe
r
ences
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
V
a
sil
i
y Fofa
n
o
v
ada: Optimi
z
e pe
r
f
o
rmanc
e
and remo
v
e dynamic fram
e
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Pi
o
t
r
Trojanek
ad
a
:
I
gnore unconstra
i
ned comp
o
nents
as in
p
uts for
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Botca
z
o
u
ada:
Ren
a
me
Is_Constr_Subt_For_UN_Al
i
ased flag
commit
|
commitdiff
|
tree
2023-12-19
Joh
a
nnes Kliema
n
n
a
da: Remove No_
D
y
n
amic_Priorities
f
rom
R
estricted_Tasking
commit
|
commitdiff
|
tree
2023-12-19
Patri
c
k Bernardi
ada: Adapt Ada
.
C
ommand_Line to w
o
rk on configurable
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
R
ona
n
Desplanqu
e
s
ada: Fix crash on concurrent
t
ype aggregate
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazou
ada: Fur
t
her cleanup i
n
fina
l
ization mach
i
ner
y
commit
|
commitdiff
|
tree
2023-12-19
Yann
i
ck Moy
ada: F
i
x SP
A
RK expansion of
container aggregates
commit
|
commitdiff
|
tree
2023-12-19
Eric Botca
z
ou
ada: Add missing g
u
a
rd to prev
i
o
u
s change
commit
|
commitdiff
|
tree
2023-12-19
Eric
B
o
tcaz
o
u
ad
a
: Fix spurious visibility error
on
parent's component
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazo
u
a
da:
P
l
u
g small loophole i
n
f
i
naliza
t
ion m
a
chinery
commit
|
commitdiff
|
tree
2023-12-19
Steve B
a
ir
d
ada: Cope
w
ith Sem_Util
.
Enclo
s
ing
_
Declaration oddness
.
commit
|
commitdiff
|
tree
2023-12-19
Ronan De
s
planques
ada: Restore object
cons
t
raint optimization
commit
|
commitdiff
|
tree
2023-12-19
Y
a
nnick
M
oy
ada: Do not i
s
sue
S
PA
R
K legality error if SPARK
_
M
o
de
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Yannick Moy
ada
:
Cleanup
SPA
R
K
legalit
y
checking
commit
|
commitdiff
|
tree
2023-12-19
St
e
ve Ba
i
rd
ada: Il
l
egal ins
t
ance of
Generic_1
.
G
eneric_2 incorrect
l
y
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
E
r
ic Botcazou
ada: Furt
h
er
clean
u
p
i
n fi
n
al
i
zation ma
c
hiner
y
commit
|
commitdiff
|
tree
2023-12-14
Pierre-Emma
n
u
e
l
.
.
.
build: Add libgrust as comp
i
la
t
ion m
o
dules
commit
|
commitdiff
|
tree
2023-12-14
Pierre-Emm
a
nuel
.
.
.
li
b
grust
:
Add l
i
b
proc_macro and b
u
ild system
commit
|
commitdiff
|
tree
2023-12-14
Pi
e
rre-Emmanue
l
.
.
.
li
b
grust: Ad
d
entry fo
r
maintainers
commit
|
commitdiff
|
tree
2023-12-14
Pie
r
re-Emmanuel
.
.
.
libgrust: Add Chang
e
Log file
commit
|
commitdiff
|
tree
2023-12-08
Marc Poulh
i
ès
Re
v
ert "test
s
u
i
te: require a
v
x_runtime for some tests"
commit
|
commitdiff
|
tree
2023-12-07
M
arc Poulh
i
ès
test
s
ui
t
e
:
skip g
c
c
.
target/
i
3
86/pr10691
0
-1
.
c tes
t
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2023-12-07
Mar
c
Pou
l
hiès
t
estsuite: refine gcc
.
d
g
/analyzer/fd
-
4
.
c
test
f
or newlib
commit
|
commitdiff
|
tree
2023-12-07
Marc Poulhiès
testsuit
e
: req
u
ire avx_runt
i
me fo
r
some tests
commit
|
commitdiff
|
tree
2023-11-30
E
r
ic
Botcazou
ad
a
:
R
e
w
o
rk fix for wrong finaliza
t
ion
o
f qualifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Ste
v
e Bair
d
ada: Suppor
t
Put_I
m
ag
e
fo
r
types in user-defined inst
a
nces
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Yan
n
i
c
k
Moy
ada: R
e
move SPARK legality che
c
ks
commit
|
commitdiff
|
tree
2023-11-30
Sheri Berns
t
ein
ada:
R
emove GNATcheck v
i
olat
i
ons
commit
|
commitdiff
|
tree
2023-11-30
V
i
l
j
ar Ind
u
s
ada: Ign
o
re de
f
ered c
o
m
pile tim
e
e
r
rors w
i
th
o
ut
b
ackend
commit
|
commitdiff
|
tree
2023-11-30
Yannick Moy
ada: F
i
x
s
pelling
o
f fu
n
ctions with(out) "side eff
e
cts"
commit
|
commitdiff
|
tree
2023-11-30
J
a
v
i
er Mir
a
nda
ada: Crash ini
t
ializing
c
o
mponent of priv
a
te record
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
ada:
N
a
me resolution in exp
a
nded instances
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
ada:
Add comment d
e
s
c
ribi
n
g Pa
r
tition_Elaborati
o
n_Policy
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
St
e
ve Ba
i
r
d
ada: Too-strict conformance checking for formal discr
i
minate
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Eric Botca
z
ou
ada:
Fix predicate ch
e
c
k failure in Expand_Allocator_E
x
pression
commit
|
commitdiff
|
tree
2023-11-30
Eric B
o
tcazou
ada:
F
ix wrong finalization f
o
r qua
l
ified aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
S
t
e
ve
Baird
ada: Constant_Indexing u
s
e
d
when c
o
ntext r
e
qu
i
res a
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
S
i
mon Wright
Fix PR
a
da/111909 On
D
arwi
n
,
d
etermi
n
e filesystem case
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazo
u
ada: Fix
w
r
o
n
g
si
z
e
val
u
e output with -gnatR
-gnatc
commit
|
commitdiff
|
tree
2023-11-28
Mar
c
Poul
h
iès
ada: A
d
d comment f
o
r a
s
sertion
commit
|
commitdiff
|
tree
2023-11-28
Steve Baird
ada:
Error co
m
piling red
u
ction ex
p
r
ession wit
h
overl
o
aded
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Gary D
i
s
mukes
ada:
E
rro
r
s on inst
a
nce of Mu
l
tiway_Trees w
i
th d
i
sc
r
im
i
n
a
ted
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Bo
b
Duff
ada: Fa
l
se alarms
f
rom -gnat
w
.
t with
generic
functions
commit
|
commitdiff
|
tree
2023-11-28
Eric Bo
t
c
a
zou
ada: Further cleanup
in finalization machiner
y
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcaz
o
u
ada: Fix incorrect quoting i
n
documentation
commit
|
commitdiff
|
tree
2023-11-28
Er
i
c Botcazou
ada: Fix premature finalization for
nested ret
u
rn wi
t
hin
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Sebast
i
an Poep
l
au
a
da:
A
d
d
new predicate
Is_Address_Compatibl
e
_Type
commit
|
commitdiff
|
tree
2023-11-28
Gary Dismukes
ada: T
y
pe error on c
o
n
t
ainer aggregate
with
l
o
o
p_
p
aramet
e
r_
s
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric
B
otcazou
a
d
a
:
Fix internal error on declare expre
s
s
i
on in
expression
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Richard Ken
n
er
a
da:
H
andle un
c
heck
e
d con
v
ersion i
n
bound
commit
|
commitdiff
|
tree
2023-11-28
Yannick Moy
ada: R
e
move depend
e
ncy on
S
y
stem
.
Val_Bool in Sys
t
em
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Tucker
Taft
ada
:
F
ix pre
d
icate failur
e
that o
c
cur
r
ed in a test
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada: F
i
x mi
s
co
m
pilation of
l
oop over boolean range
commit
|
commitdiff
|
tree
2023-11-21
Eric
Botc
a
z
ou
ada: Fix is
s
ue
w
i
t
h indefinit
e
vector of o
v
er
a
ligned
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
G
a
ry
Dismukes
ada: Compi
l
e
r crash on container aggregate with loop_pa
r
a
met
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada: Ano
t
her cou
p
le o
f
clean
u
ps in t
h
e
finalization
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Steve Baird
ada: Deep
delta
aggregates in postconditions
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcaz
o
u
ada:
Small c
o
nsis
t
ency fix for -gna
t
wv
w
a
rning
commit
|
commitdiff
|
tree
2023-11-21
Gary Dism
u
kes
ada: Compiler error
r
eporting
i
l
l
eg
a
l p
r
efix on leg
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
E
r
i
c Bo
t
ca
z
ou
ada:
F
ix intern
a
l error on 'Addre
s
s of task c
o
m
ponent
commit
|
commitdiff
|
tree
2023-11-21
Viljar Indus
ada: Avoi
d
Style_Chec
k
s pragmas aff
e
c
t
ing other units
commit
|
commitdiff
|
tree
2023-11-21
Yannick Moy
a
da: Fix typ
e
for SPARK expan
s
ion on deep delta aggregates
commit
|
commitdiff
|
tree
2023-11-21
Er
i
c Bo
t
cazou
a
da: Furth
e
r cleanup
i
n finalization
m
a
c
h
i
n
e
ry
commit
|
commitdiff
|
tree
2023-11-21
J
ust
i
n Squirek
ada: Fix string indexing
w
it
h
in GNA
T
.
Calendar
.
Tim
e
_IO
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
E
r
i
c Botcazou
ada: Small improvement to
N
ul
l
_Status function
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada
:
Fur
t
her c
l
eanup
i
n finalizati
o
n
m
ac
h
i
ne
r
y
commit
|
commitdiff
|
tree
2023-11-21
D
o
ug
Rupp
ada: U
s
e
C
L
OCK_MONOTONIC on V
x
Works
commit
|
commitdiff
|
tree
next