projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
llvm-ar: Clean up memory management with OwningPtr.
[oota-llvm.git]
/
test
/
Other
/
lint.ll
diff --git
a/test/Other/lint.ll
b/test/Other/lint.ll
index d3ab98872d71ae6e922f6bef74fbe4b76360baf2..78bbbe9e6fa6e5a983c951fb47f71da49a9e4b10 100644
(file)
--- 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
declare void @one_arg(i32)
@CG = constant i32 7
+@E = external global i8
define i32 @foo() noreturn {
%buf = alloca i8
define i32 @foo() noreturn {
%buf = alloca i8
@@
-100,6
+101,10
@@
next:
ret i32 0
foo:
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
%z = add i32 0, 0
; CHECK: unreachable immediately preceded by instruction without side effects
unreachable