misc/coerce-array: new testcase

Change-Id: I32152a0e657aa0568e04d29c41d35c55e0bd9913
TN: RC14-025

Author: pmderodat

testsuite/tests/misc/coerce-array/foo.adb

@@ -0,0 +1,41 @@
+procedure Foo is
+
+   type String_Access is access all String;
+
+   I : Integer := 0;
+
+   procedure Process (S : String) is
+   begin
+      null;
+   end Process;
+
+   function Null_String return String_Access is
+   begin
+      return null;
+   end Null_String;
+
+   function Alloc (S : String) return String_Access is
+   begin
+      return new String'(S);
+   end Alloc;
+
+   procedure Run (Unc_Param : aliased String) is
+      Unc     : constant String := Unc_Param & Unc_Param;
+      Con     : constant String (1 .. 10) := (1 .. 10 => 'A');
+      Acc     : access constant String := Unc_Param'Access;
+      Empty   : constant String_Access := Alloc ("");
+      Null_Str : constant String_Access := Null_String;
+   begin
+      Process (Unc_Param); --  BREAK
+      Process (Unc);
+      Process (Con);
+      Process (Acc.all);
+      Process (Empty.all);
+      Process (Null_Str.all);
+      I := I + 1;
+   end Run;
+
+   S : aliased String := "Hello";
+begin
+   Run (S);
+end Foo;

testsuite/tests/misc/coerce-array/script.py

@@ -0,0 +1,16 @@
+from gnatdbg.debug import print_type_tree
+from gnatdbg.utils import coerce_array
+
+
+def run(var):
+    print('== {} =='.format(var))
+    value = gdb.parse_and_eval(var)
+    try:
+        value = coerce_array(value)
+    except ValueError as exc:
+        value = '<ValueError: {}>'.format(exc)
+    else:
+        if value is not None:
+            print_type_tree(value.type)
+        value = str(value)
+    print(value)

testsuite/tests/misc/coerce-array/test.py

@@ -0,0 +1,41 @@
+from support.build import gnatmake
+from support.gdb import GDBSession
+
+
+gnatmake('foo')
+gdb = GDBSession('foo')
+gdb.run_to(gdb.find_loc('foo.adb', 'BREAK'))
+gdb.test('source script.py', '')
+
+tests = [
+    ('unc_param',
+     '== unc_param ==\n'
+     '%0 (None : TYPE_CODE_ARRAY)[1 .. 5]:\n'
+     '  %1 (character : TYPE_CODE_CHAR)\n'
+     '"Hello"'),
+    ('unc',
+     '== unc ==\n'
+     '%0 (foo__run__T@/\\d+/b : TYPE_CODE_ARRAY)[1 .. 10]:\n'
+     '  %1 (character : TYPE_CODE_CHAR)\n'
+     '"HelloHello"'),
+    ('acc',
+     '== acc ==\n'
+     '%0 (None : TYPE_CODE_ARRAY)[1 .. 5]:\n'
+     '  %1 (character : TYPE_CODE_CHAR)\n'
+     '"Hello"'),
+    ('empty',
+     '== empty ==\n'
+     '%0 (None : TYPE_CODE_ARRAY)[1 .. 0]:\n'
+     '  %1 (character : TYPE_CODE_CHAR)\n'
+     '""'),
+    ('null_str',
+     '== null_str ==\n'
+     'None'),
+    ('i',
+     '== i ==\n'
+     '<ValueError: Invalid array value: 0 (TYPE_CODE_INT)>'),
+]
+
+for var, expected_output in tests:
+    gdb.test('pi run({})'.format(repr(var)),
+             expected_output)

testsuite/tests/misc/coerce-array/test.yaml

@@ -0,0 +1 @@
+driver: python