projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7faaabc
)
[Ada] Detect unchecked union components with fully qualified names
author
Piotr Trojanek
<trojanek@adacore.com>
Wed, 13 Jan 2021 11:53:21 +0000
(12:53 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Wed, 5 May 2021 08:19:04 +0000
(
04:19
-0400)
gcc/ada/
* exp_ch4.adb (Component_Is_Unconstrained_UU): Detect both
qualified and unqualified names of unchecked union components.
gcc/ada/exp_ch4.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/exp_ch4.adb
b/gcc/ada/exp_ch4.adb
index
ca23727
..
e8fa5a8
100644
(file)
--- a/
gcc/ada/exp_ch4.adb
+++ b/
gcc/ada/exp_ch4.adb
@@
-8154,7
+8154,7
@@
package body Exp_Ch4 is
-- Unconstrained nominal type. In the case of a constraint
-- present, the node kind would have been N_Subtype_Indication.
- if Nkind (Sindic)
=
N_Identifier then
+ if Nkind (Sindic)
in N_Expanded_Name |
N_Identifier then
return Is_Unchecked_Union (Base_Type (Etype (Sindic)));
end if;