https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69535
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> --- Yeah I don't know either. Some things here do check, others don't, it looks like there are either too many or too few checks. Just keep them if you're not confident about removing them, stage 4 etc.