diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-04 14:51:02 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:25:04 -0400 |
| commit | 48d0e61abad5d617205cddb6919c8f4ecc29c229 (patch) | |
| tree | 909784bf7803a364eaee448688a29990289c7d9a /gcc/tree-inline.c | |
| parent | 973c7b7e5460866099ba3904ae29808674604f0e (diff) | |
| download | gcc-48d0e61abad5d617205cddb6919c8f4ecc29c229.zip gcc-48d0e61abad5d617205cddb6919c8f4ecc29c229.tar.gz gcc-48d0e61abad5d617205cddb6919c8f4ecc29c229.tar.bz2 | |
[Ada] Reject illegal syntax in pragma Contract_Cases
gcc/ada/
* contracts.adb (Analyze_Entry_Or_Subprogram_Contract,
Analyze_Subprogram_Body_Stub_Contract): Fix missing references
to Subprogram_Variant where similar references to Contract_Cases
are present.
* sem_prag.adb (Analyze_Contract_Case, Analyze_Variant): Check
that aggregate parameter has no expressions.
(Analyze_Pragma): Replace Contract_Cases with Subprogram_Variant
in a copy-pasted comment.
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions