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] Parser and lexer cleanup
2022-09-12
Bob Duff
[Ada
]
P
a
rser a
n
d
l
exer
c
leanup
commit
|
commitdiff
|
tree
2022-09-12
Javier Miranda
[Ada] Revert "
E
nforce matching of extra formals"
commit
|
commitdiff
|
tree
2022-09-06
Eric
B
o
t
c
a
zou
[Ada] Mark
a
rtificial
forma
l
parame
t
ers
i
n the debug
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eric B
o
tcazou
[
A
d
a] Fix pr
o
b
lematic line deb
u
g
i
n
f
o
attached to cal
l
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eric Botcazo
u
[Ada] Fix internal
erro
r
on double
r
enaming of private
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eri
c
B
o
t
cazou
[Ad
a
] Fix missin
g
name for
a
ccess type in gener
i
c instanti
a
tion
commit
|
commitdiff
|
tree
2022-09-06
Eri
c
B
o
tca
z
ou
[
A
da
]
Extend No_
D
ependence
r
estri
c
ti
o
n to code
genera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
aird
[Ada] Disable lock fr
e
e pro
t
ected implemen
t
ation if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ad
a
] Enable lo
c
k free pro
t
ected impleme
n
tation by
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
teve Baird
[Ad
a
] Restore miss
i
ng Aggrega
t
e as
p
ect for Ada
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Marc Po
u
l
hiès
[Ada] F
i
x
formal
parameters lis
t
for
secondary
s
tac
k
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
P
iotr
T
rojan
e
k
[A
d
a] Reta
i
n
Has_
P
r
iva
t
e_View flag for a
c
tuals of i
n
line
d
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Javier Mir
a
n
d
a
[Ada]
E
nforce matchi
n
g of
e
xt
r
a
formals
commit
|
commitdiff
|
tree
2022-09-06
Arnaud C
h
ar
l
et
[Ada] Disable if expression optimiz
a
tion for LLVM
commit
|
commitdiff
|
tree
2022-09-06
Javi
e
r Miranda
[Ada]
Re
p
or
t
er
r
o
r
in non-legal class-wide condi
t
ions
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
a
i
rd
[Ad
a
]
Sli
c
e length computation bug in Generic_Bounded_Length
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Ba
i
rd
[Ada] Impro
v
e documentation of validati
o
n check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
J
u
stin Squirek
[Ada] Hand
l
e new At_End
expans
i
on dur
i
ng unnesting
commit
|
commitdiff
|
tree
2022-09-06
Pio
t
r
Tr
o
janek
[
A
da]
Fix
c
omment about ma
p
pi
n
g
of parameters and inlining
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Tro
j
ane
k
[
Ada
]
Cleanup un
n
e
c
ess
a
ry shadowing in exp
a
nsi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Julie
n
Bortolussi
[
A
d
a] Fix a
bug in the contract of formal ordered sets
commit
|
commitdiff
|
tree
2022-09-06
S
teve Baird
[Ada
]
Cope with sca
l
a
r
s
u
btypes that have a non-
s
cala
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
B
ob Duff
[Ada] Place "at end
"
on b
o
dy nodes
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Document change to
l
egalit
y
checks for Inox case
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
S
t
eve B
a
ird
[Ad
a
]
T
e
mp
o
rarily si
m
plif
y
legality
checks
for In
o
x
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Tune me
s
sage for ille
g
al
aspec
t
R
elaxed_Initi
a
liza
t
i
on
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve B
a
i
rd
[
A
da] Bad Valid_Scalars
r
esult if
signed int comp
o
n
ent
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Ste
v
e Baird
[Ada] I
C
E handling discrimin
a
nt-depend
e
nt
i
nd
e
x
constraint
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr
Trojanek
[Ada] Ad
d
formal verifi
c
a
tio
n
depende
n
cies
to li
b
gnat
commit
|
commitdiff
|
tree
2022-09-06
Er
i
c Botcazou
[
Ada] Co
r
rectly
round V
a
lue
attribu
t
e fo
r
floating
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Improve detect
i
on of illegal Iterable
a
spec
t
s
commit
|
commitdiff
|
tree
2022-09-06
Eric Bo
t
cazou
[Ada] Correctly round Value attri
b
ute
fo
r
floating
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojan
e
k
[
A
da
]
Move
c
heck
f
o
r null
a
rray aggregates to
e
xpa
n
sio
n
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] F
i
x inco
n
sistent bui
l
din
g
of itypes for null
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr
Troja
n
ek
[Ada] Fix insert
i
on of
a
ru
n
t
i
m
e che
c
k
f
or nul
l
a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr T
r
ojane
k
[A
d
a] Cleanup itera
t
ion
o
v
e
r
ag
g
regate
c
omponent as
s
ociations
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr Tro
j
a
n
e
k
[Ada] Rem
o
ve VMS specif
i
c routine tha
t
is no longer
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve
Baird
[Ad
a
]
Single-element Append p
e
rformance improvement
commit
|
commitdiff
|
tree
2022-09-05
P
iotr Trojanek
[Ada] Create int
e
rnal type for null array
aggrega
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pio
t
r Trojanek
[Ada
]
Re
m
ove no longer referenced GNATprove u
t
i
lity
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Stev
e
Baird
[Ada
]
Bad
D
efault_Initial_Condition check for a
n
ot
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Tro
j
anek
[Ada] F
i
x d
e
t
e
ctio
n
of unused
warning suppression
commit
|
commitdiff
|
tree
2022-09-05
Er
i
c B
o
tcazou
[Ada] Small
cleanu
p
in
b
ody of
Syste
m
.
V
a
lue_R
commit
|
commitdiff
|
tree
2022-09-05
Eric Botcazou
[Ada]
Fix
b
ogus discr
i
mina
n
t check failure f
o
r
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Detect expa
n
sion
of i
t
e
r
a
t
ed compone
n
t
a
ssocia
t
ions
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr
Troja
n
ek
[A
d
a] F
i
x double identi
f
i
e
rs in
i
terate
d
component
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
B
o
b Duff
[Ada]
S
uppress warnings
in trivi
a
l
subprogram
s
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Arnaud Charlet
[Ada] Secon
d
a
ry sta
c
k and i-c*
commit
|
commitdiff
|
tree
2022-09-05
Bob
D
uff
[Ada] Enable Error_Msg_
G
NAT_Ex
t
e
ns
i
o
n for
m
ixed decl
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr T
r
ojanek
[A
d
a] Fix resolution
of iterated
c
omponent association
commit
|
commitdiff
|
tree
2022-09-05
P
iotr
T
rojan
e
k
[A
d
a] Clea
n
up analysis of iter
a
tor specifi
c
ations
commit
|
commitdiff
|
tree
2022-09-05
Piotr
Troja
n
ek
[
A
d
a] Cleanup res
o
l
ution of aggregates with mi
x
ed com
p
onent
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojane
k
[
A
da] Cleanup re
s
o
lut
i
on
o
f it
e
rated comp
o
n
e
n
t
associatio
n
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada
]
Cle
a
nup
an
a
lys
i
s
of qua
n
t
ified expressions with
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Arnaud Cha
r
let
[
A
d
a
] New gnatb
i
nd switch -k
commit
|
commitdiff
|
tree
2022-09-05
Arnaud Charlet
[Ada] Code
c
leanups
commit
|
commitdiff
|
tree
2022-09-05
E
r
ic Botca
z
ou
[Ad
a
]
F
ix cras
h
for Default_
I
n
i
tial_Cond
i
tion on derived
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr T
r
o
janek
[Ada] C
l
eanup expansion
of attribute Priority
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr
Trojanek
[
Ada
]
Fi
x
expans
i
o
n of attribute
P
rio
r
ity
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[
A
d
a
] Remove
excessive g
u
ards
a
gainst inserting empty
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pio
t
r
T
rojane
k
[Ada] I
m
pro
v
e pret
t
y
-
p
r
intin
g
of ite
r
ated component
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
A
r
naud C
h
arlet
[Ada] F
i
x
syntax in docu
m
ent
a
tion
commit
|
commitdiff
|
tree
2022-09-02
E
r
ic Botcazou
[Ad
a
] Adju
s
t p
r
e
vious change to Expand_Subtype_Fro
m
_
E
x
p
r
commit
|
commitdiff
|
tree
2022-09-02
G
ary Dismukes
[
A
da] Err
o
r on re
t
urn
o
f object whose
f
ull view has
.
.
.
commit
|
commitdiff
|
tree
2022-09-02
E
ric Botc
a
z
o
u
[
A
da] Fix
c
rash on
declarat
i
on of overa
l
igned arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2022-09-02
Eric Botcaz
o
u
[Ada] Extend
No_Dependence
restriction to code gen
e
ration
.
.
.
commit
|
commitdiff
|
tree
2022-09-02
Cl
a
ire Dross
[Ada]
Ad
d
loop variants to Ada
.
Strings
.
Search an
d
Ada
.
.
.
commit
|
commitdiff
|
tree
2022-09-02
Claire Dross
[
A
da] Fi
x
proof of
runtime unit S
y
stem
.
Exp_Mod
commit
|
commitdiff
|
tree
2022-09-02
Claire Dross
[
Ada] Fix pr
o
o
f
of run
t
ime unit Syst
e
m
.
Wid_*
commit
|
commitdiff
|
tree
2022-09-02
Yannick Moy
[
A
d
a
] Recover p
r
oof of
S
c
a
l
ed_Divi
d
e in System
.
Arith_6
4
commit
|
commitdiff
|
tree
2022-09-02
Eric Bo
t
caz
o
u
[Ada] Update documentation about no
n
-sym
b
olic traceback
commit
|
commitdiff
|
tree
2022-09-02
Claire Dross
[Ada]
Fix
p
ro
o
f
o
f ru
n
time unit Syste
m
.
Value* and System
.
.
.
commit
|
commitdiff
|
tree
2022-07-21
Ma
r
c Po
u
lhiès
MAINTA
I
NERS:
Ad
d
myself as
Ada f
r
o
n
t end co-
m
a
intainer
commit
|
commitdiff
|
tree
2022-05-20
Marc Poulhiès
testsuite:
ad
d
missing d
g
-requi
r
e-effe
c
tive
-
tar
g
et
.
.
.
commit
|
commitdiff
|
tree
2022-03-29
Marc
Poulh
i
ès
t
estsuit
e
: Che
c
k
f
pic suppor
t
in pr10
3
275
.
c
commit
|
commitdiff
|
tree
2022-03-29
Marc Pou
l
hiès
tes
t
suite:
f
ixup pr97521
.
c and pr96713
.
c on i686-*
commit
|
commitdiff
|
tree
2021-12-14
M
a
r
c P
o
ulhiès
MAINTAINERS: Add myself to write after approval
commit
|
commitdiff
|
tree