Testcase for representation clause address

Author: petr-bauch

testsuite/gnat2goto/tests/representation_clause_address/test.adb

@@ -0,0 +1,11 @@
+with System;
+
+procedure Test is
+   -- A 32 bit hardware register
+   type Unsigned_32 is mod 2 ** 32;
+   Device_Input_Value: Unsigned_32;
+   for Device_Input_Value'Address use System'To_Address (16#8000_05C4#);
+begin
+   Device_Input_Value := 5;
+   pragma Assert (Device_Input_Value + 1 = 6);
+end Test;

testsuite/gnat2goto/tests/representation_clause_address/test.out

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

testsuite/gnat2goto/tests/representation_clause_address/test.py

@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()