compiler-rt/test/dfsan/gep.c

   1 // RUN: %clang_dfsan %s -mllvm -dfsan-combine-offset-labels-on-gep=false -Wno-error=int-conversion -o %t && %run %t
   2 // RUN: %clang_dfsan %s -DPROP_OFFSET_LABELS -Wno-error=int-conversion -o %t && %run %t
   3
   4 // Tests that labels are propagated through GEP.
   5
   6 #include <sanitizer/dfsan_interface.h>
   7 #include <assert.h>
   8
   9 int main(void) {
  10   int i = 1;
  11   int *p = &i;
  12   int j = 2;
  13   // test that pointer arithmetic propagates labels in terms of the flag.
  14   dfsan_set_label(1, &i, sizeof(i));
  15   p += i;
  16 #ifdef PROP_OFFSET_LABELS
  17   assert(dfsan_get_label(p) == 1);
  18 #else
  19   assert(dfsan_get_label(p) == 0);
  20 #endif
  21   // test that non-pointer operations always propagate labels.
  22   dfsan_set_label(2, &j, sizeof(j));
  23   j += i;
  24   assert(dfsan_get_label(j) == 3);
  25   return 0;
  26 }