Otherwise, the
assert macro's expression
creates a diagnostic on the standard error stream (ISO/IEC 9899:2018, 7.23.3) in an
implementation-defined
format and calls
abort(). The diagnostic contains
#__VA_ARGS__ and
information on
the name of the source file,
the source line number, and
the name of the enclosing function
(such as provided by
source_location::current())
.