1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/class_wide4_pkg2.ads b/gcc/testsuite/gnat.dg/class_wide4_pkg2.ads
new file mode 100644
index 00000000000..1e5799d2597
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/class_wide4_pkg2.ads
@@ -0,0 +1,30 @@
+with Class_Wide4_Pkg;
+
+package Class_Wide4_Pkg2 is
+
+   type Object is limited new
+     Class_Wide4_Pkg.Conditional_Interface with
+   record
+      Val : Integer := 1234;
+   end record;
+
+   function Is_Valid
+     (This : in Object)
+      return Boolean
+   is
+     (This.Val = 1234);
+
+   function Is_Supported_Data
+     (This : in Object;
+      Data : not null access Class_Wide4_Pkg.Data_Object'Class)
+      return Boolean
+   is
+     (This.Val = 1234);
+
+   procedure Do_Stuff
+     (This : in out Object) is null;
+
+   procedure Do_Stuff_Access
+     (This : not null access Object) is null;
+
+end Class_Wide4_Pkg2;