flow: ternary operator error

[thradams]

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

#pragma safety enable
int * _Opt f();
int main(){
  int i = 0;
  int * _Opt p = f();
  int *p2 = p ? p : &i;
}

[thradams]

#pragma safety enable
int* _Opt f();

int main()
{
    int i = 0;
    int* _Opt p = f();
    int* p2;
    p2 = (static_debug(p ? p : &i), &i);
}