1; RUN: llvm-as --opaque-pointers < %s | not llvm-dis --opaque-pointers=0 2>&1 | FileCheck %s
2
3; CHECK: error: Opaque pointers are only supported in -opaque-pointers mode
4
5@g = external global i16
6
7define void @f(i32* %p) {
8 %a = alloca i17
9 ret void
10}
11