1 // RUN: %clang_cc1 %s -emit-llvm -fsanitize=float-divide-by-zero -o - | FileCheck %s
2 
3 _Bool b;
4 // CHECK: @f(
5 double f() {
6   // CHECK: %[[B:.*]] = load {{.*}} @b
7   // CHECK: %[[COND:.*]] = trunc {{.*}} %[[B]] to i1
8   // CHECK: br i1 %[[COND]]
9   return b ? 0.0 / 0.0 : 0.0;
10 }
11