// RUN: %clang_cc1 -verify -emit-llvm-only %s

// PR7242: Check that this doesn't crash.
int main(void)
{
  int __negative = 1;
  const int __max = __negative && 0 ;
  __max / 0;  // expected-warning{{expression result unused}} expected-warning{{division by zero is undefined}}
}