artulab.com Git - openbsd/blob

   1 //===-- main.cpp ------------------------------------------------*- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 volatile int x;
  10
  11 void __attribute__((noinline)) sink() {
  12   x++; //% self.filecheck("bt", "main.cpp")
  13   // CHECK-NOT: func{{[23]}}_amb
  14 }
  15
  16 void __attribute__((noinline)) func3_amb() { sink(); /* tail */ }
  17
  18 void __attribute__((noinline)) func2_amb() { sink(); /* tail */ }
  19
  20 void __attribute__((noinline)) func1() {
  21   if (x > 0)
  22     func2_amb(); /* tail */
  23   else
  24     func3_amb(); /* tail */
  25 }
  26
  27 int __attribute__((disable_tail_calls)) main(int argc, char **) {
  28   // The sequences `main -> func1 -> f{2,3}_amb -> sink` are both plausible. Test
  29   // that lldb doesn't attempt to guess which one occurred.
  30   func1();
  31   return 0;
  32 }