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]}}
  14 }
  15
  16 void func2();
  17
  18 void __attribute__((noinline)) func1() {
  19   if (x < 1)
  20     func2();
  21   else
  22     sink();
  23 }
  24
  25 void __attribute__((noinline)) func2() {
  26   if (x < 1)
  27     sink();
  28   else
  29     func1();
  30 }
  31
  32 int main() {
  33   // Tail recursion creates ambiguous execution histories.
  34   x = 0;
  35   func1();
  36   return 0;
  37 }