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] Update output of verbose error summary
2020-06-18
Ghjuvan Lacambre
[Ada] Update
o
u
t
p
ut of verbo
s
e erro
r
summar
y
commit
|
commitdiff
|
tree
2020-06-18
E
ric Botc
a
zou
[
A
da] Small
c
leanup in the
a
ttribute cod
e
of
t
he e
x
p
ande
r
commit
|
commitdiff
|
tree
2020-06-18
Steve
B
air
d
[Ada]
I
mpl
e
ment AI12-003
2
fixes for 'Old att
r
i
bu
t
e
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Steve B
a
ird
[Ad
a
] N
o
Default
_
Initi
a
l_Condition check when de
c
laring
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Arnaud
C
har
l
et
[Ada] A
d
d support
for
XDR
s
treami
n
g in
t
he
default
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Eric Botcazou
[Ada]
F
i
x
host/target confusion for attribute To_
A
ddress
commit
|
commitdiff
|
tree
2020-06-18
E
r
ic Botcazou
[Ada] A
d
d second warning for con
v
ent
i
on
C_Variadic_n
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] Profile misma
t
ch
between C and A
d
a
f
unctions
commit
|
commitdiff
|
tree
2020-06-18
E
r
i
c Botca
z
ou
[Ada] Minor cleanup in Expand_C
a
ll_H
e
lper
commit
|
commitdiff
|
tree
2020-06-18
Eric
B
otcazou
[Ad
a
]
Improve c
o
mpile
-
time evalua
t
ion of v
a
lue ranges
commit
|
commitdiff
|
tree
2020-06-18
G
h
juvan Lacam
b
re
[
Ada] Do
not tr
e
at
pr
a
gma Co
m
pil
e
_Time_Warni
n
g as error
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Ch
a
rlet
[Ada] S
u
pp
r
ess Co
d
e
P
eer message on
p
o
s
sibl
e
unini
t
i
alized
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Piot
r
Trojanek
[Ada] Fix failed assertion on a
slice in
d
exed by a
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Pi
o
tr T
r
ojan
e
k
[
Ada] Cleanu
p
s in
code relate
d
to
static
e
xpressio
n
s
commit
|
commitdiff
|
tree
2020-06-18
Piotr Trojanek
[Ada] Av
o
i
d
fo
r
c
e
d loading of Syst
e
m
.
Pri
o
rity in CodePeer
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[A
d
a]
A
CATS
4
.
1L - B452002 - Wrong univers
a
l
access
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
B
ob Duff
[Ada]
A
I
12-0293-1 Implement
s
t
or
a
ge s
t
reams
commit
|
commitdiff
|
tree
2020-06-18
J
a
v
ier Miranda
[Ada] Missing error on
a
spects I
n
put and Output
commit
|
commitdiff
|
tree
2020-06-18
Eric Botcazou
[Ad
a
] Small adj
u
s
t
ment to Get_Inte
g
er
_
Type
fu
n
ction
commit
|
commitdiff
|
tree
2020-06-18
Eric Botcazou
[Ada] Fix invalid expression s
h
a
ring i
n
Expand
_
Array_Eq
u
a
l
ity
commit
|
commitdiff
|
tree
2020-06-18
Richard Kenner
[
A
da]
P
roperly
test for
P
rotecte
d
_Bo
d
y_Subpr
o
gram
commit
|
commitdiff
|
tree
2020-06-18
Clair
e
D
r
oss
[
A
da] The definition
o
f const
a
n
ts in
d
ecla
r
e e
x
p
r
ession
s
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Pio
t
r Troja
n
ek
[Ada] L
i
s
t
aspect Relaxed_In
i
tializatio
n
in
G
N
AT RM
commit
|
commitdiff
|
tree
2020-06-18
Jav
i
er Miranda
[Ada] C
r
ash in
t
agged type c
o
n
structo
r
wit
h
t
a
sk components
commit
|
commitdiff
|
tree
2020-06-18
Eric
B
otcazou
[Ada] Small improvement t
o
Opt
i
mize_Length_
C
omp
a
r
iso
n
commit
|
commitdiff
|
tree
2020-06-17
Eri
c
Bo
t
cazou
[
A
da] Add early return to Apply_Univers
a
l_In
t
e
ger
_
A
t
tr
i
bu
t
e
_
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Arnaud Charlet
[
A
d
a
] ACATS
4
.
1H -
BA
1
2018
-
Miss
e
d
errors for
private
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
E
d
S
c
honberg
[Ada]
Additi
o
nal
l
eg
a
lity rule fo
r
inde
x
ing operatio
n
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Gary
Dismukes
[Ada] Nested subprograms in protected su
b
pr
o
grams
impro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Javier Miranda
[
A
da] Ad
a
2020: AI12-0
2
79 more dispa
t
ching
poi
n
ts w
i
th
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Bo
t
cazou
[Ada] Fix incor
r
ect operand
s
haring after
e
xpansio
n
commit
|
commitdiff
|
tree
2020-06-17
Javi
e
r M
i
ran
d
a
[Ad
a
] Crash in tagged
t
ype co
n
struct
o
r
with task components
commit
|
commitdiff
|
tree
2020-06-17
B
ob Duff
[Ad
a
] Do not
give "
b
a
d
indentation" error in
s
i
d
e a
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Arnaud Char
l
et
[
A
da] Improve error mes
s
a
ge on a
n
ony
m
ous acce
s
s parameter
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
E
r
ic Botcazou
[Ada] Do not generate useless length chec
k
for array
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Piotr
T
r
ojan
e
k
[Ada] Suppor
t
a
sp
e
ct
R
elaxe
d
_Initial
i
za
t
ion on private
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ad
a
]
Small clea
n
u
p
t
h
roughout CStand body
commit
|
commitdiff
|
tree
2020-06-17
Eri
c
Botc
a
zou
[Ada] Remove new problematic c
o
ndi
t
i
on for
L
LVM
commit
|
commitdiff
|
tree
2020-06-17
Gary Dismukes
[Ada] Various typo
c
orrections
p
l
us m
i
nor refo
r
mattin
g
commit
|
commitdiff
|
tree
2020-06-17
Bob
D
u
ff
[Ad
a
] Ada2020: A
I
12-0110 T
a
mpering checks are performed
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ada] Coupl
e
of small tweaks
r
elated to
integ
e
r conver
s
ions
commit
|
commitdiff
|
tree
2020-06-17
Pi
o
tr Troj
a
nek
[Ada]
F
ix comment of Ge
t
_Iter
a
ble_T
y
pe_
P
rimitive
commit
|
commitdiff
|
tree
2020-06-17
Ed Schonberg
[Ada]
A
d
a_
2
020 AI12-0220
P
re/Postconditions on Access_To_Sub
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Piotr Troj
a
nek
[Ada] Add assertions
t
o
P
r
eserve_Comes_From_So
u
rce
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Arnau
d
Charlet
[Ada] Remove obsolete comment
s
in Big_
N
u
m
b
ers
commit
|
commitdiff
|
tree
2020-06-17
Gary Dism
u
kes
[Ada] Impl
e
ment static expression functions for
Ada
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Er
i
c Botcazou
[Ada] Deal with
s
econd spec
i
fi
c
s
uperf
l
at case
in
Op
t
i
m
ize_L
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[Ada]
A
djust docume
n
t
a
tion of 'Bit and 'Descr
i
ptor_Size
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
E
ric Botc
a
zou
[A
d
a] Work around problematic interaction
w
ith public
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric
Botcazou
[
Ada] Fix small oversight in cha
n
g
e to Optimize_Length_Com
p
a
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
E
r
ic Botcazou
[A
d
a
]
O
p
timize
le
n
g
th checks gene
r
ated
fo
r
slice assignments
commit
|
commitdiff
|
tree
2020-06-17
Piotr Troj
a
nek
[Ada
]
Fix ca
s
ing f
r
om
G
NATPr
o
ve to GNATprove
commit
|
commitdiff
|
tree
2020-06-17
Piot
r
Trojanek
[Ada] Re
m
ove unnecessary special-cas
i
ng of GNATprove
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Eric Botcazou
[
Ada] Fix
small
fallout o
f
change f
o
r '
P
o
s
a
nd 'Val
.
.
.
commit
|
commitdiff
|
tree
2020-06-17
Piotr T
r
ojanek
[Ada] Fix e
x
pansio
n
of
"
fo
r
X of Y loop" i
n
GNATprove
commit
|
commitdiff
|
tree
2020-06-16
Eri
c
B
o
t
c
azou
[
Ada] Expan
d
'
Pos and
'Val for enumeration types with
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Eric Bo
t
cazou
[
Ada] Fix spurious error
on derived
p
rivate type with
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Rich
a
r
d Kenner
[Ada] Change
h
ow we detec
t
internal protecte
d
su
b
p
rograms
commit
|
commitdiff
|
tree
2020-06-16
Ric
h
ard Kenner
[Ad
a
] Improve
b
ug
box customer lan
g
uage
commit
|
commitdiff
|
tree
2020-06-16
P
i
otr
Trojan
e
k
[
Ada] Mi
n
or casing of " The " aft
e
r a comma in docs
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Pi
o
tr Trojanek
[Ada] Reuse
I
s_Ob
j
ect whe
r
e possi
b
le
commit
|
commitdiff
|
tree
2020-06-16
Piotr T
r
ojanek
[A
d
a
]
Fix typo in
c
om
m
ent abo
u
t overlapping actuals
commit
|
commitdiff
|
tree
2020-06-16
P
iotr
T
r
o
janek
[
A
d
a] Force evalua
t
i
o
n of
q
ualified aggregates
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazou
[
A
d
a] Co
u
p
l
e
of fo
r
matting and stylistic
f
ixes
commit
|
commitdiff
|
tree
2020-06-16
S
teve Baird
[Ada]
Enable literal a
s
pect specificati
o
ns
in
B
i
g_Num
b
ers
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Ja
v
ier M
i
randa
[
Ada] C
r
ash
i
n tag
g
ed type constructor
with task c
o
mpon
e
nts
commit
|
commitdiff
|
tree
2020-06-16
Bob Duff
[Ada]
Declar
e
expressi
o
ns
commit
|
commitdiff
|
tree
2020-06-16
Arn
a
u
d
C
harl
e
t
[
Ada] ACATS C4520
0
5/C45200
6
memberships use
wrong equ
a
lit
y
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
E
d
Schonberg
[Ada] Implement AI12-0216 on restrictin
g
overlap er
r
ors
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
E
ric Botcazou
[A
d
a] F
i
x premature
freezing of artificial array
s
ubtype
commit
|
commitdiff
|
tree
2020-06-16
S
teve Baird
[Ada]
I
mplement AI12-024
9
, AI12-0295
(u
s
er-defined
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Char
l
et
[Ada] ACATS 4
.
1
P -
C
432003 - Erro
r
s
missed on ex
t
ension
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ada] ACATS 4
.
1P - BC55
0
01 - E
r
ror missed
commit
|
commitdiff
|
tree
2020-06-16
Piotr Trojan
e
k
[Ad
a
] Fix assertion failu
r
e on qualified type nam
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Piotr Trojanek
[Ada] Force
e
v
alu
a
tion of operator
calls in renamings
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Cha
r
let
[A
d
a]
A
C
ATS 4
.
1K - B452001 - No err
o
r
s detected
commit
|
commitdiff
|
tree
2020-06-16
Gh
j
u
v
an Lacambre
[Ada] Check
if attribu
t
e Passed_By_Reference is
c
alle
d
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
G
a
r
y
Dismukes
[Ada] Fix two typo
s
commit
|
commitdiff
|
tree
2020-06-16
Javier
M
iranda
[
Ada
]
Crash in tagged typ
e
constructor with task comp
o
nents
commit
|
commitdiff
|
tree
2020-06-16
Eric
B
o
tca
z
ou
[Ada
]
Fix sma
l
l fallout of freezing chang
e
for
expression
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Eric Botcazou
[Ada] Fix spurious error on
i
mplicit de
r
eference
for
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
J
avier Miranda
[Ada] Crash
i
n tagged
t
y
pe
c
onstructor with
t
ask components
commit
|
commitdiff
|
tree
2020-06-16
E
d
Schonberg
[Ada] Spurious und
e
fined
symbol with nested call
t
o
.
.
.
commit
|
commitdiff
|
tree
2020-06-16
Piotr
Trojane
k
[Ad
a
] Accept renamings of folded s
t
r
ing aggregates
commit
|
commitdiff
|
tree
2020-06-16
E
r
ic Botcaz
o
u
[Ad
a
] Implement AI12-0
3
51 Matchin
g
fo
r
actuals for
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Er
i
c Botcazou
[Ada] Re
w
rite Sem_Eva
l
.
Predicate
s
_Matc
h
predicat
e
commit
|
commitdiff
|
tree
2020-06-15
E
d Fa
l
is
[Ada] Makefi
l
e
.
r
t
l: minor
file renami
n
gs
commit
|
commitdiff
|
tree
2020-06-15
Ar
n
aud Charle
t
[Ada] Im
p
r
ove
e
rror message on pr
e
mature u
s
age of subtypes
commit
|
commitdiff
|
tree
2020-06-15
Piotr
T
rojanek
[Ada]
D
o
ex
p
ect t
a
s
k d
i
scrimi
n
ant
s
in Global and De
p
en
d
s
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Eri
c
Botcazou
[Ada] Implement AI12-0343 Return Stat
e
ment Checks
commit
|
commitdiff
|
tree
2020-06-15
Bob Duff
[Ada
]
T
'Image c
a
lls T'P
u
t
_
Im
a
ge
commit
|
commitdiff
|
tree
2020-06-15
Gary Dismukes
[Ada
]
Minor ed
i
torial chan
g
es in com
m
e
nts
commit
|
commitdiff
|
tree
2020-06-15
Arnau
d
Charlet
[Ada] Allow unini
t
ialized val
u
es on Bi
g
_Posi
t
ive/Natura
l
commit
|
commitdiff
|
tree
2020-06-15
Piotr Troj
a
nek
[
A
da] Fix analysis
of Rela
x
ed_Initializa
t
ion for bo
d
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Javier
M
ir
a
nda
[Ada]
Crash in tagged type constructor
with task
c
omponents
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada] Missing errors on as
p
ect che
c
ki
n
g
commit
|
commitdiff
|
tree
2020-06-15
Arn
a
ud Charlet
[Ada]
AI12-0260 Functions Is_Ba
s
ic and To_
B
asic in
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
Gary Dismuk
e
s
[Ada] Passing actu
a
l parameter values to out formals
.
.
.
commit
|
commitdiff
|
tree
2020-06-15
J
u
stin Squi
r
e
k
[Ada]
Ba
d
access checks on if/case e
x
pressi
o
n
as actual
commit
|
commitdiff
|
tree
2020-06-15
P
iotr
T
rojanek
[Ada] Do not
exp
e
ct task discriminants in Gl
o
bal and
.
.
.
commit
|
commitdiff
|
tree
next