28 lines · c
1// RUN: %clang_cc1 -emit-llvm -disable-llvm-passes -O -fsanitize=signed-integer-overflow -fsanitize-trap=signed-integer-overflow -fsanitize-merge=signed-integer-overflow %s -o - -debug-info-kind=line-tables-only | FileCheck %s2 3 4void foo(volatile int a) {5 // CHECK-LABEL: @foo6 // CHECK: call void @llvm.ubsantrap(i8 0){{.*}} !dbg [[LOC:![0-9]+]]7 a = a + 1;8 a = a + 1;9}10 11void bar(volatile int a) __attribute__((optnone)) {12 // CHECK-LABEL: @bar13 // 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 location20// CHECK: [[LOC]] = !DILocation(line: 021 22// With optimisations disabled the traps are not merged and retain accurate debug locations23 // CHECK-DAG: [[SRC2:![0-9]+]] = !DILocation(line: 15, column: 9,24 // CHECK-DAG: [[SRC3:![0-9]+]] = !DILocation(line: 16, column: 9,25 // CHECK-DAG: [[LOC2]] = !DILocation(line: 0, scope: [[SCOPE2:![0-9]+]], inlinedAt: [[SRC2]])26 // CHECK-DAG: [[LOC3]] = !DILocation(line: 0, scope: [[SCOPE3:![0-9]+]], inlinedAt: [[SRC3]])27 28