diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-11-14 11:40:35 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-11-14 11:40:35 +0000 |
| commit | cacf87ce6c6f7c35c9e10ce635076481912ba092 (patch) | |
| tree | e95e91c980989582ffe4b1b85dacf136ce8cd188 /gcc/tree-vrp.c | |
| parent | cff7b62c05a411a7dfb3af5e8feb63090c00df4a (diff) | |
| download | gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.zip gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.tar.gz gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.tar.bz2 | |
[Ada] Record components do not appear in the Global contract
In the Global contract there can be only entire objects, which are
represented either as N_Identifier or N_Expanded_Name. The test for
record components was dead. Now removed. Semantics unaffected.
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_util.adb (First_From_Global_List): Do not expect
N_Selected_Component in the Global contract; simplify assertion
with Nam_In.
From-SVN: r266113
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions