So probably, the bug title should be changed : See: https://lists.debian.org/debian-gcc/2016/10/msg00156.html -- eric