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] AI12-0194: Language-defined aspects and entry bodies
2020-07-27
Gary Dismu
k
es
[Ada]
A
I12-0194: Language-
d
efined as
p
ects and en
t
r
y
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
J
a
v
ier Miranda
[Ada] Spuriou
s
er
r
o
r
in g
e
n
eric dispat
c
hing cons
t
ructor
commit
|
commitdiff
|
tree
2020-07-27
Javier Mi
r
anda
[Ada] Ada202
0
: A
I
12-0027 Access
v
alues and un
a
liased
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Er
i
c
Botcaz
o
u
[
Ada] Remove
obsolete special case in Switch_V
i
e
w
commit
|
commitdiff
|
tree
2020-07-27
Patrick
B
ern
a
rdi
[Ada
]
x86-lynx178el
f
: use
a
-
n
umaux
.
ads i
n
stead o
f
a
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Ed Schonberg
[Ada] Warni
n
gs on ov
e
rloa
y
s i
n
volving
g
e
neric In_Para
m
eters
commit
|
commitdiff
|
tree
2020-07-27
Gary Dismuke
s
[Ada]
AI12-0382: Lo
o
s
e
n type-
i
nv
a
riant
o
verriding require
m
en
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Piotr T
r
ojanek
[Ada] Add range check for GNATprove
o
n 'Po
s
to Long_Intege
r
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Bob Duff
[Ada] A
d
a
2
0
20: AI12-03
0
4 Put_I
m
age attrs of lang-def
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Javier Mi
r
anda
[Ada] Misplace of inter
n
al master renami
n
g declarati
o
n
commit
|
commitdiff
|
tree
2020-07-16
Arnaud C
h
ar
l
et
[
Ada] AI12-0132 Freezing of renames_as_b
o
dy
commit
|
commitdiff
|
tree
2020-07-16
Ed Schonberg
[
Ada] Ong
o
ing work for AI12-0212 :
contai
n
er aggr
e
ga
t
es
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ad
a
] gnatbin
d
:
Fix
N
o_
E
ntry_Call
s
_In_Elaborati
o
n_C
o
de
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
B
o
b Duff
[Ada] Ada2
0
20: AI12-0117
R
estriction
N
o_Tasks_Unassigned_To_CPU
commit
|
commitdiff
|
tree
2020-07-16
Eric Bot
c
azou
[A
d
a] R
e
mo
v
e duplicated line
commit
|
commitdiff
|
tree
2020-07-16
Ar
n
aud Charlet
[Ada] Wrong execu
t
i
o
n
of T
a
n on la
r
ge
a
rgument
commit
|
commitdiff
|
tree
2020-07-16
Ed Schonberg
[
A
da] Spurious error in instance nested in formal
packag
e
commit
|
commitdiff
|
tree
2020-07-16
D
oug Rupp
[Ada] v7r2cert: minor
refact
o
ring
commit
|
commitdiff
|
tree
2020-07-16
Eric Botcazou
[Ada]
Set missing Pa
r
ent
f
ield of block e
n
tity
commit
|
commitdiff
|
tree
2020-07-16
A
r
naud Charlet
[A
d
a]
AI12-0004
N
o
rma
l
ization and a
l
lowed characters
commit
|
commitdiff
|
tree
2020-07-16
Bob
Duff
[Ada] Ada2020: AI12-0117 Restriction
N
o_T
a
sks_Una
s
signed_
T
o_CPU
commit
|
commitdiff
|
tree
2020-07-16
Bob Du
f
f
[Ada]
A
dj
u
st h
e
uristics
a
bout size of st
a
tic aggregates
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Ada2020
:
A
I
12-0055 No_D
y
namic_
C
PU_Assignmen
t
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
G
a
ry
Dismu
k
es
[Ada]
Implicit dereferencing i
n
container indexing
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-03
7
3 Additional
check on Integer_Literal
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Ghjuvan
L
acambre
[Ada
]
Hand
l
e N_Others
_
Choic
e
c
a
se in range-bui
l
d
ing
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Ada2020: AI
1
2-
0
289 Impl
i
citly nul
l
excluding
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Justin
S
quir
e
k
[Ada] Spurious accessibili
t
y err
o
r on allocator in
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Eric
B
otca
z
ou
[
A
da] Small cle
a
n
up in interfac
e
with
GCC back-e
n
d
commit
|
commitdiff
|
tree
2020-07-16
Justin
S
quirek
[Ada] In
c
orrect stati
c
accessibility error in return
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Piotr Trojane
k
[Ada] Simplify detection of others
choice wit
h
jus
t
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada
]
Disable Initi
a
l
i
ze_S
c
a
l
ars on runtime fil
e
s
commit
|
commitdiff
|
tree
2020-07-16
Ghjuvan L
a
ca
m
bre
[
A
d
a] Do not perfor
m
null exc
l
us
i
on static checks on
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Ja
v
ier Miran
d
a
[Ada] Avoid false positive reported by Code
P
eer
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[
A
da]
Spuri
o
us redundan
t
u
s
e
clause warning
commit
|
commitdiff
|
tree
2020-07-16
Ja
v
ier Mi
r
a
nda
[Ad
a
] Ada2020: AI12-0107 conve
n
tion of By_Prote
c
ted_Procedure
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada]
O
v
erflow in st
r
ing strea
m
ing
commit
|
commitdiff
|
tree
2020-07-16
A
rnaud Charlet
[Ada] Add central
i
zed capac
i
t
y
check in
Ge
n
e
ric_Bign
u
ms
commit
|
commitdiff
|
tree
2020-07-16
Gary Dismu
k
es
[
A
da] AI12-0042: Type inv
a
r
ia
n
t chec
k
ing rules
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojane
k
[Ada] C
l
eanup code
r
el
a
ted to ob
j
ect overlays
commit
|
commitdiff
|
tree
2020-07-15
Eri
c
Botcazo
u
[A
d
a] Cleanup i
n
Convert_T
o
_Positi
o
nal after
previous
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Cha
r
let
[
A
da] Ongoing work f
o
r
AI12-0212: cont
a
iner aggregates
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Fix
logi
c
in Allo
c
ate_
A
ny_Cont
r
olled
commit
|
commitdiff
|
tree
2020-07-15
P
i
o
t
r T
r
ojanek
[Ad
a
] Target nam
e
i
s
a
n
ob
j
e
c
t refere
n
ce
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Sp
u
rious error on Predicate_Failure
a
spec
t
commit
|
commitdiff
|
tree
2020-07-15
Ar
n
a
ud Charlet
[
A
da] Mentio
n
-gn
a
t202
0
in error messag
e
commit
|
commitdiff
|
tree
2020-07-15
E
ric
B
ot
c
az
o
u
[Ada]
D
o
not generate elab
o
ration code fo
r
alignment
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Do not generate ex
t
ra copies i
n
side initializa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
G
hju
v
an Lacambre
[Ada] Guard a
g
ains
t
a
ccess to wrong fields in Is_Renaming
commit
|
commitdiff
|
tree
2020-07-15
Ar
n
a
u
d Charle
t
[
Ada] Remove doc on obsolete tools
commit
|
commitdiff
|
tree
2020-07-15
A
rnaud Charlet
[Ada
]
Asser
t
failure with -gnatwr
commit
|
commitdiff
|
tree
2020-07-15
A
r
na
u
d Charlet
[Ada] Mi
s
sing error on ope
r
ator call
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[A
d
a] Fix f
o
r possib
l
y null ranges in 'Update and delta_aggr
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
E
r
ic
Botcaz
o
u
[Ada] Smal
l
addition and tweaks in documen
t
ation o
n
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] ACATS 4
.
1P [BDB4001] -
13
.
11
.
4
(2
2
-23/3) no
t
enforced
commit
|
commitdiff
|
tree
2020-07-15
Yannick M
o
y
[Ada] Mark standard containers as not in
S
P
A
R
K
commit
|
commitdiff
|
tree
2020-07-15
Eric
Bo
t
cazou
[Ada] Fix oversight in Delaye
d
_Aspect_Present
p
r
e
dicate
commit
|
commitdiff
|
tree
2020-07-15
Jav
i
er Miranda
[Ada] Wro
n
g res
o
l
u
tio
n
of 'access in protected
subprogram
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charle
t
[
Ada]
D
ocumentation cleanu
p
s
commit
|
commitdiff
|
tree
2020-07-15
Pi
o
tr Troj
a
nek
[Ada]
F
ix s
l
ices and qualified
exp
r
essions being eff
e
ctively
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojane
k
[Ada]
C
lea
n
up con
d
ition for an effecti
v
ely
v
olatil
e
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Extend static
f
unctions
commit
|
commitdiff
|
tree
2020-07-15
Arn
a
ud C
h
arlet
[
Ad
a
] Potential access to unini
t
ialized variabl
e
commit
|
commitdiff
|
tree
2020-07-15
P
i
otr Trojanek
[Ad
a
] Fix typo in "a
c
c
o
m
modate" in do
c
s
a
nd comments
commit
|
commitdiff
|
tree
2020-07-15
Gary Dismukes
[Ada] Mino
r
re
f
orm
a
ttin
g
of comments
and so
m
e code
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Eric
Botcaz
o
u
[Ada] Use Sloc of dela
y
s
t
atement in timed entr
y
call
commit
|
commitdiff
|
tree
2020-07-15
Ed Schonberg
[Ada
]
Ongoing wo
r
k for unnamed an
d
named
c
ontai
n
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Justin Squirek
[
A
da] Spurious ac
c
essib
i
l
ity error on allocator
commit
|
commitdiff
|
tree
2020-07-15
A
r
na
u
d Charl
e
t
[Ada] Fix potent
i
ally un
i
ni
t
ia
l
i
z
e
d variabl
e
f
lagg
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
P
i
o
t
r Trojanek
[Ad
a
] R
e
vert mistaken negat
i
on re
l
a
t
ed to references
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Eric
B
otcazou
[Ada] Add warning f
o
r overla
y
s
chang
i
ng scalar storage
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
P
iotr Trojanek
[Ada
]
Fix
d
etection
o
f
actual parameters fo
r
pr
o
cedure
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
B
ob D
u
ff
[Ada] Ada2020: AI12
-
0368 Declare expr
e
ssions can
b
e
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Ed Schonberg
[
Ada] Spurious er
r
o
r
o
n para
m
eterless acccess_
t
o
_s
u
b
pro
g
ram
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Further improve
t
he expansion o
f
a
rra
y
a
g
grega
t
es
commit
|
commitdiff
|
tree
2020-07-10
A
rnau
d
C
h
arlet
[Ada] Preser
v
e casing o
f
output
files
commit
|
commitdiff
|
tree
2020-07-10
Pascal Obry
[
Ada] Fix me
m
ory leak i
n
r
outine W
a
it_
O
n_
S
o
c
ket
commit
|
commitdiff
|
tree
2020-07-10
Pascal O
b
ry
[
A
d
a
] Minor style
f
i
xes
commit
|
commitdiff
|
tree
2020-07-10
Javier
M
i
randa
[
Ada
]
Pot
e
ntially une
v
aluate
d
nested expressi
o
ns
commit
|
commitdiff
|
tree
2020-07-10
G
ary
Dismukes
[A
d
a] Reforma
t
ting and typ
o
corre
c
ti
o
n
s
commit
|
commitdiff
|
tree
2020-07-10
Y
annick M
o
y
[Ad
a
] Fix de
t
ec
t
i
on
o
f vo
l
atile properties in SPARK
commit
|
commitdiff
|
tree
2020-07-10
Piotr Tr
o
ja
n
e
k
[Ada]
C
leanu
p
excessi
v
e conditions in Ch
e
ck_Completion
commit
|
commitdiff
|
tree
2020-07-10
Pi
o
t
r
T
rojan
e
k
[Ada] Remove references to non-existing E_Protecte
d
_Obje
c
t
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Ch
a
rlet
[
A
da] Use small limit for aggregates insid
e
subprogra
m
s
commit
|
commitdiff
|
tree
2020-07-10
Eric
Bo
t
caz
o
u
[A
d
a
]
Small cleanup th
r
oughout Exp_Ch4
commit
|
commitdiff
|
tree
2020-07-10
Javier Mi
r
anda
[Ada] Spurious
error in
g
eneric dispatching constructor
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Yannick
M
o
y
[Ada
]
Fix ass
e
rti
o
n
failure on
(in-)out function
parameter
commit
|
commitdiff
|
tree
2020-07-10
P
i
otr Trojanek
[Ada] Revert too late s
e
tting of Ekind on
d
is
c
riminan
t
s
commit
|
commitdiff
|
tree
2020-07-10
J
o
ffrey
Huguet
[Ada] Add global contracts to Ada
.
Numerics
.
Big_Numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Ed Schonberg
[A
d
a] P
a
rt of implementation of AI12-0212: con
t
ainer
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Ch
a
rlet
[A
d
a] Mak
e
System
.
Generic
_
Bignums
more flexibl
e
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcaz
o
u
[A
d
a] Fix
c
rash on q
u
a
ntified expression in
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
E
ric Botc
a
zou
[A
d
a] Fix crash
o
n
q
u
a
ntifi
e
d
expression in expression
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Eric Bot
c
a
z
ou
[Ad
a
] Fix i
n
ternal error on if-express
i
o
n
i
n cal
l
retur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Piotr
Trojanek
[
A
da]
Fix fa
i
ling
a
s
sertions rel
a
ted to volatile object
s
commit
|
commitdiff
|
tree
2020-07-10
Yannick Moy
[Ada] Remove use of debug fl
a
g -gnatd
F
for GNATprove
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada
]
Reu
s
e
SPARK expansion of attribute Upd
a
t
e for
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
P
iotr Trojanek
[Ada] F
i
x expa
n
sion of 'Update with mu
l
t
iple choices
.
.
.
commit
|
commitdiff
|
tree
2020-07-10
Arnaud C
h
arlet
[Ada] Cr
a
sh i
n
Walk_Li
b
rary_Items on ghost units
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[A
d
a]
D
isable
warning about
unsafe use
o
f __bui
l
tin_frame_ad
.
.
.
commit
|
commitdiff
|
tree
next