llvm/clang/test/CodeGen/ubsan-conditional.c

// RUN: %clang_cc1 %s -emit-llvm -fsanitize=float-divide-by-zero -o - | FileCheck %s

_Bool b;
// CHECK: @f(
double f(void) {
  // CHECK: %[[B:.*]] = load {{.*}} @b
  // CHECK: %[[COND:.*]] = trunc {{.*}} %[[B]] to i1
  // CHECK: br i1 %[[COND]]
  return b ? 0.0 / 0.0 : 0.0;
}