// RUN: %clang_cc1 %s -emit-llvm -fsanitize=float-divide-by-zero -o - | FileCheck %s
_Bool b;
// CHECK: @f(
double f() {
// CHECK: %[[B:.*]] = load {{.*}} @b
// CHECK: %[[COND:.*]] = trunc {{.*}} %[[B]] to i1
// CHECK: br i1 %[[COND]]
return b ? 0.0 / 0.0 : 0.0;
}