flow ++

[thradams]

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

#pragma safety enable
int * f();
int main() {
   int * p =f();
   *p++ = 1;
}