Add failing test as Size representation fails when applied to

derivations of existing types or to object declarations.

Assertion:
                  pragma Assert
                    (Entity_Esize =
                       UI_From_Int (Int (Get_Width (Target_Type_Irep)))
                     and Entity_Esize = Expression_Value);
fails in procedure Handle_Representation_Claise

Author: tjj2017

testsuite/gnat2goto/tests/size_integer_and_objects/check_size.adb

@@ -0,0 +1,38 @@
+procedure Check_Size is
+   Size_1 : constant := -23 + 31;
+   Size_2 : constant Integer := 35 - 3;
+   Size_3 : constant := 2 * Size_1;
+
+   type T_1 is new Integer range 0 .. 47;
+   for T_1'Size use Size_1;
+
+   type T_2 is range 0 .. 2**16 + 1;
+   for T_2'Size use Size_2;
+
+   type Unsigned_8 is mod 2**8;
+   for Unsigned_8'Size use Size_3;
+
+   Var_T_1 : T_1;
+   Var_T_2 : T_2;
+
+   Var_Size_1 : Integer range 0 .. 47;
+   for Var_Size_1'Size use Size_1;
+
+   Var_Size_2 : Integer range 0 .. 2**16 + 1;
+   for Var_Size_2'Size use Size_2;
+
+   Var_U8 : Unsigned_8;
+   for Var_U8'Size use Size_1;
+
+begin
+   Var_T_1 := 30;
+   Var_T_2 := 40;
+   pragma Assert (Integer (Var_T_1) + Integer (Var_T_2) = 70);
+
+   Var_Size_1 := 10;
+   Var_Size_2 := 20;
+   pragma Assert (Var_Size_1 + Var_Size_2 = 30);
+
+   Var_U8 := 255;
+   pragma Assert (Var_U8 + 1 = 0);
+end Check_Size;

testsuite/gnat2goto/tests/size_integer_and_objects/test.out

@@ -0,0 +1,19 @@
++===========================GNAT BUG DETECTED==============================+
+| GNU Ada (ada2goto) Assert_Failure tree_walk.adb:4673                     |
+| Error detected at check_size.adb:1:11                                    |
+| Please submit a bug report; see https://gcc.gnu.org/bugs/ .              |
+| Use a subject line meaningful to you and us to track the bug.            |
+| Include the entire contents of this bug box in the report.               |
+| Include the exact command that you entered.                              |
+| Also include sources listed below.                                       |
++==========================================================================+
+
+Please include these source files with error report
+Note that list may not be accurate in some cases,
+so please double check that the problem can still
+be reproduced with the set of files listed.
+Consider also -gnatd.n switch (see debug.adb).
+
+check_size.adb
+
+compilation abandoned

testsuite/gnat2goto/tests/size_integer_and_objects/test.py

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