Bug#811603: FTBFS with GCC 6: statement indented as if it were guarded by

2016-01-19 Thread Michael Tautschnig
Control: tags 811603 + pending On Tue, Jan 19, 2016 at 16:10:03 -0800, Martin Michlmayr wrote: > Package: cbmc > Version: 5.2-1 > Severity: important > User: debian-...@lists.debian.org > Usertags: ftbfs-gcc-6 gcc-6-misleading-indentation > > This package fails to build with GCC 6. GCC 6 has not

Bug#811603: FTBFS with GCC 6: statement indented as if it were guarded by

2016-01-19 Thread Martin Michlmayr
Package: cbmc Version: 5.2-1 Severity: important User: debian-...@lists.debian.org Usertags: ftbfs-gcc-6 gcc-6-misleading-indentation This package fails to build with GCC 6. GCC 6 has not been released yet, but it's expected that GCC 6 will become the default compiler for stretch. Note that only