1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2; Check that !tbaa upgrade doesn't crash on undefined metadata (it should give
3; an error).
4
5define void @foo() {
6entry:
7  store i8 undef, i8* undef,
8; CHECK: :[[@LINE+1]]:10: error: use of undefined metadata '!1'
9  !tbaa !1
10  unreachable
11}
12