[PPL-devel] [GIT] ppl/ppl(master): Corrected several problems.

Roberto Bagnara bagnara at cs.unipr.it
Tue Feb 16 20:55:14 CET 2010


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Feb 16 20:38:32 2010 +0100

Corrected several problems.

---

 Watchdog/tests/pwl_test.cc |   29 ++++++++++++++---------------
 tests/ppl_test.cc          |   33 ++++++++++++++++-----------------
 2 files changed, 30 insertions(+), 32 deletions(-)

diff --git a/Watchdog/tests/pwl_test.cc b/Watchdog/tests/pwl_test.cc
index f4b828c..4100e5b 100644
--- a/Watchdog/tests/pwl_test.cc
+++ b/Watchdog/tests/pwl_test.cc
@@ -112,7 +112,7 @@ fpe_sigaction(int sig, siginfo_t* sip, void*) {
       std::cerr << "FE_INVALID ";
 #endif
     std::cerr << std::endl;
-#endif
+#endif // defined(PWL_HAVE_FENV_H)
   }
   exit(1);
 }
@@ -129,30 +129,29 @@ fpe_handler(int sig) {
   std::cerr << "SIGFPE caught"
             << std::endl;
 #if defined(PWL_HAVE_FENV_H)
-    std::cerr << "Inquire with fetestexcept(): ";
+  std::cerr << "Inquire with fetestexcept(): ";
 #ifdef FE_INEXACT
-    if (fetestexcept(FE_INEXACT))
-      std::cerr << "FE_INEXACT ";
+  if (fetestexcept(FE_INEXACT))
+    std::cerr << "FE_INEXACT ";
 #endif
 #ifdef FE_DIVBYZERO
-    if (fetestexcept(FE_DIVBYZERO))
-      std::cerr << "FE_DIVBYZERO ";
+  if (fetestexcept(FE_DIVBYZERO))
+    std::cerr << "FE_DIVBYZERO ";
 #endif
 #ifdef FE_UNDERFLOW
-    if (fetestexcept(FE_UNDERFLOW))
-      std::cerr << "FE_UNDERFLOW ";
+  if (fetestexcept(FE_UNDERFLOW))
+    std::cerr << "FE_UNDERFLOW ";
 #endif
 #ifdef FE_OVERFLOW
-    if (fetestexcept(FE_OVERFLOW))
-      std::cerr << "FE_OVERFLOW ";
+  if (fetestexcept(FE_OVERFLOW))
+    std::cerr << "FE_OVERFLOW ";
 #endif
 #if FE_INVALID
-    if (fetestexcept(FE_INVALID))
-      std::cerr << "FE_INVALID ";
+  if (fetestexcept(FE_INVALID))
+    std::cerr << "FE_INVALID ";
 #endif
-    std::cerr << std::endl;
-#endif
-  }
+  std::cerr << std::endl;
+#endif // defined(PWL_HAVE_FENV_H)
   exit(1);
 }
 
diff --git a/tests/ppl_test.cc b/tests/ppl_test.cc
index c0ac87f..9ec9f23 100644
--- a/tests/ppl_test.cc
+++ b/tests/ppl_test.cc
@@ -89,7 +89,7 @@ fpe_sigaction(int sig, siginfo_t* sip, void*) {
   else {
     std::cerr << "SIGFPE caught (unknown si_code " << sip->si_code << ")"
 	      << std::endl;
-#if defined(PWL_HAVE_FENV_H)
+#if defined(PPL_HAVE_FENV_H)
     std::cerr << "Inquire with fetestexcept(): ";
 #ifdef FE_INEXACT
     if (fetestexcept(FE_INEXACT))
@@ -112,7 +112,7 @@ fpe_sigaction(int sig, siginfo_t* sip, void*) {
       std::cerr << "FE_INVALID ";
 #endif
     std::cerr << std::endl;
-#endif
+#endif // defined(PPL_HAVE_FENV_H)
   }
   exit(1);
 }
@@ -128,31 +128,30 @@ fpe_handler(int sig) {
   }
   std::cerr << "SIGFPE caught"
             << std::endl;
-#if defined(PWL_HAVE_FENV_H)
-    std::cerr << "Inquire with fetestexcept(): ";
+#if defined(PPL_HAVE_FENV_H)
+  std::cerr << "Inquire with fetestexcept(): ";
 #ifdef FE_INEXACT
-    if (fetestexcept(FE_INEXACT))
-      std::cerr << "FE_INEXACT ";
+  if (fetestexcept(FE_INEXACT))
+    std::cerr << "FE_INEXACT ";
 #endif
 #ifdef FE_DIVBYZERO
-    if (fetestexcept(FE_DIVBYZERO))
-      std::cerr << "FE_DIVBYZERO ";
+  if (fetestexcept(FE_DIVBYZERO))
+    std::cerr << "FE_DIVBYZERO ";
 #endif
 #ifdef FE_UNDERFLOW
-    if (fetestexcept(FE_UNDERFLOW))
-      std::cerr << "FE_UNDERFLOW ";
+  if (fetestexcept(FE_UNDERFLOW))
+    std::cerr << "FE_UNDERFLOW ";
 #endif
 #ifdef FE_OVERFLOW
-    if (fetestexcept(FE_OVERFLOW))
-      std::cerr << "FE_OVERFLOW ";
+  if (fetestexcept(FE_OVERFLOW))
+    std::cerr << "FE_OVERFLOW ";
 #endif
 #if FE_INVALID
-    if (fetestexcept(FE_INVALID))
-      std::cerr << "FE_INVALID ";
+  if (fetestexcept(FE_INVALID))
+    std::cerr << "FE_INVALID ";
 #endif
-    std::cerr << std::endl;
-#endif
-  }
+  std::cerr << std::endl;
+#endif // defined(PPL_HAVE_FENV_H)
   exit(1);
 }
 




More information about the PPL-devel mailing list