Update call_assert() macros to use assert_always()

This ensures that call_assert() macro invocations always respect the
*current* (possibly locally defined) value of ASSERTIONS, regardless
of ASSERTIONS setting used to build the assert_m module.

Author: bonachea

example/invoke-via-macro.F90

@@ -3,9 +3,10 @@
 program invoke_via_macro
   !! Demonstrate how to invoke the 'assert' subroutine using a preprocessor macro that facilitates
   !! the complete removal of the call in the absence of the compiler flag: -DASSERTIONS
-  use assert_m, only : assert, intrinsic_array_t, string
-    !! If an "only" clause is employed as above, it must include the "string" function that the
-    !! call_assert* macros reference when transforming the code below into "assert" subroutine calls.
+  use assert_m ! <--- this is the recommended use statement
+    !! If an "only" clause is employed above, the symbols required by the
+    !! macro expansion are subject to change without notice between versions.
+    !! You have been warned!
   implicit none
 
 #if !ASSERTIONS
@@ -15,7 +16,7 @@ program invoke_via_macro
   print *
 #endif
 
-  ! The C preprocessor will convert each call_assert* macro below into calls to the "assert" subroutine 
+  ! The C preprocessor will convert each call_assert* macro below into calls that enforce the assertion
   ! whenever the ASSERTIONS macro is defined to non-zero (e.g. via the -DASSERTIONS compiler flag).
   ! Whenever the ASSERTIONS macro is undefined or defined to zero (e.g. via the -DASSERTIONS=0 compiler flag),
   ! these calls will be entirely removed by the preprocessor.

include/assert_macros.h

@@ -22,9 +22,9 @@
 #endif
 
 #if ASSERTIONS
-# 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)
+# define call_assert(assertion) call assert_always(assertion, "call_assert(" // STRINGIFY(assertion) // ") in file " // __FILE__ // ", line " // string(__LINE__))
+# define call_assert_describe(assertion, description) call assert_always(assertion, description // " in file " // __FILE__ // ", line " // string(__LINE__))
+# define call_assert_diagnose(assertion, description, diagnostic_data) call assert_always(assertion, description // " in file " // __FILE__ // ", line " // string(__LINE__), diagnostic_data)
 #else
 # define call_assert(assertion)
 # define call_assert_describe(assertion, description)