diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-04-30 00:29:33 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-05 13:09:17 +0000 |
| commit | 59748b7180590360d3608d30e707a27b0b2cb476 (patch) | |
| tree | 6611f2665a981cab12c0072f2c616573b0b56e30 /gcc/gcc.c | |
| parent | fdb5c200369c8ba56358a145e0c5c6c461ad5a45 (diff) | |
| download | gcc-59748b7180590360d3608d30e707a27b0b2cb476.zip gcc-59748b7180590360d3608d30e707a27b0b2cb476.tar.gz gcc-59748b7180590360d3608d30e707a27b0b2cb476.tar.bz2 | |
[Ada] Reject overlays in Global/Depends/Initializes contracts
gcc/ada/
* sem_prag.adb (Analyze_Depends_In_Decl_Part): Reject overlays
in Depends and Refined_Depends contracts.
(Analyze_Global_In_Decl_Part): Likewise for Global and
Refined_Global.
(Analyze_Initializes_In_Decl_Part): Likewise for Initializes
(when appearing both as a single item and as a initialization
clause).
* sem_util.ads (Ultimate_Overlaid_Entity): New routine.
* sem_util.adb (Report_Unused_Body_States): Ignore overlays.
(Ultimate_Overlaid_Entity): New routine.
Diffstat (limited to 'gcc/gcc.c')
0 files changed, 0 insertions, 0 deletions