Extend the test to check the address

Author: petr-bauch

testsuite/gnat2goto/tests/representation_clause_address/test.adb

@@ -1,4 +1,4 @@
-with System;
+with System; use System;
 
 procedure Test is
    -- A 32 bit hardware register
@@ -8,4 +8,5 @@ procedure Test is
 begin
    Device_Input_Value := 5;
    pragma Assert (Device_Input_Value + 1 = 6);
+   pragma Assert (Device_Input_Value'Address = System'To_Address (16#8000_05C4#));
 end Test;

testsuite/gnat2goto/tests/representation_clause_address/test.out

@@ -1,2 +1,3 @@
 [1] file test.adb line 10 assertion: SUCCESS
+[2] file test.adb line 11 assertion: SUCCESS
 VERIFICATION SUCCESSFUL