<assert.h>

O arquivo de cabeçalhos <assert.h> possui a função assert(), utilizada para verificar a veracidade de uma expressão durante a execução do programa.

Se a expressão for verdadeira, o programa continua executando normalmente. Caso contrário, o programa é interrompido e uma mensagem de erro é exibida com informações sobre a falha.

Funções

void assert(int expression)

A função assert() testa se uma expressão é verdadeira. Se a expressão for verdadeira, o programa continua executando normalmente. Se for falsa, o programa é interrompido e uma mensagem de erro é exibida.

O uso da função pode aumentar o tamanho do código gerado e introduzir uma pequena sobrecarga na execução do programa.

Recebe: uma expressão lógica a ser avaliada.

Retorna: não possui valor de retorno.

Exemplo de uso

#include <stdio.h>
#include <assert.h>

int main() { 
  int i; 
  
  for (i = 3; i <= 10; i++) { 
    assert(i <= 7); 
    printf("i = %d\n", i); 
  } 
  
  return 0; 
}

Saída do terminal

>clang-7 -pthread -lm -o main main.c 
>./main 
i = 3 
i = 4 
i = 5 
i = 6 
i = 7 
main: main.c:9: int main(): Assertion 'i <= 7' failed.
exited, aborted