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 unreachable code in Resolve_Extension_Aggregate
2024-01-09
Eric Botcazou
ada
:
Re
m
ove unreachabl
e
code in Resolve_E
x
t
e
nsion_Aggr
e
gate
commit
|
commitdiff
|
tree
2024-01-09
Bob Du
f
f
ada: Avoid xref on out params of TSS
commit
|
commitdiff
|
tree
2024-01-09
Piotr Trojanek
a
d
a: Document n
e
w SPARK aspe
c
t an
d
p
r
agma
A
lways_Terminates
commit
|
commitdiff
|
tree
2023-12-19
Marc
Poulhiès
tests
u
ite: ad
j
us
t
call to abort
i
n excess-precision-1
2
commit
|
commitdiff
|
tree
2023-12-19
Marc Po
u
l
hiès
a
d
a
: A
d
d
m
akefile targets for building/ins
t
alling html
d
oc
commit
|
commitdiff
|
tree
2023-12-19
Eric Bo
t
cazou
ad
a
: F
i
x
i
nternal error o
n
c
all with parame
t
er
of
p
red
i
cated
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
V
i
ljar
I
ndus
ad
a
: Ch
e
ck
a
ll int
e
rfaces for valid iterator type
commit
|
commitdiff
|
tree
2023-12-19
Gary
Dism
u
kes
ada: M
i
ssi
n
g error on
p
ositional container a
g
gregates
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Sher
i
Bernst
e
in
a
d
a: Remove GN
A
Tcheck violation
s
commit
|
commitdiff
|
tree
2023-12-19
Eric
B
otcazou
ada: Rework comment in Expand_Ctrl_Function_Call
commit
|
commitdiff
|
tree
2023-12-19
Gary Dismukes
a
d
a: Com
p
iler ha
n
gs o
n
container agg
r
egate with function
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Pi
o
tr Trojanek
a
da: Fix style and typos in comments
commit
|
commitdiff
|
tree
2023-12-19
Piot
r
Trojanek
a
d
a
:
Remove un
r
eferenced utili
t
y rout
i
n
e
Get_L
o
gical_Line_Nu
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Pa
t
ri
c
k Ber
n
a
rdi
ada: gn
a
tb
i
nd:
Do not ge
n
erate Ada
.
Command_Line reference
s
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Va
s
i
l
iy F
o
fanov
ada: Optimize performa
n
ce an
d
remove d
y
nami
c
fra
m
e
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Piotr Trojanek
ada: I
g
nore unc
o
nstr
a
ined components as i
n
puts for
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Bot
c
azou
ada: Rename I
s
_
C
o
n
s
t
r_S
u
bt_For_UN_Aliased fla
g
commit
|
commitdiff
|
tree
2023-12-19
Joh
a
n
n
es
Kliem
a
nn
a
d
a: Remove No_Dyn
a
mi
c
_P
r
iorities from Rest
r
icted_Taski
n
g
commit
|
commitdiff
|
tree
2023-12-19
Patrick
B
ernardi
ada: Adapt Ad
a
.
Command_Line to work on configurable
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Ronan De
s
planques
a
da: Fi
x
crash on con
c
urr
e
nt typ
e
aggre
g
ate
commit
|
commitdiff
|
tree
2023-12-19
Eric
Botca
z
ou
ada
:
Further cleanup in finalization machi
n
ery
commit
|
commitdiff
|
tree
2023-12-19
Yannick Moy
a
d
a
:
Fix SPAR
K
expansion of contain
e
r aggregates
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazou
a
da:
A
dd missing guard to previ
o
us
ch
a
nge
commit
|
commitdiff
|
tree
2023-12-19
Er
i
c Botcazou
ada: Fix spurious visibility
err
o
r on
parent
'
s component
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Eric Botcazou
ad
a
:
Plu
g
small loophole in finalization mach
i
n
ery
commit
|
commitdiff
|
tree
2023-12-19
Steve
B
air
d
ada
:
Cope wit
h
S
em_Util
.
Enclos
i
n
g
_Declaration
o
ddness
.
commit
|
commitdiff
|
tree
2023-12-19
R
onan Desplanques
ada: R
e
stor
e
object c
o
nstraint optimi
z
ation
commit
|
commitdiff
|
tree
2023-12-19
Yan
n
ick Moy
ada: Do
n
ot issue SPARK
l
e
gal
i
ty error if SPARK_Mo
d
e
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Yannick M
o
y
a
d
a: Cleanup SPARK legali
t
y che
c
king
commit
|
commitdiff
|
tree
2023-12-19
Steve B
a
ird
ada
:
Illegal instance of Gene
r
i
c_1
.
Generic_2 inc
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
E
r
ic Botcazou
ada: Furth
e
r cle
a
nup in finalizati
o
n machinery
commit
|
commitdiff
|
tree
2023-12-08
Marc Poulhiès
Rev
e
rt "test
s
uite:
r
equire avx_runtime f
o
r
some tests"
commit
|
commitdiff
|
tree
2023-12-07
Marc Poulhiès
testsuite: skip gcc
.
targ
e
t/
i
386/pr106910-
1
.
c test
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2023-12-07
Mar
c
Poulhiès
test
s
u
i
t
e
:
r
e
fine gcc
.
dg
/
anal
y
z
e
r/fd-4
.
c test for
newl
i
b
commit
|
commitdiff
|
tree
2023-12-07
Marc Poul
h
i
è
s
testsuite: re
q
uire a
v
x_runtime for some tests
commit
|
commitdiff
|
tree
2023-11-30
Eric Botcazou
ada: Rework
f
ix for w
r
ong fin
a
l
i
z
a
t
ion o
f
qualified
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
ada: Support Pu
t
_Image
for t
y
pe
s
i
n user-d
e
fin
e
d in
s
tances
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Yannick Mo
y
ada: Remove SPARK l
e
gality ch
e
ck
s
commit
|
commitdiff
|
tree
2023-11-30
Sheri B
e
rnstei
n
ada: R
e
move GNATc
h
eck violatio
n
s
commit
|
commitdiff
|
tree
2023-11-30
Viljar
I
ndus
a
d
a: Ig
n
ore def
e
red com
p
ile
time
error
s
w
i
th
o
ut backend
commit
|
commitdiff
|
tree
2023-11-30
Ya
n
nick Moy
a
da: Fi
x
spelling of f
u
nctio
n
s w
i
th(out) "side effects"
commit
|
commitdiff
|
tree
2023-11-30
Javier Mira
n
d
a
ada: Cras
h
initiali
z
ing comp
o
nent of private record
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
ada: Name resolution in expanded in
s
t
ances
commit
|
commitdiff
|
tree
2023-11-30
St
e
ve Baird
ada: Add comment
describi
n
g
P
a
rtitio
n
_El
a
borat
i
on_Po
l
icy
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve
Baird
ada: Too-strict co
n
fo
r
mance checkin
g
for for
m
al discriminate
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Eric Botcazou
ada:
F
ix p
r
ed
i
cate check fa
i
lure in Expand_Allocator
_
Expressio
n
commit
|
commitdiff
|
tree
2023-11-30
Eric
B
otcazou
ada:
Fix wrong
finaliza
t
ion for
qualifi
e
d aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-11-30
Steve Baird
a
da: Consta
n
t_Indexing used when context requires
a
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
S
i
mon Wright
Fix PR
a
da/
1
11909
O
n
Darwi
n
, det
e
r
m
ine filesystem
c
ase
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric
Botcazou
ada: Fix wrong si
z
e
value output wi
t
h
-
gnatR -gna
t
c
commit
|
commitdiff
|
tree
2023-11-28
Marc Poulh
i
ès
ada: Add comment for assertion
commit
|
commitdiff
|
tree
2023-11-28
Steve Baird
ada:
E
r
ror compil
i
ng red
u
ction
expression
w
ith overloaded
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Gary
Dismu
k
e
s
ada
:
Err
o
r
s
o
n
instance of Multiway_Trees with discriminated
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Bob Duff
ada:
False
a
larms from
-
gnatw
.
t with generic f
u
n
ctions
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazou
ada: Further cleanup in final
i
za
t
ion
ma
c
hinery
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazou
ada
:
Fix inc
o
r
r
e
ct quoting in documentati
o
n
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazou
ada: Fix pr
e
mature fin
a
l
i
za
t
ion for n
e
ste
d
return wit
h
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
S
e
bast
i
an
Poe
p
l
a
u
ad
a
: Add new pre
d
i
cate Is_
A
ddress_Co
m
patible_
T
y
p
e
commit
|
commitdiff
|
tree
2023-11-28
Gary
Dismukes
ada: Type error on container
a
g
gregate with loop_p
a
ramet
e
r_s
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazou
ad
a
: Fix
internal error on
declare expression
i
n ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Richard K
e
nner
ada: Handle u
n
checked convers
i
on in bo
u
n
d
commit
|
commitdiff
|
tree
2023-11-28
Y
a
nnick Moy
ada
:
Remove dependency on Syst
e
m
.
Val_Bool in Sys
t
e
m
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Tucker Taft
a
da: Fix
predicate failure that
o
ccur
r
ed in a test
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
E
ric
B
otcazou
ad
a
:
F
ix miscompilat
i
on
of loop over b
o
ole
a
n range
commit
|
commitdiff
|
tree
2023-11-21
E
ri
c
Botcaz
o
u
ada: Fix
i
ssue with indefinite vector of
o
v
eraligne
d
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Gary Di
s
mukes
ada: Co
m
pi
l
er crash on
cont
a
in
e
r
aggre
g
ate with l
o
op_paramet
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric
Botcazou
ada: An
o
ther couple
o
f clea
n
ups in the
f
inalization
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Steve Bai
r
d
ada: Deep delta aggregate
s
in
p
o
s
tconditions
commit
|
commitdiff
|
tree
2023-11-21
Eric Bo
t
cazo
u
ad
a
: Small
co
n
sistency
f
i
x
for -g
n
at
w
v
warning
commit
|
commitdiff
|
tree
2023-11-21
Gary Dismu
k
es
ada:
C
ompiler
error re
p
orting ill
e
gal prefix on legal
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
E
ric Botcazou
ada
:
Fix internal error on 'Ad
d
ress
o
f task
c
omp
o
nent
commit
|
commitdiff
|
tree
2023-11-21
Viljar Indus
ada: Avoid
Style_C
h
ecks pragma
s
af
f
ecting other uni
t
s
commit
|
commitdiff
|
tree
2023-11-21
Yannick Mo
y
a
d
a: Fix type for SPARK expansio
n
on
d
ee
p
delt
a
aggregat
e
s
commit
|
commitdiff
|
tree
2023-11-21
Eric
Botc
a
zou
a
d
a: Further cleanup in finalization machinery
commit
|
commitdiff
|
tree
2023-11-21
J
u
st
i
n Squirek
a
d
a: F
i
x strin
g
i
n
dexin
g
withi
n
GNAT
.
C
a
lendar
.
T
ime_
I
O
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Bo
t
cazou
ada: Sm
a
ll improvement
to Nu
l
l_Status
function
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada: Further cleanup in
finalizat
i
on machinery
commit
|
commitdiff
|
tree
2023-11-21
D
o
ug
Rupp
ada:
U
se CLOCK_MONOT
O
NIC on VxWorks
commit
|
commitdiff
|
tree
2023-11-21
Ste
v
e Baird
a
da: Deep delta aggrega
t
es cleanup
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botca
z
ou
ada: Small cleanup in finali
z
at
i
on machiner
y
commit
|
commitdiff
|
tree
2023-11-21
Doug Rupp
ad
a
:
Runtime recompila
t
ion instructions imp
r
o
v
ement
s
.
commit
|
commitdiff
|
tree
2023-11-21
Steve Baird
ada: Deep delta
aggrega
t
es
commit
|
commitdiff
|
tree
2023-11-21
Ronan De
s
p
l
anques
ada: Fix Ada
.
Text_I
O
.
Del
e
te
w
i
th "encoding=8bits" f
o
rm
commit
|
commitdiff
|
tree
2023-11-21
E
ric Botcaz
o
u
a
da: Fix spurious er
r
or on c
a
ll wi
t
h default pa
r
amet
e
r
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Marc
P
oulhiès
ada: Fix misplaced index directive in doc
u
m
entation
commit
|
commitdiff
|
tree
2023-11-21
P
i
erre-M
a
r
i
e de
.
.
.
ada: Fix SCOs generat
i
on for aspect specifications
commit
|
commitdiff
|
tree
2023-11-21
Ron
a
n
De
s
planques
ada: Always use -gnatg in
r
un-time GPR file
s
commit
|
commitdiff
|
tree
2023-11-21
M
a
r
c
Poulhiès
a
da
:
Tri
v
ial typo fix
i
n comment
commit
|
commitdiff
|
tree
2023-11-10
Andri
s
Pavēnis
ada:
Fix syntax error
commit
|
commitdiff
|
tree
2023-11-09
Sim
o
n
Wright
Fix PR ada/11
1
813 (Inconsist
e
nt limit in Ada
.
Cal
e
ndar
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
E
r
i
c
B
otcazou
ada: Fix deb
u
g
info f
o
r aliased
p
a
ck
e
d
array
w
ith uncon
s
trai
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Eric
B
otcazou
ada: F
i
x spuri
o
us -Wst
r
ingo
p
-o
v
erflow with link time
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Bob Duff
ada: Compiler crash on early a
l
ig
n
ment clause
commit
|
commitdiff
|
tree
2023-11-07
Julien Bortol
u
ssi
ada: Up
d
ate the logo in the
gnat
d
oc
commit
|
commitdiff
|
tree
2023-11-07
Eric Botcaz
o
u
ada: Fi
x
i
n
corr
e
ct resolution o
f
overloaded
f
un
c
tion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Ronan Desplanques
ada:
Fix Ada
.
Directories
.
Modification_
T
ime on Win
d
ows
commit
|
commitdiff
|
tree
2023-11-07
Eric
B
otcazou
ada: El
i
de temporary for aliased
array with unco
n
strained
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pio
t
r Trojanek
ada: Fix exp
a
n
s
ion of ty
p
e aspects with handling of
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Yannick Moy
ada: Rename I
s
_Limited_View to r
e
flect actual query
commit
|
commitdiff
|
tree
2023-11-07
Viljar
In
d
u
s
ada: Im
p
l
e
m
e
nt
A
spects as fields u
n
d
e
r nodes
commit
|
commitdiff
|
tree
next