test/Instrumentation/DataFlowSanitizer/uninstrumented_local_functions.ll

   1 ; RUN: opt < %s -dfsan -dfsan-args-abi -dfsan-abilist=%S/Inputs/abilist.txt -S | FileCheck %s
   2 ; RUN: opt < %s -dfsan                 -dfsan-abilist=%S/Inputs/abilist.txt -S | FileCheck %s
   3
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define internal i8 @uninstrumented_internal_fun(i8 %in) {
   7   ret i8 %in
   8 }
   9
  10 define i8 @call_uninstrumented_internal_fun(i8 %in) {
  11   %call = call i8 @uninstrumented_internal_fun(i8 %in)
  12   ret i8 %call
  13 }
  14 ; CHECK: define internal {{(i8|{ i8, i16 })}} @"dfsw$uninstrumented_internal_fun"
  15
  16 define private i8 @uninstrumented_private_fun(i8 %in) {
  17   ret i8 %in
  18 }
  19
  20 define i8 @call_uninstrumented_private_fun(i8 %in) {
  21   %call = call i8 @uninstrumented_private_fun(i8 %in)
  22   ret i8 %call
  23 }
  24 ; CHECK: define private {{(i8|{ i8, i16 })}} @"dfsw$uninstrumented_private_fun"