Question

Is there a verify() function (Such as VERIFY() in msvc) or similar that is in the standard c libraries or do I have to write my own? If so, which header is it under?

Edit: The difference between assert and verify is that verify will still execute the function in a release build, whereas the statement in assert is not compiled in release.

I.e.

assert( printf("assert ") );

verify( printf("verify") );

in debug will print "assert verify" but in release will print "verify".

Answer 1

At runtime, C has the assert macro in assert.h.

At compile time, C (since C11) has the static_assert macro in assert.h.

For information, for static_assert some C89/C99 compilers also include it as a compiler extension. For example IAR compiler has the static_assert function in intrinsics.h.