1// RUN: %clang_cc1 -x objective-c -emit-llvm -triple x86_64-apple-macosx10.10.0 -fsanitize=bool %s -o - | FileCheck %s -check-prefixes=SHARED,OBJC
2// RUN: %clang_cc1 -x objective-c++ -emit-llvm -triple x86_64-apple-macosx10.10.0 -fsanitize=bool %s -o - | FileCheck %s -check-prefixes=SHARED,OBJC
3// RUN: %clang_cc1 -x c -emit-llvm -triple x86_64-apple-macosx10.10.0 -fsanitize=bool %s -o - | FileCheck %s -check-prefixes=SHARED,C
4
5typedef signed char BOOL;
6
7// SHARED-LABEL: f1
8BOOL f1() {
9  // OBJC: call void @__ubsan_handle_load_invalid_value
10  // C-NOT: call void @__ubsan_handle_load_invalid_value
11  BOOL a = 2;
12  return a + 1;
13}
14