From e8f7d3a4aa71995ba970dcb9ebc185bbb2dafd71 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 2 Jan 2008 15:43:01 +0000
Subject: [PATCH] Enhance test program to still fail with recent pgCC versions,
 as the bug is still there, even if the test program now passes.

---
 .../testfiles/CGAL_CFG_DENORMALS_COMPILE_BUG.cpp      | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/Installation/config/testfiles/CGAL_CFG_DENORMALS_COMPILE_BUG.cpp b/Installation/config/testfiles/CGAL_CFG_DENORMALS_COMPILE_BUG.cpp
index 423021b5e35..1b3eca3f773 100644
--- a/Installation/config/testfiles/CGAL_CFG_DENORMALS_COMPILE_BUG.cpp
+++ b/Installation/config/testfiles/CGAL_CFG_DENORMALS_COMPILE_BUG.cpp
@@ -28,14 +28,15 @@
 // ---------------------------------------------------------------------
 
 //| This flag is set if the compiler bugs when handling denormal values at
-//| compile time.  At least PGCC 5.1-3 has the bug.
+//| compile time.  At least PGCC 7.1-2 has the bug.
+
+#undef NDEBUG
+#include <cassert>
 
-template < typename T >
-void use(const T&) {}
- 
 int main()
 {
   double d = 5e-324;
-  use(d);
+  assert(d != 0);
+  assert(d/2 == 0);
   return 0;
 }