https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80891 --- Comment #6 from Nathan Sidwell <nathan at gcc dot gnu.org> --- Case #1 fixed r248573. Leaving defect open to address concern described in https://gcc.gnu.org/ml/gcc-patches/2017-05/msg02189.html