C++程序  |  2012行  |  17.83 KB

// RUN: %clang_cc1 -fsyntax-only -Wconstant-conversion -verify %s
// expected-no-diagnostics

// rdar://10913206&10941790
// Check that we don't get stack overflow trying to evaluate a huge number of
// logical operators.

int foo(int x) {
  return
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x &&
    x;
}