goto.c

void example()
{
    A *a;
    B *b = NULL;

    a = a_new();

    if (! a){
        goto end;
    }

    b = b_new(a);
    if (! b){
        goto end;
    }

    use_b(b);

end:
    b_delete(b);
    a_delete(a);
    puts("bye");
}

goto2.c

void example()
{
    A *a; 
    B *b = NULL;

    if ((a = a_new()) == NULL ||
        (b = b_new()) == NULL) {
        a_delete(a);
        goto end;
    }   

    use_b(b);
    b_delete(b);
    a_delete(a);

end:
    puts("bye");
}

The second example uses the same fact, plus short-circuiting. It's much more concise.

Isn't that first a_delete(a) superfluous? It'll cause a double-free on a if b_new() fails.

@seliopou My second example was busted. I just fixed it.

@davepacheco 👍 That makes a lot more sense.

Thanks for taking the time to write a more concise / realistic example. I'll incorporate this into the blog post.