Le pattern `goto cleanup` en C¶

Le problème : nettoyage en cascade¶

En C, les fonctions qui acquièrent plusieurs ressources (mémoire, descripteurs de fichiers, objets GL) font face à un dilemme classique : comment tout libérer correctement quand une étape tardive échoue. L'approche naïve — des appels free() en cascade à chaque site d'erreur — entraîne un coût de maintenance en O(n²) et est une source avérée de fuites mémoire.

/* ❌ Anti-pattern : free en cascade — O(n²) lignes, sujet aux fuites */
int init(App* app)
{
    app->a = calloc(1, sizeof(*app->a));
    if (!app->a) return 0;

    app->b = calloc(1, sizeof(*app->b));
    if (!app->b) {
        free(app->a);           /* 1 free */
        return 0;
    }

    app->c = calloc(1, sizeof(*app->c));
    if (!app->c) {
        free(app->b);           /* 2 frees */
        free(app->a);
        return 0;
    }
    /* Chaque nouvelle allocation ajoute N frees à CHAQUE chemin d'erreur */
    return 1;
}

Pire : quand des opérations ultérieures échouent (création du contexte GL, init des sous-systèmes), les développeurs écrivent souvent return 0 avec zéro nettoyage, provoquant silencieusement des fuites de toutes les ressources précédemment allouées.

La solution : sortie centralisée via `goto`¶

Un seul bloc de nettoyage à la fin de la fonction, atteint par goto, garantit que chaque chemin d'erreur libère les mêmes ressources dans le même ordre :

/* ✅ goto cleanup — O(n) lignes, aucune fuite possible */
int init(App* app)
{
    app->a = calloc(1, sizeof(*app->a));
    if (!app->a) goto cleanup;

    app->b = calloc(1, sizeof(*app->b));
    if (!app->b) goto cleanup;

    app->c = calloc(1, sizeof(*app->c));
    if (!app->c) goto cleanup;

    return 1;

cleanup:
    free(app->c);   /* free(NULL) est sûr (C99 §7.20.3.2) */
    free(app->b);
    free(app->a);
    return 0;
}

Pourquoi `free(NULL)` rend cela sûr¶

Le standard C garantit que free(NULL) est un no-op. Quand calloc initialise la struct à zéro, tout pointeur non assigné reste NULL et peut être libéré en toute sécurité. Cela élimine le besoin de gardes if (ptr) free(ptr).

Application : `app_init()` dans suckless-ogl¶

La fonction app_init() utilise un pattern à label unique goto cleanup_full :

Label	Quand utilisé	Action de nettoyage
`cleanup_full`	Échecs après l'init des descripteurs de sous-systèmes (GL actif)	Appelle `app_cleanup()` qui gère le teardown partiel

L'ancien label cleanup_alloc (pour les échecs d'allocation avant le GL) a été supprimé lorsque les descripteurs de sous-systèmes ont pris le relais. La fonction app_subsystems_init() de la table des descripteurs gère désormais le rollback automatiquement : sur le premier échec à l'index N, elle appelle cleanup() en ordre inverse pour les entrées [N-1 .. 0], libérant toutes les sous-structs allouées par calloc. Seuls les échecs de Phase 3 post-descripteurs (scène, chargeur async, post-traitement) utilisent encore goto cleanup_full.

Comparaison¶

Aspect	Free en cascade	goto cleanup
Lignes de nettoyage	O(n²)	O(n)
Risque de free oublié	Élevé (chaque chemin d'erreur manuel)	Aucun (chemin unique)
Ajout d'une nouvelle allocation	Modifier chaque chemin d'erreur	Ajouter un `free()` au bloc cleanup
Lisibilité	Encombré de frees répétitifs	Propre : erreur → goto, cleanup en bas

Références¶

Linux kernel coding style §7 — kernel.org : « The goto statement comes in handy when a function exits from multiple locations and some common work such as cleanup has to be done. »
SEI CERT C MEM12-C — wiki.sei.cmu.edu : « Consider using a goto chain when leaving a function on error when using and releasing resources. »
Donald Knuth — « Structured Programming with go to Statements » (1974, Computing Surveys) : analyse formelle montrant que goto pour le cleanup est un usage valide et structuré.
Eli Bendersky — « Uses of goto in C » : analyse pratique de goto pour le nettoyage de ressources dans de vrais projets C.
Linux Device Drivers, 3e éd. — O'Reilly : documente goto cleanup comme pratique standard dans les fonctions init/exit des modules kernel.
Stack Overflow — « Valid use of goto for error management in C » : consensus communautaire avec 500+ votes positifs soutenant le pattern.

Le pattern goto cleanup en C¶