From 1249adf160fbb596f83749361725922aba600d03 Mon Sep 17 00:00:00 2001
From: Dan Gohman <gohman@apple.com>
Date: Wed, 26 May 2010 21:46:36 +0000
Subject: Implement checking of the tail keyword.

llvm-svn: 104744
---
 llvm/test/Other/lint.ll | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'llvm/test/Other')

diff --git a/llvm/test/Other/lint.ll b/llvm/test/Other/lint.ll
index d0db5e46c66..eb0b7629e43 100644
--- a/llvm/test/Other/lint.ll
+++ b/llvm/test/Other/lint.ll
@@ -77,8 +77,20 @@ define void @not_vararg(i8* %p) nounwind {
   ret void
 }
 
+; CHECK: Undefined behavior: Branch to non-blockaddress
 define void @use_indbr() {
   indirectbr i8* bitcast (i32()* @foo to i8*), [label %block]
 block:
   unreachable
 }
+
+; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
+; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
+declare void @tailcallee(i8*)
+define void @use_tail(i8* %valist) {
+  %t = alloca i8
+  tail call void @tailcallee(i8* %t)
+  %s = va_arg i8* %valist, i8*
+  tail call void @tailcallee(i8* %s)
+  ret void
+}
-- 
cgit v1.2.3