static_assert1.C: New.

2006-11-21      Douglas Gregor <doug.gregor@gmail.com>

        * g++.dg/cpp0x/static_assert1.C: New.
        * g++.dg/cpp0x/static_assert2.C: New.
        * g++.dg/cpp0x/static_assert3.C: New.

From-SVN: r119063

gcc/testsuite/ChangeLog

+2006-11-21      Douglas Gregor <doug.gregor@gmail.com>
+
+        * g++.dg/cpp0x/static_assert1.C: New.
+        * g++.dg/cpp0x/static_assert2.C: New.
+        * g++.dg/cpp0x/static_assert3.C: New.
+
 2006-11-21  Richard Guenther  <rguenther@suse.de>
 
 	* gcc.dg/vect/vect-pow-1.c: New testcase.

gcc/testsuite/g++.dg/cpp0x/static_assert1.C

+// { dg-options "-std=c++0x" }
+void foo()
+{
+  static_assert(1, "okay");
+  static_assert (0 == 1, "zero is never equal to one"); // { dg-error "never equal" }
+}
+
+class X {
+  static_assert(1, "okay");
+  static_assert (0 == 1, "zero is never equal to one"); // { dg-error "never equal" }
+};
+
+static_assert(1, "okay");
+static_assert (0 == 1, "zero is never equal to one"); // { dg-error "never equal" }

gcc/testsuite/g++.dg/cpp0x/static_assert2.C

+// { dg-options "-std=c++0x" }
+template<int I>
+struct accept_evens {
+  static_assert( I % 2 == 0, "I must be an even number"); // { dg-error "even number" }
+};
+
+template<int I>
+struct accept_evens_ok {
+  static_assert( I % 2 == 0, "I must be an even number");
+};
+
+template<int I>
+void accept_odds() {
+  static_assert( I % 2 == 1, "I must be an odd number"); // { dg-error "odd number" }
+}
+
+template<int I>
+void accept_odds_ok() {
+  static_assert( I % 2 == 1, "I must be an odd number");
+}
+
+void f()
+{
+  accept_odds<1>();
+  accept_odds<2>(); 
+  accept_odds<3>();
+  accept_odds_ok<5>();
+  accept_odds_ok<7>();
+}
+
+accept_evens<0> ok0;
+accept_evens<1> error1; 
+accept_evens<2> ok2;
+accept_evens_ok<4> ok4;
+accept_evens_ok<6> ok6;

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 }