This commit was manufactured by cvs2git to create branch 'OPENBSD_2_4'.OPENBSD_2_4

1 files changed, 88 insertions, 0 deletions

diff --git a/src/regress/lib/libc/ieeefp/except/except.c b/src/regress/lib/libc/ieeefp/except/except.c
new file mode 100644
index 0000000000..a2a107a788
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/except/except.c
@@ -0,0 +1,88 @@
+#include <stdio.h>
+#include <signal.h>
+#include <assert.h>
+#include <ieeefp.h>
+#include <float.h>
+
+void sigfpe();
+volatile sig_atomic_t signal_cought;
+
+static volatile const double one  = 1.0;
+static volatile const double zero = 0.0;
+static volatile const double huge = DBL_MAX;
+static volatile const double tiny = DBL_MIN;
+
+int
+main()
+{
+        volatile double x;
+
+        /*
+         * check to make sure that all exceptions are masked and 
+         * that the accumulated exception status is clear.
+         */
+        assert(fpgetmask() == 0);
+        assert(fpgetsticky() == 0);
+
+        /* set up signal handler */
+        signal (SIGFPE, sigfpe);
+        signal_cought = 0;
+
+        /* trip divide by zero */
+        x = one / zero;
+        assert (fpgetsticky() & FP_X_DZ);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip invalid operation */
+        x = zero / zero;
+        assert (fpgetsticky() & FP_X_INV);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip overflow */
+        x = huge * huge;
+        assert (fpgetsticky() & FP_X_OFL);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip underflow */
+        x = tiny * tiny;
+        assert (fpgetsticky() & FP_X_UFL);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+#if 0
+        /* unmask and then trip divide by zero */
+        fpsetmask(FP_X_DZ);
+        x = one / zero;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip invalid operation */
+        fpsetmask(FP_X_INV);
+        x = zero / zero;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip overflow */
+        fpsetmask(FP_X_OFL);
+        x = huge * huge;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip underflow */
+        fpsetmask(FP_X_UFL);
+        x = tiny * tiny;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+#endif
+
+        exit(0);
+}
+
+void
+sigfpe()
+{
+        signal_cought = 1;
+}