clang/test/CodeGen/allow-ubsan-check-inline.c

   1 // RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -emit-llvm -o - %s -fsanitize=signed-integer-overflow -mllvm -ubsan-guard-checks -O3 -mllvm -lower-allow-check-random-rate=1 -Rpass=lower-allow-check -Rpass-missed=lower-allow-check -fno-inline 2>&1 | FileCheck %s --check-prefixes=NOINL --implicit-check-not="remark:"
   2 // RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -emit-llvm -o - %s -fsanitize=signed-integer-overflow -mllvm -ubsan-guard-checks -O3 -mllvm -lower-allow-check-random-rate=1 -Rpass=lower-allow-check -Rpass-missed=lower-allow-check 2>&1 | FileCheck %s --check-prefixes=INLINE --implicit-check-not="remark:"
   3
   4 int get();
   5 void set(int x);
   6
   7 // We will only make decision in the `overflow` function.
   8 // NOINL-COUNT-1: remark: Allowed check:
   9
  10 // We will make decision on every inline.
  11 // INLINE-COUNT-5: remark: Allowed check:
  12
  13 static void overflow() {
  14   set(get() + get());
  15 }
  16
  17 void test() {
  18   overflow();
  19   overflow();
  20   overflow();
  21   overflow();
  22   overflow();
  23 }