Points dans l'exécution d'un programme auquel il est garanti que tous les effets secondaires des évaluations précédentes auront été effectués et qu'aucun effet secondaire des évaluations ultérieures n'a encore été effectué.
Supposons que nous ayons le bit de code suivant: #include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
void guarantee(bool cond, const char *msg) {
if (!cond) {
...
