https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98753
--- Comment #9 from Akim Demaille <akim.demaille at gmail dot com> --- Hi Martin, Thanks for the detailed explanation. (In reply to Martin Sebor from comment #5) > Changing this message alone to say "free() may be called with non-heap > object" wouldn't be appropriate without also changing all the other messages > that are subject to the same problem (all flow-sensitive warnings are). And I definitely believe this should be done. All the messages that claim "you _have_ this problem" should be reworded to "you _may have_ this problem"–unless of course that the problem can be proven to exist. But I agree this is beyond the scope of this issue. Cheers
