aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Verifier/2002-11-05-GetelementptrPointers.ll7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Verifier/2002-11-05-GetelementptrPointers.ll b/test/Verifier/2002-11-05-GetelementptrPointers.ll
new file mode 100644
index 0000000000..067623c5ba
--- /dev/null
+++ b/test/Verifier/2002-11-05-GetelementptrPointers.ll
@@ -0,0 +1,7 @@
+; This testcase is invalid because we are indexing into a pointer that is
+; contained WITHIN a structure.
+
+void %test({int, int*} * %X) {
+ getelementptr {int, int*} * %X, long 0, ubyte 1, long 0
+ ret void
+}