flow analysis in for loop

[thradams]

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

#pragma safety enable

int * _Opt f();

int main(){
    for (int * _Opt p = f(); p ; p++)
    {
        *p;    //main.c:8:10: warning 33: dereference a NULL object
    }
}