clang/test/CodeGenCXX/ubsan-bitfields.cpp

   1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-darwin10 -emit-llvm -o - %s -fsanitize=bool,enum | FileCheck %s
   2
   3 enum E {
   4   a = 1,
   5   b = 2,
   6   c = 3
   7 };
   8
   9 struct S {
  10   E e1 : 10;
  11 };
  12
  13 // CHECK-LABEL: define{{.*}} i32 @_Z4loadP1S
  14 E load(S *s) {
  15   // CHECK: [[LOAD:%.*]] = load i16, ptr {{.*}}
  16   // CHECK: [[CLEAR:%.*]] = and i16 [[LOAD]], 1023
  17   // CHECK: [[CAST:%.*]] = zext i16 [[CLEAR]] to i32
  18   // CHECK: icmp ule i32 [[CAST]], 3, !nosanitize
  19   // CHECK: call void @__ubsan_handle_load_invalid_value
  20   return s->e1;
  21 }
  22
  23 struct Bool {
  24   bool b1 : 1;
  25   bool b2 : 7;
  26   bool b3 : 16;
  27 };
  28
  29 // CHECK-LABEL: define{{.*}} zeroext i1 @_Z13load_cpp_boolP4Bool
  30 bool load_cpp_bool(Bool *b) {
  31   // CHECK-NOT: call void @__ubsan_handle_load_invalid_value
  32   // CHECK-NOT: !nosanitize
  33   return b->b1 || b->b2 || b->b3;
  34 }