Exception handler gets eliminated

[fuzyll]

Created this issue from this discussion.

See code below. When we decompile this, we actually lose the entire catch branch somehow and don't decompile it. Part of the problem is that we mark the mightThrow() function as noreturn, but even if you mark the function as able to return, it still skips over the exception handler. I haven't looked closely enough to figure out why.

The compiled executable I made is attached:

exception_test.zip

^{Originally posted by oskarwirga October 19, 2023}
Exceptions are hard I know but analyzing the try catch in main this isn't quite supported in any decompiler that I've seen.

#include <iostream>
#include <stdexcept>

int mightThrow(){
    std::cout << "Throwing an exception...\n";
    throw std::runtime_error("This is a runtime error exception!");
}

int main(int argc, char** argv) {
    if (argc > 2){
        try {
            mightThrow();
        } catch (const std::exception& e) {
            std::cout << "Caught an exception: " << e.what() << "\n";
        }
    }
    return 0;
}

[plafosse]

Closing as duplicate of #9