gcc-4.3.1/gcc/testsuite/g++.dg/cpp0x/static_assert3.C

// { dg-options "-std=c++0x" }
static_assert(7 / 0, "X"); // { dg-error "non-constant condition" }
// { dg-warning "division by zero" "" { target *-*-* } 2 }