I committed this update to my post of 
https://gcc.gnu.org/ml/gcc-patches/2017-08/msg01011.html, deciding it 
now sufficiently obvious :)

nathan
-- 
Nathan Sidwell