diff options
| -rw-r--r-- | test/Verifier/2002-04-13-RetTypes.ll | 9 | ||||
| -rw-r--r-- | test/Verifier/Makefile | 19 |
2 files changed, 28 insertions, 0 deletions
diff --git a/test/Verifier/2002-04-13-RetTypes.ll b/test/Verifier/2002-04-13-RetTypes.ll new file mode 100644 index 0000000000..fe8d624123 --- /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 0000000000..2812a7e549 --- /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 |