https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106578
--- Comment #4 from Gökçe Aydos <gcc.gnu.org at aydos dot de> --- Just to clarify my entry: In my opinion gcc should not fire a warning in my first example. In case `realloc` was not successful, then `realloc` does not touch its argument. I should be able to use its argument in this case.