ada/sp09: Fix region test cases

This commit is contained in:
Sebastian Huber
2017-12-04 10:51:33 +01:00
parent 6e05265f22
commit 535d0183d8
2 changed files with 17 additions and 16 deletions

View File

@@ -2475,49 +2475,50 @@ package body SPTEST is
RTEMS.REGION.EXTEND(
SPTEST.REGION_ID( 1 ),
SPTEST.REGION_BAD_AREA'ADDRESS,
128,
SPTEST.REGION_GOOD_AREA(
SPTEST.REGION_START_OFFSET - 2 * SPTEST.REGION_LENGTH )'ADDRESS,
SPTEST.REGION_LENGTH,
STATUS
);
TEST_SUPPORT.FATAL_DIRECTIVE_STATUS(
STATUS,
RTEMS.NOT_IMPLEMENTED,
"REGION_EXTEND WITH NOT_IMPLEMENTED"
RTEMS.SUCCESSFUL,
"REGION_EXTEND"
);
TEXT_IO.PUT_LINE(
"TA1 - region_extend - non-contiguous lower - NOT_IMPLEMENTED"
"TA1 - region_extend - non-contiguous lower - SUCCESSFUL"
);
RTEMS.REGION.EXTEND(
SPTEST.REGION_ID( 1 ),
SPTEST.REGION_GOOD_AREA(
SPTEST.REGION_START_OFFSET - SPTEST.REGION_LENGTH )'ADDRESS,
128,
SPTEST.REGION_LENGTH,
STATUS
);
TEST_SUPPORT.FATAL_DIRECTIVE_STATUS(
STATUS,
RTEMS.NOT_IMPLEMENTED,
"REGION_EXTEND WITH NOT_IMPLEMENTED"
RTEMS.SUCCESSFUL,
"REGION_EXTEND"
);
TEXT_IO.PUT_LINE(
"TA1 - region_extend - contiguous lower - NOT_IMPLEMENTED"
"TA1 - region_extend - contiguous lower - SUCCESSFUL"
);
RTEMS.REGION.EXTEND(
SPTEST.REGION_ID( 1 ),
SPTEST.REGION_GOOD_AREA(
SPTEST.REGION_START_OFFSET + SPTEST.REGION_LENGTH + 16 )'ADDRESS,
128,
SPTEST.REGION_START_OFFSET + 2 * SPTEST.REGION_LENGTH )'ADDRESS,
SPTEST.REGION_LENGTH,
STATUS
);
TEST_SUPPORT.FATAL_DIRECTIVE_STATUS(
STATUS,
RTEMS.NOT_IMPLEMENTED,
"REGION_EXTEND WITH NOT_IMPLEMENTED"
RTEMS.SUCCESSFUL,
"REGION_EXTEND"
);
TEXT_IO.PUT_LINE(
"TA1 - region_extend - non-contiguous higher - NOT_IMPLEMENTED"
"TA1 - region_extend - non-contiguous higher - SUCCESSFUL"
);
end SCREEN_12;

View File

@@ -165,7 +165,7 @@ package SPTEST is
of RTEMS.UNSIGNED32;
for REGION_GOOD_AREA'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
REGION_START_OFFSET : constant RTEMS.UNSIGNED32 := 1024;
REGION_START_OFFSET : constant RTEMS.UNSIGNED32 := 2048;
REGION_LENGTH : constant RTEMS.UNSIGNED32 := 512;
--
@@ -174,7 +174,7 @@ package SPTEST is
--
REGION_BAD_AREA_ADDRESS : constant System.Address :=
System.Storage_Elements.To_Address(16#00000006#);
System.Storage_Elements.To_Address(16#00000000#);
REGION_BAD_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
of RTEMS.UNSIGNED8;