summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2010-02-27 14:27:27 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2010-02-27 14:27:27 +0000
commit58f1b7061e21da2b4abe14498bf79e8cad5450bf (patch)
tree6f0bdf8f29de379dced1cd49b40268ab7fa3ec32 /gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads
parentcb7e3948d0e479cf2d52a24d647ba5201cc61092 (diff)
downloadgcc-58f1b7061e21da2b4abe14498bf79e8cad5450bf.tar.gz
re PR ada/42253 (run time crash on null for thin pointers)
PR ada/42253 * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat pointer base types are variant of each other. Apply special treatment for null to fat pointer types in all cases. From-SVN: r157107
Diffstat (limited to 'gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads')
-rw-r--r--gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads9
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads b/gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads
new file mode 100644
index 00000000000..f6752b0d726
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/thin_pointer2_pkg.ads
@@ -0,0 +1,9 @@
+package Thin_Pointer2_Pkg is
+
+ type SA is access String;
+ for SA'Size use Standard'Address_Size;
+ S : SA;
+
+ function F return Character;
+
+end Thin_Pointer2_Pkg;