On 2017.09.01 at 04:39 +0000, Lassi Niemistö wrote: > > Use a more recent gcc version? This issue was already fixed in 4.8.5. > > Upgrading GCC is somewhat heavy in our environment but such minor > update could be doable. Could you link a bug tracker page if you know > one? > > At least it is good if it is a bug and not a feature.. See: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65015 -- Markus
