Bug: || breaks the maybe-uninitialized warning.

[iphydf]

OK:

#pragma safety enable

bool init(_Out int *a) {
    *a = 3;
    return true;
}

int main() {
    int a;
    if (!init(&a)) return 0;
    return a;
}

Fail:

#pragma safety enable

bool init(_Out int *a) {
    *a = 3;
    return true;
}

int main() {
    int a;
    if (!init(&a) || a == 0) return 0;
    return a;
}

Output:

Cake 0.9.36
cake  -target=ir main.c
c:/main.c:11:12: warning: using a uninitialized object 'a' [-Wanalyzer-maybe-uninitialized]
 11 |    return a;
    |           ~  
c:/main.c:11:12: warning: returning an uninitialized 'a' object [-Wanalyzer-maybe-uninitialized]
 11 |    return a;
    |           ~  

Tested on playground.

[thradams]

Thanks for the error reporting! It is a bug.