// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -O0 -o - %s | FileCheck %s --check-prefix=NOTBAA
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -O1 -o - %s | FileCheck %s --check-prefix=ERRNO-TBAA
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -x c++ -emit-llvm -O1 -o - %s | FileCheck %s --check-prefix=ERRNO-TBAA
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -O1 -relaxed-aliasing -o - %s | FileCheck %s --check-prefix=NOSTRICT

// Ensure !llvm.errno.tbaa metadata is emitted upon integer accesses, if TBAA is available.

int int_access(int *ptr) { return ptr ? *ptr : 0; }

// NOTBAA-NOT: !llvm.errno.tbaa
// ERRNO-TBAA: !llvm.errno.tbaa
// NOSTRICT-NOT: !llvm.errno.tbaa