diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:52:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:52:32 +0000 |
| commit | ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66 (patch) | |
| tree | 11cc04eb7c92b258449c4c54681e3cd733499a59 /gcc/ada/init.c | |
| parent | 9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69 (diff) | |
| download | gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.zip gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.tar.gz gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.tar.bz2 | |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Scope_Record): Remove Spec_File_Num and
Spec_Scope_Num components.
* spark_xrefs.adb (dspark): Skip pretty-printing to removed components.
* lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
removed components.
(Collect_SPARK_Xrefs): Skip setting proper values of removed
components.
2017-11-08 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Expand_N_Type_Conversion): Add test that the selector
name is a discriminant in check for unconditional accessibility
violation within instances.
From-SVN: r254545
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions