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 the first error is reported; there might be more. You can find a snapshot of GCC 6 in experimental. To build with GCC 6, you can set CC=gcc-6 CXX=g++-6 explicitly. > sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on dl580gen9-02.hlinux ... > g++ -c -MMD -MP -std=c++11 -g -O2 -fstack-protector-strong -Wformat > -Werror=format-security -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare > -Wno-parentheses -Wno-strict-aliasing -I .. -I /usr/include/minisat > -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -o > flattening/arrays.o flattening/arrays.cpp > flattening/arrays.cpp: In member function 'void > arrayst::add_array_constraints_with(const index_sett&, const with_exprt&)': > flattening/arrays.cpp:669:9: error: statement is indented as if it were > guarded by... [-Werror=misleading-indentation] > index_exprt index_expr1; > ^~~~~~~~~~~ > > flattening/arrays.cpp:666:7: note: ...this 'if' clause, but it is not > if(other_index.type()!=index.type()) > ^~ > > cc1plus: all warnings being treated as errors > ../common:167: recipe for target 'flattening/arrays.o' failed > make[3]: *** [flattening/arrays.o] Error 1 -- Martin Michlmayr Linux for HPE Helion, Hewlett Packard Enterprise