[PPL-devel] [GIT] ppl/ppl(master): Disable more tests that fail on the Alpha due to a GCC bug.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 25 16:49:03 2009 +0000

Disable more tests that fail on the Alpha due to a GCC bug.

---

 tests/Box/congruences1.cc |    3 +++
 tests/Box/max_min1.cc     |    3 +++
 2 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/tests/Box/congruences1.cc b/tests/Box/congruences1.cc
index ffb59be..39158d0 100644
--- a/tests/Box/congruences1.cc
+++ b/tests/Box/congruences1.cc
@@ -374,6 +374,9 @@ BEGIN_MAIN
   DO_TEST(test11);
   DO_TEST(test12);
   DO_TEST(test13);
+#ifndef __alpha__
+  // Exception handling is broken in GCC on the Alpha.
   DO_TEST(test14);
+#endif
   DO_TEST(test15);
 END_MAIN
diff --git a/tests/Box/max_min1.cc b/tests/Box/max_min1.cc
index 0695927..72d6100 100644
--- a/tests/Box/max_min1.cc
+++ b/tests/Box/max_min1.cc
@@ -749,7 +749,10 @@ BEGIN_MAIN
   DO_TEST(test09);
   DO_TEST(test10);
   DO_TEST(test11);
+#ifndef __alpha__
+  // Exception handling is broken in GCC on the Alpha.
   DO_TEST(test12);
+#endif
   DO_TEST(test13);
   DO_TEST(test14);
   DO_TEST(test15);