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] Add some OS constants to control keepalive on TCP connections
2021-06-29
Pa
s
ca
l
Obry
[A
d
a] Ad
d
so
m
e OS constants to cont
r
ol keepalive on
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
Piotr Troja
n
ek
[Ada] Rewr
i
te
Validate
d
_View in rec
u
r
sive st
y
le
commit
|
commitdiff
|
tree
2021-06-29
Eric Botcazou
[Ada] Ignore
a
gai
n
errors when running gen_il-main
commit
|
commitdiff
|
tree
2021-06-29
Richard Kenner
[Ada] Fac
t
or ou
t
ma
n
y field
s
in entities
commit
|
commitdiff
|
tree
2021-06-29
Bob Duff
[Ad
a
] F
i
x
bug
in node
/
e
n
tity kin
d
numbers in sin
f
o
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
Piotr T
r
ojan
e
k
[Ada] Consistently use Validated_View
for Valid_Scalars
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Ga
r
y Dismuk
e
s
[Ada] Im
p
lement fixe
d
-
lower-bo
u
nd c
o
nsistency checks
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Bob D
u
ff
[Ada] Opt
i
mization
o
f
S
ys
t
em
.
Value_N
commit
|
commitdiff
|
tree
2021-06-21
Justin Squi
r
ek
[Ada] I
N
OX: p
r
ototype "when" constru
c
ts
commit
|
commitdiff
|
tree
2021-06-21
Ste
v
e Baird
[Ada] Add
Ada
.
Str
i
ngs
.
Text
_
Buffe
r
s and replace uses
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Eric
Botcazou
[Ada] Adjust ne
w
f
a
st b
i
t-fi
e
ld
copy
p
ath to big-endian
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Richard
K
enne
r
[Ada
]
Add
Return_Statement
field
commit
|
commitdiff
|
tree
2021-06-21
Bob D
u
f
f
[
A
d
a
] I
m
pr
o
ve effic
i
ency of small slice assignmen
t
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
E
d
S
c
honberg
[Ada] Impl
e
ment
a
t
i
on of AI1
2
-20
5
: defaults for formal
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Bob Duff
[Ada] Implem
e
nt 'Val
i
d
_
Value att
r
ib
u
te
commit
|
commitdiff
|
tree
2021-06-21
E
r
i
c Botcaz
o
u
[Ada] E
x
por
t
Opt
.
A
ssume_No_I
n
va
l
id_Values fo
r
use
in
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Bob Duff
[A
d
a] Zero-size slic
e
s
commit
|
commitdiff
|
tree
2021-06-21
Ghjuva
n
La
c
ambre
[Ada]
A
ddress ??? c
o
mment
s
commit
|
commitdiff
|
tree
2021-06-21
P
i
ot
r
Trojan
e
k
[Ad
a
]
Fix
unbalanced par
e
ns
i
n doc
u
mentation of Address
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Ghjuvan
L
aca
m
bre
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2021-06-21
G
h
juvan Lacambre
[Ada] Make -gnatU
a
nd
-gna
t
w
.
d the default
commit
|
commitdiff
|
tree
2021-06-21
Eric B
o
tcazou
[A
d
a] Fix in
v
alid J
S
ON real numbers generated
with
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Pi
o
tr Trojanek
[
A
da] Disab
l
e wrong computation of
offsets wit
h
in multidi
m
en
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Pi
o
tr Trojan
e
k
[A
d
a]
Skip ove
r
lay
che
c
ks on protecte
d
comp
o
nen
t
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Doug Rup
p
[Ada]
Compi
l
e s-mmap on aarch
6
4-linux
commit
|
commitdiff
|
tree
2021-06-21
Gary Dismukes
[Ada] C
o
mpiler crash on sliding of
fixed-l
o
wer-bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
P
i
o
tr Trojanek
[A
d
a] Simplify de
t
ection of staticall
y
overl
a
p
ping
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr Trojan
e
k
[Ad
a
] Fix detection of overlapping actuals
with renamings
commit
|
commitdiff
|
tree
2021-06-21
Frederic Konrad
[Ada] pow
e
r
p
c
64
-
wrs-vxwor
k
s7r2: build shared libgnat
commit
|
commitdiff
|
tree
2021-06-18
G
a
ry Dismukes
[A
d
a] Additi
o
nal e
r
ror checking on index constraints
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob D
u
f
f
[A
d
a] Minor comment cl
e
an
u
p
s
commit
|
commitdiff
|
tree
2021-06-18
P
iotr Trojanek
[Ada
]
Fix
detection of o
v
e
rlapping slices indexed
b
y
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Pio
t
r Trojanek
[Ada] Fix dete
c
tio
n
o
f o
v
erlappin
g
actuals with renamings
commit
|
commitdiff
|
tree
2021-06-18
B
o
b Duff
[Ada
]
M
ake "gcc -
g
natDGL" handl
e
unt
e
rmin
a
ted last
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr Tro
j
anek
[Ada] Reuse Pa
c
kage_
S
p
ecificatio
n
in Is
_
In
c
omple
t
e_Or_Pri
v
at
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
A
da] Avoid passing Enum_Lit'Size to the back e
n
d
commit
|
commitdiff
|
tree
2021-06-18
O
li
v
ier Hainque
[
Ada]
F
ix inaccu
r
acies in signal
h
andler tram
p
oline
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Ja
v
ier Mira
n
da
[Ada] Ada2020: A
I
12-019
5
overridin
g
class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[A
d
a] P
r
e
m
a
t
u
re fre
e
zing of
t
ypes
commit
|
commitdiff
|
tree
2021-06-18
Gary Dismu
k
es
[Ada] Mi
s
si
n
g c
h
e
c
k
for assigning too-larg
e
array
t
o
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[Ada] Remove AAM
P
from compil
e
r
sources
commit
|
commitdiff
|
tree
2021-06-18
Gary Dismuk
e
s
[Ada] Error issued on strin
g
l
i
teral assigned to fixed
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Pio
t
r Tro
j
an
e
k
[Ada] War
n
about overlapping actuals
i
n all versions
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piot
r
Tro
j
anek
[Ad
a
] Reuse F
i
rst
_
A
ctual in
A
ddres
s
_
V
alue
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
A
da] Correct A'F
i
rst (N
)
wher
e
N
is an object name
commit
|
commitdiff
|
tree
2021-06-18
Piot
r
Troj
a
nek
[Ada] Fix a
s
ymm
e
tries in detection of overla
p
ping actua
l
s
commit
|
commitdiff
|
tree
2021-06-18
A
r
naud Charlet
[
A
da] Fix handling of g
n
at
c
h
e
ck/te
s
t commands
commit
|
commitdiff
|
tree
2021-06-18
Gary Dismuk
e
s
[Ada]
Add documentation for the arr
a
y fix
e
d-lo
w
e
r
-bound
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[Ada] New debug switch to disable large static aggregat
e
s
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
A
d
a
] War
n
on
'in out' param con
t
aini
n
g access i
n
p
r
iva
t
e
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Pio
t
r Tro
j
ane
k
[
Ada]
R
emove
dead code
f
or o
v
erlapping a
c
t
u
als in pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Eri
c
Botcazou
[Ada] Do not clea
r
I
s
_
T
rue_Constant flag on
importe
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ad
a
] C
o
de cleanups in exp_ch6
.
adb
commit
|
commitdiff
|
tree
2021-06-18
Ar
n
aud Charlet
[Ada] Update
c
omments
related to TBD
commit
|
commitdiff
|
tree
2021-06-18
Ghj
u
van
L
acambre
[
Ada] Im
p
l
e
m
ent basi
c
support for -fdiag
n
ost
i
cs-forma
t
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arna
u
d Charle
t
[Ada] Relax nu
l
l exclus
i
on mismatch check in Relax
e
d_RM
_
Se
m
a
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ada] Replace Opt
.
Extensions_Allowed by
Ada_Ve
r
s
i
o
n
commit
|
commitdiff
|
tree
2021-06-18
A
rnaud Charlet
[
Ada] GNAT
.
Compiler_Version and LTO
commit
|
commitdiff
|
tree
2021-06-18
Javier Mira
n
d
a
[Ada] Ada2020:
S
pecial handling of ty
p
es
derived
from
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
rn
a
ud Cha
r
let
[Ada]
C
ras
h
on
o
verrid
i
ng of an abstra
c
t primitive
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Vadim
G
odunko
[
Ada] Fix operations on Unbounded
_
String
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Gary
Dismukes
[Ada] I
m
p
l
ementation of Inox
f
eature of f
i
xed lower
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Bob Duff
[
A
d
a
] Warn on 'in out' param
containing access i
n
predefine
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Steve Baird
[
Ada] Casing on
c
ompos
i
t
e
values
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Cha
r
let
[Ada] Missing
f
inalization on
n
ested expression wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada] Crash on a
neste
d
a
g
gr
e
gat
e
containing controll
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
P
i
otr Trojanek
[Ada
]
F
i
x detection o
f
va
l
id
rena
m
ings for ove
r
lappin
g
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[Ada
]
Do
n
'
t check No_Wi
d
e_Cha
r
acters restri
c
tion
for
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Tr
o
janek
[Ada] Remove dubious wra
p
per of a recursive function
commit
|
commitdiff
|
tree
2021-06-17
G
a
ry
Dism
u
kes
[Ada] Error in
instance on inco
m
plet
e
a
ct
u
al passed
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr T
r
o
j
anek
[Ada] Fix punctuation in documentation of warnings
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Tr
o
jan
e
k
[Ada] Fix detection of slices that d
e
note th
e
same
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr T
r
ojanek
[Ada] C
h
ec
k
all pairs of actuals
f
or overlapping
commit
|
commitdiff
|
tree
2021-06-17
Pio
t
r
Trojanek
[A
d
a] Fix ha
n
dling o
f
generic
types in check for overlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Tro
j
anek
[Ada] Remove dead code f
o
r overlappin
g
actuals an
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[Ada] Clean
u
p redundant conditions in checks for ove
r
lapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pio
t
r T
r
oj
a
nek
[
Ada] Use sou
r
c
e cas
i
n
g
in messages for aliasing checks
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Char
l
et
[Ada] Mov
e
runtime units for Put_Imag
e
attrib
u
te to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
a
ud Cha
r
let
[Ada] P
r
ovide new func
t
ion Uintp
.
UI_
T
o_Unsi
g
ned_64
commit
|
commitdiff
|
tree
2021-06-17
P
iotr Trojanek
[
A
da]
Clarify
e
rr
o
r
for u
n
supported ELIMI
N
ATED overflo
w
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Richard Kenner
[A
d
a]
L
ook a
t
O
t
he
r
s_Discrete_Choic
e
s
for
N
_Others
_
Choice
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud Ch
a
rlet
[Ada] Minor
comm
e
nt cle
a
nup
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud Charlet
[Ada]
Do not systemati
c
a
l
ly su
p
pres
s
c
h
e
cks on
a
t
r
ee
.
adb
commit
|
commitdiff
|
tree
2021-06-17
J
ustin Squirek
[Ada] Remo
v
al o
f
te
c
hnical deb
t
commit
|
commitdiff
|
tree
2021-06-17
Bob Duff
[
Ada]
D
is
p
lay Entity i
n
debugging
p
r
intouts
commit
|
commitdiff
|
tree
2021-06-17
Pio
t
r Trojane
k
[Ada]
Apply aliasing checks only to names and no
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Bob D
u
ff
[Ada] Fix
varsize
node name con
f
l
i
ct
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
aud Cha
r
le
t
[Ada] AI12-0411 Add "bo
o
l" to In
t
erfaces
.
C
commit
|
commitdiff
|
tree
2021-06-17
Piotr Tro
j
anek
[A
d
a]
Reject allocators in c
o
ntexts restr
i
cted
by SPAR
K
commit
|
commitdiff
|
tree
2021-06-16
Piotr
T
r
ojanek
[Ada] Fix Is_Volati
l
e_Function
for functions declared
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada
]
Ignore volat
i
l
e restrictions in pre
a
n
alysi
s
commit
|
commitdiff
|
tree
2021-06-16
Ya
n
nick Moy
[A
d
a
] Do not generat
e
an Itype_Reference node fo
r
slices
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Eric B
o
tca
z
ou
[Ad
a
]
Fi
x
flo
a
ting
-
point exponent
i
a
tion
wit
h
Integer
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[
A
da] Fix
d
etection of volatile expre
s
s
i
ons in restricted
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[
Ada] Cl
e
anup repeated
c
alls in
Sloc
_
Ra
n
ge
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada] Fix alia
s
ing chec
k
f
o
r actual p
a
rameters passed
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr
T
r
o
j
a
nek
[Ada] Remove unused initia
l
iza
t
i
o
n
w
it
h
N
e
w
_
List
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[
A
da] Fix typos
i
n all o
c
c
u
rrences
of
"
o
c
curin
g
" in
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada] Ad
a
pt Is_Actual_Parame
t
er to also wor
k
for entry
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
A
r
n
aud Charlet
[Ada] W
r
ong referenc
e
t
o
Sy
s
tem
.
T
a
sking in ex
p
a
nded
.
.
.
commit
|
commitdiff
|
tree
next