[PPL-devel] [GIT] ppl/ppl(master): Warn about the GCC bug affecting exception handling on the Alpha.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 30 14:51:32 2009 +0200

Warn about the GCC bug affecting exception handling on the Alpha.

---

 README.alpha |   16 ++++++++++++++++
 1 files changed, 16 insertions(+), 0 deletions(-)

diff --git a/README.alpha b/README.alpha
new file mode 100644
index 0000000..15ce29a
--- /dev/null
+++ b/README.alpha
@@ -0,0 +1,16 @@
+There appears to be a bug in GCC (all versions) concerning exception
+handling on the Alpha.  This may be related to
+
+  http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966
+
+Strictily speaking, the PPL uses exception handling, so if that does
+not work on the Alpha, then the PPL does not work on the Alpha.  And
+there is nothing to do but fix the GCC bug.
+
+However, if that GCC bug really only affects exception handling and nothing
+else, given that the PPL only uses exceptions for error reporting, we can
+probably say that the PPL works on the Alpha *apart* from error reporting.
+In other words, under this hypothesis (which we have no way to check),
+users that are not interested in catching exceptions thrown by the PPL
+(in response to invalid arguments, heap exhaustion, overflows, ...)
+should probably not worry.  Your mileage may vary...