diff --git a/test/Verifier/2002-04-13-RetTypes.ll b/test/Verifier/2002-04-13-RetTypes.ll
new file mode 100644
index 00000000000..fe8d6241232
--- /dev/null
+++ b/test/Verifier/2002-04-13-RetTypes.ll
@@ -0,0 +1,9 @@
+; Verify the the operand type of the ret instructions in a function match the
+; delcared return type of the function they live in.
+;
+implementation
+
+uint "testfunc"()
+begin
+	ret int* null
+end
diff --git a/test/Verifier/Makefile b/test/Verifier/Makefile
new file mode 100644
index 00000000000..2812a7e5496
--- /dev/null
+++ b/test/Verifier/Makefile
@@ -0,0 +1,19 @@
+#                    test/Regression/Verifier/Makefile
+#
+# This directory contains regression tests for the LLVM verifier pass. Basically
+# all of these LLVM source files are invalid programs that should be marked as
+# such by the verifier
+
+LEVEL = ../../..
+include $(LEVEL)/test/Makefile.tests
+
+TESTS := $(wildcard *.ll)
+
+all:: $(addprefix Output/, $(TESTS:%.ll=%.ntbc))
+
+Output/%.ntbc: %.ll $(LAS) Output/.dir
+	@echo "======== Verifying $< ==========="
+	if $(LAS) -f $< -o /dev/null; \
+	then $(FAILURE) $@; exit 1; \
+	else touch $@; exit 0;\
+	fi