Merge pull request #42 from bonachea/auto-desc

Auto description

Author: rouson

example/invoke-via-macro.F90

@@ -28,6 +28,8 @@ program invoke_via_macro
     print *,'Here comes the expected assertion failure:'
     print *
 #endif
+  !call_assert(1+1>2)
+  !call_assert_describe(1+1>2, "Mathematics is broken!")
   call_assert_diagnose(1+1>2,  "example with array diagnostic data" , intrinsic_array_t([1,1,2])) ! false assertion
 
 end program invoke_via_macro

include/assert_macros.h

@@ -11,10 +11,20 @@
 #define ASSERTIONS 0
 #endif
 
+! Deal with stringification issues:
+! https://gcc.gnu.org/legacy-ml/fortran/2009-06/msg00131.html
+#ifndef STRINGIFY
+# ifdef __GFORTRAN__
+#  define STRINGIFY(x) "x"
+# else
+#  define STRINGIFY(x) #x
+# endif
+#endif
+
 #if ASSERTIONS
-# define call_assert(assertion) call assert(assertion, "No description provided (see file " // __FILE__ // ", line " // string(__LINE__) // ")")
-# define call_assert_describe(assertion, description) call assert(assertion, description // " in file " // __FILE__ // ", line " // string(__LINE__) // ": " )
-# define call_assert_diagnose(assertion, description, diagnostic_data) call assert(assertion, "file " // __FILE__ // ", line " // string(__LINE__) // ": " // description, diagnostic_data)
+# define call_assert(assertion) call assert(assertion, "call_assert(" // STRINGIFY(assertion) // ") in file " // __FILE__ // ", line " // string(__LINE__))
+# define call_assert_describe(assertion, description) call assert(assertion, description // " in file " // __FILE__ // ", line " // string(__LINE__))
+# define call_assert_diagnose(assertion, description, diagnostic_data) call assert(assertion, description // " in file " // __FILE__ // ", line " // string(__LINE__), diagnostic_data)
 #else
 # define call_assert(assertion)
 # define call_assert_describe(assertion, description)

src/assert/assert_subroutine_s.F90

@@ -31,7 +31,7 @@
         represent_diagnostics_as_string: &
         if (.not. present(diagnostic_data)) then
 
-          trailer = "(none provided)"
+          trailer = ""
 
         else
 
@@ -51,10 +51,11 @@
             class default
               trailer = "of unsupported type."
           end select
+          trailer = ' with diagnostic data "' // trailer // '"'
 
         end if represent_diagnostics_as_string
 
-        error stop header // ' with diagnostic data "' // trailer // '"'
+        error stop header // trailer
 
       end if check_assertion