| commit | a3e2584e85d91d0ab076c3f603bc0179921dbd82 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Fri, 29 Jan 2021 11:16:17 +0000 (29 12:16 +0100) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Fri, 7 May 2021 09:29:04 +0000 (7 05:29 -0400) | ||
| tree | 8aa7e6ca2de873ce9c5856589b4d9452ac521333 | treesnapshot (tar.gz zip) |
| parent | 3a700c5fef18b2f339e464eec5e12a3b9956edd3 | commitdiff |
[Ada] Attribute Address is not an interfering context in SPARK
gcc/ada/
* sem_res.adb (Flag_Object): Ignore prefixes of attribute
Address.
gcc/ada/
* sem_res.adb (Flag_Object): Ignore prefixes of attribute
Address.
| gcc/ada/sem_res.adb | diffblobblamehistory |