assertion

• #include <assert.h> void assert(int expr); /* aborta o programa, indicando arquivo (fonte) e linha com erro se a expressão não for true */

• pode ser desabilitada com definindo a macro NDEBUG (programa em produção, compilado com -DNDEBUG)

• importante para a programação "defensiva".

  • a biblioteca GNU libc fornece também a função: void assert_perror( int errnum );