https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94527
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- I can see uses that aren't just "frees the memory", e.g. after fclose and close any further uses of their argument are probably errors. The close case is interesting because it's not a pointer argument.
