https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82008
--- Comment #2 from Jörg Richter <joerg.rich...@pdv-fs.de> --- My original intention was to use the attribute to skip the nullptr check when up-casting. So my preference is to optimize based on the attribute if possible.
