// RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-icall -fsanitize-cfi-cross-dso -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK,NOCANON %s
// RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-icall -fsanitize-cfi-cross-dso -fsanitize-cfi-canonical-jump-tables -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK,CANON %s

void ext(void);

// CHECK: define{{.*}} void @f({{.*}} [[ATTR1:#[0-9]+]]
void f(void) {
  ext();
}

// NOCANON: declare !type {{.*}} @ext()
// CANON: declare void @ext()

// CHECK: define{{.*}} void @g({{.*}} [[ATTR2:#[0-9]+]]
__attribute__((cfi_canonical_jump_table)) void g(void) {}

// CHECK: [[ATTR1]] = {
// CHECK-NOT: "cfi-canonical-jump-table"
// CHECK: }

// CHECK: [[ATTR2]] = { {{.*}} "cfi-canonical-jump-table" {{.*}} }

// NOCANON: !{i32 4, !"CFI Canonical Jump Tables", i32 0}
// CANON: !{i32 4, !"CFI Canonical Jump Tables", i32 1}