Skip to content

Commit

Permalink
Update test as per W214-017
Browse files Browse the repository at this point in the history
Change-Id: I5e5bab58ee3aed9391b69982c71e0319358c5d08
  • Loading branch information
ArnaudCharlet committed Mar 14, 2023
1 parent a253062 commit 75cec79
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 6 deletions.
2 changes: 2 additions & 0 deletions testsuite/tests/checks/representation_specifications/repr.ads
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,8 @@ package Repr is
type State_Mask is array (State) of Boolean -- FLAG
with Component_Size => 1;

type State_Mask2 is new State_Mask; -- NO FLAG

Var : Integer; -- FLAG
pragma Volatile (Var);

Expand Down
12 changes: 6 additions & 6 deletions testsuite/tests/checks/representation_specifications/test.out
Original file line number Diff line number Diff line change
Expand Up @@ -12,15 +12,15 @@ repr.ads:9:4: rule violation: declaration with a representation aspect
10 || with Component_Size => 1;
||______________________________^

repr.ads:12:4: rule violation: declaration with a representation aspect
12 | Var : Integer; -- FLAG
repr.ads:14:4: rule violation: declaration with a representation aspect
14 | Var : Integer; -- FLAG
| ^^^^^^^^^^^^^^

repr.ads:15:4: rule violation: declaration with a representation aspect
15 | function F return Boolean with No_Return; -- FLAG
repr.ads:17:4: rule violation: declaration with a representation aspect
17 | function F return Boolean with No_Return; -- FLAG
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

repr.ads:17:4: rule violation: declaration with a representation aspect
17 | function F2 return Boolean; -- FLAG
repr.ads:19:4: rule violation: declaration with a representation aspect
19 | function F2 return Boolean; -- FLAG
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^

0 comments on commit 75cec79

Please sign in to comment.