clang/test/CodeGen/ubsan-trap-debugloc.c

   1 // RUN: %clang_cc1 -emit-llvm -disable-llvm-passes -O -fsanitize=signed-integer-overflow -fsanitize-trap=signed-integer-overflow %s -o - -debug-info-kind=line-tables-only | FileCheck %s
   2
   3
   4 void foo(volatile int a) {
   5   // CHECK-LABEL: @foo
   6   // CHECK: call void @llvm.ubsantrap(i8 0){{.*}} !dbg [[LOC:![0-9]+]]
   7   a = a + 1;
   8   a = a + 1;
   9 }
  10
  11 void bar(volatile int a) __attribute__((optnone)) {
  12   // CHECK-LABEL: @bar
  13   // CHECK: call void @llvm.ubsantrap(i8 0){{.*}} !dbg [[LOC2:![0-9]+]]
  14   // CHECK: call void @llvm.ubsantrap(i8 0){{.*}} !dbg [[LOC3:![0-9]+]]
  15   a = a + 1;
  16   a = a + 1;
  17 }
  18
  19 // With optimisations enabled the traps are merged and need to share a debug location
  20 // CHECK: [[LOC]] = !DILocation(line: 0
  21
  22 // With optimisations disabled the traps are not merged and retain accurate debug locations
  23 // CHECK: [[LOC2]] = !DILocation(line: 15, column: 9
  24 // CHECK: [[LOC3]] = !DILocation(line: 16, column: 9