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;
 }