void assert (int expresion);
La macro assert efectúa diagnósticos dentro del programa. Cuando se ejecuta, si expresión es falsa, la macro assert escribe información relativa a la llamada particular que falló (incluyendo el texto del argumento, el nombre del archivo fuente , y el número de líea fuente - éstos últimos son respectivamente los valores de los macros de preprocesador _FILE_ y _LINE_ ) en el archivo de error estandar en formato definido por la puesta en práctica. El mensaje escrito puduera aparecer de la forma

Assertion failed: expresion, file xyz, line nnn

La macro assert a continuación llama a la función abort. Si la directiva de preprocesador

#define NDEBUG

aparece en el archivo fuente donde assert.h está incluido, cualquier verificación sobre el archivo será ignorada.