With this snippet of code and +standard settings:

320>      while ( a != NULL ) {
321>        foo *temp = a->p ;
322>        a->p = NULL ;
323>        f( a ) ;
324>        a = temp ;
325>      }

I get this error, which might be considered wrong:

.\blah.c(325): Clauses exit with a referencing implicitly only storage
  in while body, local storage if loop is not taken. The state of a
  variable is different depending on which branch is taken. This means
  no annotation can sensibly be applied to the storage. (-branchstate
  will suppress message) .\blah.c(325): Storage a becomes implicitly

The thing is, it might be implicitly only after the loop, but it's
also, by definition, free (NULL) :->


Reply via email to