flow analysis

[thradams]

I believe the following code is not producing the expected result or diagnostics.

#pragma safety enable

void* _Owner _Opt calloc(unsigned long i, unsigned long size);
void free(void* _Owner _Opt ptr);

int main() {
    try {
       int * _Owner  p1 = calloc(1, sizeof * p1)!;       
       defer free(p1);
       return 0;
    }
    catch { }   
}

[thradams]

I guess it is related with non reachable code. Return is unconditional.

#pragma safety enable

void* _Owner _Opt calloc(unsigned long i, unsigned long size);
void free(void* _Owner _Opt ptr);

int main() {
    int  i = 1;
    try {
       int * _Owner  p1 = calloc(1, sizeof * p1)!;       
       defer free(p1);
       if (1)
         return 0;
    }
    catch { }   
}

adding if the problem does not happen.