regarding dynamic allocation for pointers

[Richard Heathfield]

Ian Collins said:

If that were true, my "if and only if" would be wrong.

It would be undecidable.

In this case, lint had access to the definition of foo.

Then you are answering a different question to the one I asked.