blob: 7816385dda060357368a8cd82a279bc9f95380e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
//===-- main.cpp ------------------------------------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
volatile int x;
void __attribute__((noinline)) sink() {
x++; //% self.filecheck("bt", "main.cpp", "-implicit-check-not=artificial")
// CHECK: frame #0: 0x{{[0-9a-f]+}} a.out`sink() at main.cpp:[[@LINE-1]]:4 [opt]
// CHECK-NEXT: func3{{.*}} [opt] [artificial]
// CHECK-NEXT: func1{{.*}} [opt] [artificial]
// CHECK-NEXT: main{{.*}} [opt]
}
void __attribute__((noinline)) func3() { sink(); /* tail */ }
void __attribute__((noinline)) func2() { sink(); /* tail */ }
void __attribute__((noinline)) func1() { func3(); /* tail */ }
int __attribute__((disable_tail_calls)) main(int argc, char **) {
// The sequences `main -> func1 -> f{2,3} -> sink` are both plausible. Test
// that lldb picks the latter sequence.
func1();
return 0;
}
|