Not really. There are quite a few of structures you can make with gotos that can't directly be translated into functions. Sure, you can implement any functionality in any programming paradigm, but it might require much more work than to just replace goto with a function call.

In C, goto is basically a necessity though. There is really no good way of error handling.

Options:

1. Using goto

void func(void *var) {
    void * var2 = malloc();
    if var == Null {
        goto err;
    }

    do_something();

err:
    free(var2);
}

2. Early returns:

void func(void *var) {
    void * var2 = malloc();
    if var == Null {
        free(var2);
        return;
    }

    do_something();

    free(var2);
}

3. Skipping with conditionals:

void func(void *var) {
    bool error = false;
    void * var2 = malloc();
    if var == Null {
        error = true;
    }

    if !error {
        do_domething()
    }

    free(var2);
}

4. Early return + cleanup function.

void cleanup(void *var2) {
    free(var2);
}

void func(void *var) {
    void * var2 = malloc();
    if var == Null {
        cleanup(var2);
        return;
    }

    cleanup(var2);
}

Option 1 is really the only reasonable option for large enough codebases.

Option 2 is bad because duplicate code means you might change the cleanup in one code path but not some other. Also duplicate code takes up too much valuable screen space.

Option 3 has a runtime cost. It has double the amount of conditionals per error point. It also adds one level of indentation per error point.

Option 4 is same as option 2 but you edit all error paths in one single place. However, this comes at the cost of having to write 2 functions instead of 1 for every function that can error. And you can still mess up and return while forgetting to call the cleanup function.

You must also consider that erroring functions are contagious, just like async ones. I'd say most of the time a function is propagated upwards, with very few being handled just as it ocurrs. This means that whichever downside your option has, you'll have to deal with it in the whole call stack.

Gotos being bad falls in the it depends category.

Bad:

• When you think you're going to do something clever (when you should probably be reaching for a different tool that you may or may not know exists)

Good:

• When in the form of a jump that's was written by a sound compiler
• When learning how assembly works
• When working on codecs and you're actually going to spend the many hours to get everything right.
• Labelled breaks in nested for loops
• Embedded systems when resources are constrained
• When writing debuggers
• When writing anti-cheat systems
• And finally, when you actually need to because you're manually managing things (e.g. you're writing a kernel)