On Wed, 1 Mar 2023 22:28:56 +0100 Bernhard Reutner-Fischer <rep.dot....@gmail.com> wrote:
> Remarks: > 1) We should do this in if-conversion (?) on our own. > I suppose. Independently of -fdelete-null-pointer-checks and iff we can prove that ptr was NULL when passed to free(ptr) then we can elide the call, of course. Likewise for realloc(ptr, 0), obviously. [or reallocarray -- yikes -- if nmemb == 0 || size == 0] But that would probably be a ranger call in DCE, i guess. Didn't look. thanks,