Source: cbmc
Version: 5.12-5
Severity: serious
Hi,
Trying to solve #1006850, I couldn't build cbmc:
make[3]: Leaving directory '/<<PKGBUILDDIR>>/src/util'
## Entering langapi
/usr/bin/make -C langapi
make[3]: Entering directory '/<<PKGBUILDDIR>>/src/langapi'
g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2
-ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat
-Werror=format-security -Wall -Werror -Wno-parentheses -Wno-deprecated
-pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum
-I .. -o language_util.o language_util.cpp
g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2
-ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat
-Werror=format-security -Wall -Werror -Wno-parentheses -Wno-deprecated
-pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum
-I .. -o language_file.o language_file.cpp
In file included from language_file.cpp:9:
language_file.h: In member function ‘void language_filest::remove_file(const
string&)’:
language_file.h:87:54: error: loop variable ‘method’ of type ‘const
std::pair<dstringt, language_filet*>&’ binds to a temporary constructed from
type ‘std::pair<const dstringt, language_filet*>’ [-Werror=range-loop-construct]
87 | for(const std::pair<irep_idt, language_filet *> &method :
lazy_method_map)
| ^~~~~~
language_file.h:87:54: note: use non-reference type ‘const std::pair<dstringt,
language_filet*>’ to make the copy explicit or ‘const std::pair<const dstringt,
language_filet*>&’ to prevent copying
cc1plus: all warnings being treated as errors
make[3]: *** [../common:222: language_file.o] Error 1
Please solve it, together with #1006850.
Cheers,
Thomas Goirand (zigo)
