On 3/23/2018 8:15 AM, Timon Gehr wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51664 The money shot: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51664#c3