https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63459 --- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- VRP already optimizes this, doesn't it? Adding an implicit __attribute__((nonnull(1))) to all C++ member functions might be good, but it also sounds a bit scary to me...