// RUN: %clang     -target aarch64-unknown-linux -march=armv8+memtag -fsanitize=memtag -mllvm -stack-safety-print=1 %s -S -o - 2>&1 | FileCheck %s --check-prefix=CHECK-NO-SAFETY
// RUN: %clang -O1 -target aarch64-unknown-linux -march=armv8+memtag -fsanitize=memtag -mllvm -stack-safety-print=1 %s -S -o - 2>&1 | FileCheck %s --check-prefix=CHECK-SAFETY
// RUN: %clang -O2 -target aarch64-unknown-linux -march=armv8+memtag -fsanitize=memtag -mllvm -stack-safety-print=1 %s -S -o - 2>&1 | FileCheck %s --check-prefix=CHECK-SAFETY
// RUN: %clang -O3 -target aarch64-unknown-linux -march=armv8+memtag -fsanitize=memtag -mllvm -stack-safety-print=1 %s -S -o - 2>&1 | FileCheck %s --check-prefix=CHECK-SAFETY

// REQUIRES: aarch64-registered-target

int z;
__attribute__((noinline)) void use(int *p) { *p = z; }
int foo() {
  int x;
  use(&x);
  return x;
}

// CHECK-NO-SAFETY-NOT: allocas uses

// CHECK-SAFETY-LABEL: @foo
// CHECK-SAFETY-LABEL: allocas uses:
// CHECK-SAFETY-NEXT: [4]: [0,4)