flow conditional operator

[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;
   p2 = p ? p : &i;
}