#include <cstdlib>

int return_ok(int x){                                        // ok: does not have noreturn attribute
    return x;
}

[[noreturn]] int explicit_return(int x){
    return x;                             // 'Return from noreturn' warning issued here
}

int i = 0;

[[noreturn]] void implicit_return(int x){
    i += x;
}                                         // 'Return from noreturn' warning issued here
                                          // control returns from this function, even though there is no explicit return statement


[[noreturn]] void no_return(int x){                          // ok: there is no execution path on which control returns from this function
    if (x > 0){
        while (x > 0){continue;}
    }
    else if (x > -10){
        throw "Bad x value";
    }
    else {
        std::exit(0);
    }
}