File tree Expand file tree Collapse file tree 2 files changed +8
-6
lines changed
testsuite/tests/checks/representation_specifications Expand file tree Collapse file tree 2 files changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -9,6 +9,8 @@ package Repr is
9
9
type State_Mask is array (State) of Boolean -- FLAG
10
10
with Component_Size => 1 ;
11
11
12
+ type State_Mask2 is new State_Mask; -- NO FLAG
13
+
12
14
Var : Integer; -- FLAG
13
15
pragma Volatile (Var);
14
16
Original file line number Diff line number Diff line change @@ -12,15 +12,15 @@ repr.ads:9:4: rule violation: declaration with a representation aspect
12
12
10 || with Component_Size => 1;
13
13
||______________________________^
14
14
15
- repr.ads:12 :4: rule violation: declaration with a representation aspect
16
- 12 | Var : Integer; -- FLAG
15
+ repr.ads:14 :4: rule violation: declaration with a representation aspect
16
+ 14 | Var : Integer; -- FLAG
17
17
| ^^^^^^^^^^^^^^
18
18
19
- repr.ads:15 :4: rule violation: declaration with a representation aspect
20
- 15 | function F return Boolean with No_Return; -- FLAG
19
+ repr.ads:17 :4: rule violation: declaration with a representation aspect
20
+ 17 | function F return Boolean with No_Return; -- FLAG
21
21
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
22
22
23
- repr.ads:17 :4: rule violation: declaration with a representation aspect
24
- 17 | function F2 return Boolean; -- FLAG
23
+ repr.ads:19 :4: rule violation: declaration with a representation aspect
24
+ 19 | function F2 return Boolean; -- FLAG
25
25
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
26
26
You can’t perform that action at this time.
0 commit comments