// 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}}
}