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] Make -gnatU and -gnatw.d the default
2021-06-21
Ghju
v
an Lacambre
[Ada] M
a
k
e
-gnatU and -gnatw
.
d
the default
commit
|
commitdiff
|
tree
2021-06-21
Eric Botcazou
[Ada] Fix inva
l
id J
S
ON r
e
al numbers generate
d
with
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Pi
o
tr Tr
o
janek
[A
d
a] Dis
a
ble wrong
c
omputation of
offsets
w
ithin mul
t
idimen
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
P
iotr Tro
j
a
nek
[Ada] Skip overlay checks on protected com
p
o
n
e
nts
w
ith
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Doug Rupp
[Ada]
C
o
mpile s-mmap on aarch64-linux
commit
|
commitdiff
|
tree
2021-06-21
G
a
r
y
Dism
u
kes
[Ada]
C
o
m
piler crash on
sliding of fixed-
l
ower
-
bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
P
iotr Trojanek
[Ada] Simpli
f
y detection of statically overlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr Trojanek
[A
d
a
]
Fi
x
detection of ove
r
lap
p
ing actuals with re
n
amings
commit
|
commitdiff
|
tree
2021-06-21
Fre
d
eric Konrad
[Ada] powerpc
6
4-wrs-
v
xwork
s
7r2
:
buil
d
shared libgnat
commit
|
commitdiff
|
tree
2021-06-18
Gary Dismukes
[Ada
]
Addition
a
l error checking on index constraint
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
Ada]
Mi
n
or comm
e
n
t cleanups
commit
|
commitdiff
|
tree
2021-06-18
Piotr Trojanek
[Ada] Fix detec
t
ion of overlapping sli
c
es inde
x
ed b
y
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr Troj
a
nek
[Ada]
F
ix detectio
n
of
overlapping actu
a
ls
w
ith renamings
commit
|
commitdiff
|
tree
2021-06-18
Bob
D
u
ff
[Ad
a
] Make "gcc -
g
n
a
t
DG
L
"
handle unterminated
last
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr Trojanek
[Ada
]
Reus
e
Pa
c
k
a
ge_S
p
ecifi
c
ation i
n
Is_Inco
m
plete_Or_Priv
a
t
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
Ada] A
v
oid passing Enum_Lit'Size to the back end
commit
|
commitdiff
|
tree
2021-06-18
Olivier
Hainque
[Ada] Fix
i
naccura
c
i
e
s in signal handler trampol
i
ne
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
J
avier Miranda
[
A
da]
A
da
2
020: AI12-0195 overriding class-wide pre
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arna
u
d
Char
l
et
[
A
da]
P
r
ematu
r
e f
r
eezing
of types
commit
|
commitdiff
|
tree
2021-06-18
G
a
ry Dismukes
[Ada
]
Missing c
h
eck for assi
g
ning
t
oo-la
r
ge
a
rray
to
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[Ada
]
R
e
move AAMP from compiler so
u
rces
commit
|
commitdiff
|
tree
2021-06-18
Gary Dismuke
s
[Ada] Error issued
o
n string literal
a
ssigned
t
o fixed
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr
T
roj
a
nek
[Ada]
Warn about overla
p
ping actuals in a
l
l
vers
i
ons
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr
T
r
oj
a
nek
[
Ada]
Reu
s
e First_Actual in Ad
d
ress
_
Value
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[
Ada] C
o
rrect
A'First (N) wher
e
N
is an object name
commit
|
commitdiff
|
tree
2021-06-18
Pio
t
r
T
rojanek
[Ada] Fix asymmet
r
ies in detection
o
f
overlapping actuals
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ada] Fix hand
l
in
g
of
g
n
at check/test commands
commit
|
commitdiff
|
tree
2021-06-18
G
a
ry Dismukes
[Ad
a
] Add documentation fo
r
t
he arr
a
y fi
x
ed-lower-bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Bob Duff
[A
d
a] New
d
e
bug switch to
d
isa
b
le large static agg
r
egates
commit
|
commitdiff
|
tree
2021-06-18
Bob Du
f
f
[Ad
a
] Warn on 'in out' param
c
ontaini
n
g a
c
c
ess in private
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr T
r
o
j
a
n
e
k
[Ada] Re
m
ove dead code for overlapping actuals i
n
prefix
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Eric Botcazo
u
[Ada]
Do not c
l
ear Is_T
r
ue
_
Constant fla
g
on import
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Ar
n
aud
C
harlet
[Ada] Code
cleanups
i
n exp_
c
h6
.
adb
commit
|
commitdiff
|
tree
2021-06-18
Ar
n
aud Charle
t
[Ada] Update comments related to
T
BD
commit
|
commitdiff
|
tree
2021-06-18
Ghjuvan Lacambre
[Ada] Implement
b
asic s
u
ppo
r
t
f
or -fd
i
ag
n
ostic
s
-format
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud
C
harlet
[Ada] Relax n
u
ll exclu
s
ion mismatch check in Relaxed_RM_Sema
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charl
e
t
[
A
da]
Repl
a
ce
Opt
.
Extensio
n
s_Allo
w
ed by Ada
_
Versi
o
n
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ada] GNAT
.
Com
p
iler_Version and LTO
commit
|
commitdiff
|
tree
2021-06-18
Javi
e
r
Miranda
[Ada] Ada2020: Sp
e
cial handling of
t
y
p
e
s de
r
ived from
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Cha
r
l
e
t
[Ada] C
r
a
s
h on overridin
g
of an abstract primit
i
ve
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Vadim G
o
dunko
[Ada]
Fix
o
per
a
tions on Un
b
ound
e
d
_
String
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
G
a
ry
D
is
m
uke
s
[Ada
]
Implementati
o
n of Inox feature of fixed low
e
r
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
B
o
b
Duff
[Ada
]
Warn on 'in out'
p
a
r
am
c
onta
i
ning access in predef
i
ned
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Steve Baird
[
Ada]
Casing on composite values
commit
|
commitdiff
|
tree
2021-06-17
Arna
u
d Charlet
[
Ada] Missing finalization on nested
e
xpres
s
ion wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud C
h
a
r
let
[Ada] C
r
ash on a nested aggre
g
ate containin
g
controlled
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Troj
a
nek
[Ada] Fix det
e
c
t
ion of valid renamin
g
s for
o
ver
l
apping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojane
k
[Ada]
D
on't chec
k
No_Wide_Character
s
restricti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[A
d
a] Remove dubio
u
s wrapper of
a
r
e
cursive
function
commit
|
commitdiff
|
tree
2021-06-17
Gar
y
Dismukes
[Ada] Error i
n
inst
a
nce on incomplete actual passed
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[Ada] Fix punctuation in documentation of
w
arning
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pi
o
tr Troja
n
ek
[Ada] Fix
de
t
ectio
n
of slices that den
o
te th
e
same
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
P
iotr Trojan
e
k
[Ada] C
h
eck all pairs
of actu
a
ls for overlapping
commit
|
commitdiff
|
tree
2021-06-17
Piotr Troja
n
ek
[Ada
]
Fix handling of generic typ
e
s in check fo
r
o
v
e
rlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pio
t
r Tro
j
anek
[A
d
a] Remove dead
code for overlapping actuals and
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pi
o
t
r Trojanek
[Ada] Cleanup
r
edundant c
o
nditions
in checks for overlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
P
i
otr Tro
j
a
n
ek
[Ada] Use sourc
e
cas
i
n
g in mess
a
ges
for
al
i
asing check
s
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[
Ada] Move ru
n
time uni
t
s
for
P
ut_Image
at
t
ribu
t
e to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada
]
Provide new function Uintp
.
UI_To_Unsigned_64
commit
|
commitdiff
|
tree
2021-06-17
Piotr T
r
ojanek
[Ada] Clarify
error for unsupported
E
LIM
I
NATED overflow
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Richard
K
e
nner
[Ada] Look at Others_
D
iscrete_Choices for N_O
t
hers_
C
ho
i
ce
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Char
l
et
[
A
da] Mino
r
comment cleanup
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
aud Charlet
[
Ada] Do not systematically
s
uppr
e
ss
checks on
atr
e
e
.
adb
commit
|
commitdiff
|
tree
2021-06-17
Justin
S
quirek
[Ada] Removal
o
f technical deb
t
commit
|
commitdiff
|
tree
2021-06-17
B
o
b
Duf
f
[Ada] Displ
a
y Entity i
n
debugging printouts
commit
|
commitdiff
|
tree
2021-06-17
P
i
ot
r
Tro
j
anek
[Ada] Apply aliasing checks only to n
a
mes and
n
ot
t
o
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
B
ob Duff
[Ada]
Fix var
s
ize node name
con
f
lict
commit
|
commitdiff
|
tree
2021-06-17
A
rnaud
C
h
a
rlet
[Ada] AI12-0411
A
dd "bo
o
l" to
Interfa
c
es
.
C
commit
|
commitdiff
|
tree
2021-06-17
Piot
r
Trojanek
[
A
da]
R
eject allocators in
c
ontexts
restricted b
y
SPARK
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada] Fix Is
_
Volatile_Functi
o
n for
functio
n
s declared
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr
T
rojanek
[Ada] Ignore
volatile res
t
ricti
o
ns
in prean
a
ly
s
i
s
commit
|
commitdiff
|
tree
2021-06-16
Ya
n
nick
Moy
[
Ada] Do not generate an Ityp
e
_Re
f
e
r
ence node for slices
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
E
ric Botcazou
[Ada]
Fi
x
flo
a
tin
g
-point exponentia
t
ion
w
i
th
Integer
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Pi
o
tr
T
roja
n
ek
[Ada
]
Fix detection
o
f
volatile e
x
p
r
e
ssio
n
s in
r
estricted
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ad
a
] Cleanup repeated calls in
S
l
o
c_Range
commit
|
commitdiff
|
tree
2021-06-16
Piotr Tro
j
anek
[Ada]
F
ix aliasing check for actual
parameters
passed
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Pio
t
r
Trojanek
[
A
da] Remove u
n
u
sed
initialization with New_List
commit
|
commitdiff
|
tree
2021-06-16
Piotr
T
r
ojanek
[Ada] Fix ty
p
os in all occurrences of "o
c
c
u
ring" in
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[
Ada] Adapt Is_Ac
t
ual_Parameter t
o
a
lso
wo
r
k for entry
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnaud Charle
t
[Ada] Wrong
r
efere
n
c
e
to Syst
e
m
.
Tasking
i
n
e
xpan
d
ed
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr T
r
ojanek
[Ada] Cl
e
anup
related to volat
i
le
o
bject
s
in
restricted
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
St
e
ve Baird
[Ada] I
n
clude in
f
o about co
n
t
ainer
s
in GNA
T
RM Impl
e
ment
a
tio
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Justin Sq
u
irek
[A
d
a] Mixing
o
f positi
o
n
al
a
nd named entries allowed
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Jus
t
in
S
qui
r
ek
[Ada] Non
-
s
tat
i
c In
t
errupt_
P
riori
t
y
allowed with res
t
ric
t
ion
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
J
u
s
t
i
n
S
quirek
[A
d
a] Sp
u
rious
accessibility
e
rr
o
r on "
f
or of
"
l
o
op
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Matthieu
Eyraud
[Ada] Fix A
L
I so
u
rc
e
loca
t
io
n
for
d
omi
n
an
c
e markers
commit
|
commitdiff
|
tree
2021-06-16
Ric
h
ard Ken
n
e
r
[Ada] Don't look for aliases f
o
r generic sub
p
rograms
commit
|
commitdiff
|
tree
2021-06-16
Eric Botcazou
[Ad
a
] M
a
ke Incomplete_Or_Partial_Vi
e
w
in
d
ependent of
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Eric
Botcaz
o
u
[Ada] Do not p
e
rfor
m
useless work in Check_No_Parts_Violations
commit
|
commitdiff
|
tree
2021-06-16
Bob Duff
[Ada] Fix missing array
bounds che
c
king
commit
|
commitdiff
|
tree
2021-06-16
Eric Botcazou
[Ada] Use more straig
h
tforward implem
e
nta
t
ion for Current_En
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr T
r
ojanek
[Ada] R
e
move extra parens
a
round
a
f
un
c
tion call
commit
|
commitdiff
|
tree
2021-06-16
J
avier
M
irand
a
[Ada]
ACATS 4
.
1R
-
c611
a
04: Clas
s
-wide preconditions
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Ed Schonberg
[Ada] Impl
e
men
t
ation of AI12-01
5
2: leg
a
lity ru
l
es for
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
P
i
otr Tro
j
a
nek
[Ad
a
] Re
o
rd
e
r code
f
or validi
t
y checks of unc
h
ecked
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnaud Charle
t
[A
d
a]
R
aise
e
x
pressi
o
ns a
n
d unconstra
i
ned c
o
mponents
commit
|
commitdiff
|
tree
2021-06-16
Sergey Rybin
[A
d
a
] Clarify the
documentation of
-gnaty0 style c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Er
i
c Botcazou
[
A
da] Sm
a
ll cleanup in C
h
eader f
i
les
commit
|
commitdiff
|
tree
2021-06-16
Eri
c
B
o
tcazou
[
A
da] Small cleanup in System
.
Exceptions
commit
|
commitdiff
|
tree
2021-06-15
S
t
eve Baird
[Ad
a
] Avoid unhelpful dead code warnings
commit
|
commitdiff
|
tree
next