SPRAC71B February 2019 – October 2023
The library must implement assert as a macro. If its expression argument is false, it must eventually call a helper function to print the failure message. Whether or not the helper function actually causes something to be printed is implementation-defined. As specified by the C standard, this helper function must terminate by calling abort. See Section 6.2.