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 incorrect quoting in documentation
2023-11-28
Eric Botcazou
ada: Fix incor
r
ect
quoting in doc
u
menta
t
ion
commit
|
commitdiff
|
tree
2023-11-28
Eri
c
B
o
t
cazo
u
ada: F
i
x premature finaliza
t
i
on for nested
r
eturn w
i
t
h
in
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Se
b
astian Poeplau
ada
:
Add new predicate Is_Address_Comp
a
tible_Type
commit
|
commitdiff
|
tree
2023-11-28
Gary Dismukes
ada: Type
error on container aggregat
e
wi
t
h loop_par
a
meter
_
s
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Eric Botcazo
u
ad
a
: Fi
x
in
t
ernal error on d
e
clare
e
xpre
s
sion i
n
expres
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Richard Ken
n
er
ada: Handle unchecked conversio
n
i
n bo
u
n
d
commit
|
commitdiff
|
tree
2023-11-28
Yannick M
o
y
ad
a
: Remove dependency on System
.
Val_Bool in System
.
.
.
commit
|
commitdiff
|
tree
2023-11-28
Tucker T
a
ft
ada
:
Fix pr
e
dicate
f
ailure t
h
at occurred in a te
s
t
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada: Fix miscomp
i
latio
n
of loop ove
r
boolea
n
ran
g
e
commit
|
commitdiff
|
tree
2023-11-21
Er
i
c Bo
t
c
azo
u
a
da: Fix issue with
i
ndefinite vector of o
v
erali
g
ned
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Gary Dismukes
ad
a
: Compiler
c
rash
o
n co
n
tai
n
er aggregate w
i
th loop_pa
r
amet
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eri
c
Botcazou
ada: Another couple of cle
a
n
up
s
in the
finalization
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Steve Ba
i
rd
a
da: Deep d
e
lta
a
ggregates in postconditions
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada
:
Small consistency fix for -gnatwv warning
commit
|
commitdiff
|
tree
2023-11-21
G
ar
y
D
ismukes
ada: Comp
i
ler error re
p
ort
i
ng illegal prefix on legal
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Bo
t
cazou
ada: Fix i
n
ternal error on 'Address of task
componen
t
commit
|
commitdiff
|
tree
2023-11-21
Viljar In
d
us
ada: Avoid
S
t
yle_Chec
k
s pra
g
m
a
s affectin
g
other units
commit
|
commitdiff
|
tree
2023-11-21
Yannick Moy
a
da: Fix ty
p
e for SPARK ex
p
ansion on
deep delta agg
r
ega
t
es
commit
|
commitdiff
|
tree
2023-11-21
E
r
ic Botca
z
ou
ada: Further
cleanup in finali
z
atio
n
machi
n
ery
commit
|
commitdiff
|
tree
2023-11-21
Jus
t
in Squirek
ada:
Fix string
indexing w
i
thin GNAT
.
Calenda
r
.
Time_IO
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada: Sm
a
ll
i
mprovement to Null_Status fun
c
t
i
o
n
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ad
a
: Furt
h
er cleanup
in finalization
machinery
commit
|
commitdiff
|
tree
2023-11-21
D
ou
g
Rupp
ada: U
s
e CLOCK_MONO
T
ONIC on VxWorks
commit
|
commitdiff
|
tree
2023-11-21
Steve B
a
ird
a
d
a
:
Deep delta aggre
g
ates cleanup
.
commit
|
commitdiff
|
tree
2023-11-21
Eric Botcazou
ada
:
Small cleanup i
n
finali
z
a
t
ion machi
n
ery
commit
|
commitdiff
|
tree
2023-11-21
D
o
ug Rupp
ada: Runtime
recompilation instruction
s
improvem
e
nt
s
.
commit
|
commitdiff
|
tree
2023-11-21
S
te
v
e
Baird
ada: Deep
d
elta
ag
g
regates
commit
|
commitdiff
|
tree
2023-11-21
Ronan De
s
p
lanques
ada:
F
ix Ada
.
Te
x
t_IO
.
De
l
ete with "e
n
codi
n
g=8bits" form
commit
|
commitdiff
|
tree
2023-11-21
Eri
c
Botcazou
ada: Fix spurious
e
rror on
c
a
l
l with default p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2023-11-21
Marc Poulhiès
ada: Fi
x
misplaced index
dire
c
t
ive in document
a
t
ion
commit
|
commitdiff
|
tree
2023-11-21
Pierre-Marie de
.
.
.
ada
:
Fix SCOs
ge
n
eration for
aspect specificatio
n
s
commit
|
commitdiff
|
tree
2023-11-21
R
ona
n
Desplanques
a
d
a: Alwa
y
s use
-gnatg in run
-
time G
P
R
fi
l
es
commit
|
commitdiff
|
tree
2023-11-21
Marc Poulhiès
a
d
a: Trivial
t
y
p
o
fix
in comment
commit
|
commitdiff
|
tree
2023-11-10
An
d
ris Pavēni
s
a
da: Fix sy
n
tax
e
r
ror
commit
|
commitdiff
|
tree
2023-11-09
S
i
m
o
n Wright
Fix PR ada
/
111813 (Inconsistent lim
i
t in Ada
.
Ca
l
en
d
ar
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Eric Botcaz
o
u
ada:
F
ix debug info f
o
r
a
liased pa
c
ked
a
rray w
i
th
u
nc
o
nstrai
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Eric Bo
t
c
a
zo
u
ada:
F
ix s
p
ur
i
ous -
W
stringop-overfl
o
w with link
t
ime
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Bo
b
Duff
ad
a
: Compiler crash on early al
i
gnment clause
commit
|
commitdiff
|
tree
2023-11-07
Julien
B
or
t
oluss
i
ada:
U
p
da
t
e the
logo i
n
the gnat doc
commit
|
commitdiff
|
tree
2023-11-07
Eric Bo
t
cazou
ada: Fix i
n
correct
r
esolution of overlo
a
ded
f
unction
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Ronan Desplanques
ada: Fix Ada
.
D
i
rectories
.
M
o
dification_Time on Wi
n
dows
commit
|
commitdiff
|
tree
2023-11-07
Eric Bo
t
cazou
ad
a
:
E
l
ide temporary for aliased a
r
r
a
y w
i
t
h unconstrained
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
i
otr T
r
ojanek
ada:
F
ix e
x
pansion of ty
p
e
as
p
ects with
ha
n
dli
n
g o
f
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Yannick Moy
ada
:
Re
n
a
m
e
Is_Limited_View to refle
c
t actual query
commit
|
commitdiff
|
tree
2023-11-07
Viljar Indus
a
da: Implement Aspects a
s
fiel
d
s under nodes
commit
|
commitdiff
|
tree
2023-11-07
E
r
ic Botcazou
a
d
a
: M
i
nor
t
weaks for compar
i
son
o
p
erators
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: C
l
eanup "
n
ot Pres
e
nt" on Li
s
t_Id
commit
|
commitdiff
|
tree
2023-11-07
Piotr Tro
j
anek
a
d
a
: Clea
n
up more
"
not Pr
e
sent"
commit
|
commitdiff
|
tree
2023-11-07
Ronan De
s
p
l
anques
ada
:
Fix documentat
i
o
n
of -gnat
w
c
commit
|
commitdiff
|
tree
2023-11-07
Steve Baird
ada: New Loca
l
_
Rest
r
ictions and Us
e
r_Asp
e
ct aspect
s
.
commit
|
commitdiff
|
tree
2023-11-07
Bob
D
uff
ada: Error in
pref
i
x
-
not
a
tion call
commit
|
commitdiff
|
tree
2023-11-07
P
i
o
tr Troja
n
ek
ad
a
: Remo
v
e dupli
c
ated co
d
e
f
or expans
i
on of p
a
c
ked
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojan
e
k
ada:
S
implify ex
p
ans
i
on
of packed array assi
g
nment
s
commit
|
commitdiff
|
tree
2023-11-07
Piotr Tr
o
jan
e
k
ada: Fix e
x
t
r
a whitespace after END keywords
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Av
o
id extra conversion in expans
i
on of
p
a
ck
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Troja
n
e
k
ada: Simp
l
ify han
d
li
n
g of kno
w
n
values in
e
xpan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojan
e
k
ada: Cha
n
ge local var
i
ables
to c
o
nstants in
e
x
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: F
i
x s
t
yle in declaration of rout
i
ne for
e
x
p
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pi
o
tr Trojane
k
ada: Cleanup get
t
in
g
of actual subtypes
commit
|
commitdiff
|
tree
2023-11-07
Pio
t
r
T
rojan
e
k
ada
:
Fix handlin
g
of ac
t
ual
s
ubtypes for expanded n
a
m
e
s
commit
|
commitdiff
|
tree
2023-11-07
Vilj
a
r Indus
ada: Simpl
i
fy
c
o
d
e for Ignore_Style_Che
c
ks_Pragmas
commit
|
commitdiff
|
tree
2023-11-07
Viljar
I
nd
u
s
ada:
Fix
s
cope
o
f semantic st
y
le_check
pragmas
commit
|
commitdiff
|
tree
2023-11-07
Eric Botcazo
u
ada:
F
ix internal error on addr
e
ss of element of p
a
cked
.
.
.
commit
|
commitdiff
|
tree
2023-10-19
Yannick Moy
ada: Support
n
ew SPARK
a
spect Side_Effects
commit
|
commitdiff
|
tree
2023-10-19
Sheri
B
ernstein
ada: Re
f
a
ctor c
o
de to remove G
N
ATcheck v
i
olation
commit
|
commitdiff
|
tree
2023-10-19
Sheri Bern
s
tein
ad
a
: Ad
d
p
r
agma
Annotate for G
N
A
T
check exemptions
commit
|
commitdiff
|
tree
2023-10-19
Patrick Bernardi
ad
a
: Docum
e
nt gnatbind -Q switch
commit
|
commitdiff
|
tree
2023-10-19
Ronan Desplanques
ad
a
: S
e
ize o
p
portunity to
reuse
List_Length
commit
|
commitdiff
|
tree
2023-10-19
Piotr T
r
ojanek
a
da:
Simp
l
i
f
y "not
P
r
esent" with
"
No"
commit
|
commitdiff
|
tree
2023-10-10
E
ric Bot
c
a
z
ou
a
d
a: Fix i
n
ter
n
al error on
t
oo large
r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Ro
n
a
n Desplanques
ada: T
w
eak internal subprogra
m
in Ada
.
Directories
commit
|
commitdiff
|
tree
2023-10-10
E
r
ic Botcazo
u
ada: Remove supe
r
f
lu
o
u
s se
t
t
er procedure
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
ada: Fix bad finalization of lim
i
ted
a
ggr
e
gate
i
n condi
t
iona
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Eric
B
ot
c
azou
ad
a
: Fix infinite loop w
i
th mult
i
ple limited with clauses
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desplanques
ada: Fi
x
filesystem entry filteri
n
g
commit
|
commitdiff
|
tree
2023-10-10
Ronan
D
esp
l
a
n
que
s
a
d
a: Tweak
documentat
i
o
n comments
commit
|
commitdiff
|
tree
2023-10-10
J
a
vier Miranda
ada: Cr
a
sh p
r
o
cessing p
r
agmas Compile_Time_
E
rr
o
r a
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eri
c
Botcazou
ada:
F
ix missing call
t
o F
i
nalize
_
P
rotection for simple
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric
Botcazo
u
a
d
a: Fix
deferre
d
cons
t
ant wrongly rejected
commit
|
commitdiff
|
tree
2023-09-26
Marc
Poulhiès
ada: Fix unnesting genera
t
e
d loops with n
e
sted finalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javier Miranda
ada
:
Crash
p
r
ocessing the a
c
cessibili
t
y level of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Bot
c
azou
ada: Fi
x
missing f
i
n
a
l
i
zation of extende
d
return
o
bject
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel Ki
n
g
ada:
Upda
t
e personali
t
y fu
n
ction for CHE
R
I purec
a
p
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ad
a
: Fi
x
c
onversions between
a
ddresses and integers
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
a
da: Add CHERI variant of System
.
Stream_Attributes
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Define C
H
ERI ex
c
epti
o
n ty
p
es
commit
|
commitdiff
|
tree
2023-09-26
R
o
nan Despla
n
ques
ada: Make minor co
r
rec
t
ions to CUD
A
-re
l
ated comments
commit
|
commitdiff
|
tree
2023-09-26
Dere
k
Schacht
ada: Dimension
a
l ana
l
ysis when used with element
a
ry
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Yannick Moy
a
d
a
: Clarify RM references
th
a
t just
i
fy a c
o
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard Wai
a
da: TS
S
f
i
na
l
i
z
e
address
s
ubprogram generation for
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard W
a
i
ada:
Private
extensions with the key
w
ord "synchronized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Poulh
i
ès
ada: Refine
u
pper
array bound for bit packe
d
array
commit
|
commitdiff
|
tree
2023-09-19
Javier Miranda
a
da
:
C
r
ash proces
s
ing t
y
pe
invariants on chi
l
d
subprogram
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ad
a
: Fix minor gl
i
tch in finish_record
_
ty
p
e
commit
|
commitdiff
|
tree
2023-09-15
Piotr Troja
n
ek
ada
:
E
x
pl
i
c
i
t
ly analyze
a
nd expa
n
d null a
r
r
ay agg
r
egate
s
commit
|
commitdiff
|
tree
2023-09-15
E
ric Bot
c
azou
ada: F
i
x wr
o
n
g optimizati
o
n of
e
xtended
r
etur
n
for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patr
i
ck Bernardi
ad
a
: Do not pe
r
form local-exception-t
o
-goto optimiza
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Pa
t
r
ic
k
Ber
n
ardi
a
d
a:
Generate runtime
restrictions l
i
st when the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
a
d
a: Fix internal error on misaligned component with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eri
c
B
o
t
c
azou
ada:
F
i
x int
e
rnal
error
on aggregate
nested in container
.
.
.
commit
|
commitdiff
|
tree
next