X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FOther%2Flint.ll;h=78bbbe9e6fa6e5a983c951fb47f71da49a9e4b10;hb=0ee7d91abda0ff5f5ecb52639972fb5110e3273d;hp=d3ab98872d71ae6e922f6bef74fbe4b76360baf2;hpb=c7c42f71aad7d33892de73d6d6397e38814b0e97;p=oota-llvm.git

diff --git a/test/Other/lint.ll b/test/Other/lint.ll
index d3ab98872d7..78bbbe9e6fa 100644
--- a/test/Other/lint.ll
+++ b/test/Other/lint.ll
@@ -9,6 +9,7 @@ declare void @has_noaliases(i32* noalias %p, i32* %q)
 declare void @one_arg(i32)
 
 @CG = constant i32 7
+@E = external global i8
 
 define i32 @foo() noreturn {
   %buf = alloca i8
@@ -100,6 +101,10 @@ next:
   ret i32 0
 
 foo:
+; CHECK-NOT: Undefined behavior: Buffer overflow
+; CHECK-NOT: Memory reference address is misaligned
+  %e = bitcast i8* @E to i64*
+  store i64 0, i64* %e
   %z = add i32 0, 0
 ; CHECK: unreachable immediately preceded by instruction without side effects
   unreachable