On 2021-03-12 15:29:34, Michael Dukelsky (2:5020/1042) wrote to andrew clarke:

 ac>> Here foo() can only set its local copy of p to NULL. It can't
 ac>> modify the original pointer.

 ac>> There's not really any way around this kind of mistake in C, other
 ac>> than to run it through a debugger, examine the code and fix it by
 ac>> hand.

 MD> We'll wait for Paul to test it.

Yes. Though I'm not satisfied with nfree() as it feels like it's masking bugs rather than fixing them at the origin. Just my 5c. :)

--- GoldED+/BSD 1.1.5-b20180707