Source: cbmc
Version: 4.9-4
Severity: wishlist
Tags: patch
Hi maintainer
Please consider applying the attached patch to build with
-Wno-error=unused-result.
Without this patch, cbmc FTBFS on the Ubuntu builders as shown below.
Regards
Graham
g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector-strong -Wformat
-Werror=format-security -Wall -O2 -g -Werror -Wno-long-long
-Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic -I ..
-o tempdir.o tempdir.cpp
tempdir.cpp: In constructor 'temp_working_dirt::temp_working_dirt(const
string&)':
tempdir.cpp:167:22: error: ignoring return value of 'int chdir(const
char*)', declared with attribute warn_unused_result [-Werror=unused-result]
chdir(path.c_str());
^
tempdir.cpp: In destructor 'temp_working_dirt::~temp_working_dirt()':
tempdir.cpp:184:39: error: ignoring return value of 'int chdir(const
char*)', declared with attribute warn_unused_result [-Werror=unused-result]
chdir(old_working_directory.c_str());
^
cc1plus: all warnings being treated as errors
../common:146: recipe for target 'tempdir.o' failed
make[3]: *** [tempdir.o] Error 1
make[3]: Leaving directory '/build/buildd/cbmc-4.9/src/util'
Makefile:31: recipe for target 'util.dir' failed
make[2]: *** [util.dir] Error 2
make[2]: Leaving directory '/build/buildd/cbmc-4.9/src'
debian/rules:24: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/build/buildd/cbmc-4.9'
debian/rules:15: recipe for target 'build' failed
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
diff -Nru cbmc-4.9/debian/rules cbmc-4.9/debian/rules
--- cbmc-4.9/debian/rules 2013-07-10 14:34:42.000000000 +0200
+++ cbmc-4.9/debian/rules 2014-12-18 16:17:34.000000000 +0200
@@ -9,7 +9,7 @@
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
-export DEB_CXXFLAGS_MAINT_APPEND := -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -pedantic
+export DEB_CXXFLAGS_MAINT_APPEND := -Wall -O2 -g -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses -Wno-strict-aliasing -Wno-error=unused-result -pedantic
%:
dh $@ --parallel
