test/CodeGen/ubsan-conditional.c

   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 }