commit | 61351ab96a4dfa0884c8b1a53342b97915fb5dd7 | [log] [tgz] |
---|---|---|
author | Piotr Trojanek <trojanek@adacore.com> | Mon Nov 21 11:31:29 2022 +0100 |
committer | Marc Poulhiès <poulhies@adacore.com> | Tue Nov 22 13:34:51 2022 +0100 |
tree | 97d4f2267286ec550a7863a14300d623fe0c993a | |
parent | 05894d1c5c136fe3f8a36cc33cc750c3f5fb6283 [diff] |
ada: Accept aspects Global and Depends on abstract subprograms Aspects Global and Depends are now allowed on abstract subprograms (as substitutes for Global'Class and Depends'Class). This patch implements the recently modified rules SPARK RM 6.1.2(2-3). The behavior for Contract_Cases and aspects on null subprograms stays as it was. gcc/ada/ * sem_prag.adb (Analyze_Depends_Global): Accept aspects on abstract subprograms.