38 lines · cpp
1// RUN: %clang_cc1 -std=c++17 -fsyntax-only -fexperimental-new-constant-interpreter %s -verify2// RUN: %clang_cc1 -std=c++17 -fsyntax-only %s -verify3// expected-no-diagnostics4 5constexpr int cond_then_else(int a, int b) {6 if (a < b) {7 return b - a;8 } else {9 return a - b;10 }11}12 13constexpr int dontCallMe(unsigned m) {14 if (m == 0) return 0;15 return dontCallMe(m - 2);16}17 18// Can't call this because it will run into infinite recursion.19constexpr int assertNotReached() {20 return dontCallMe(3);21}22 23static_assert(true || true, "");24static_assert(true || false, "");25static_assert(false || true, "");26static_assert(!(false || false), "");27 28static_assert(true || assertNotReached(), "");29static_assert(true || true || true || false, "");30 31static_assert(true && true, "");32static_assert(!(true && false), "");33static_assert(!(false && true), "");34static_assert(!(false && false), "");35 36static_assert(!(false && assertNotReached()), "");37static_assert(!(true && true && true && false), "");38