id summary reporter owner description type status milestone component version severity resolution keywords cc 8531 [Coverity] boost/function/function_template.hpp: spurious warnings Dan Kegel Marshall Clow "This was found in an older release, but is still present in trunk. Coverity complains {{{ (1) Event pointless_expression: The expression ""false /* mpl_::bool_::value */ && false /* mpl_::bool_::value */"" does not accomplish anything because it evaluates to either of its identical operands, ""false /* mpl_::bool_::value */"". Did you intend the operands to be different? 938 if (boost::has_trivial_copy_constructor::value && 939 boost::has_trivial_destructor::value && 940 detail::function::function_allows_small_object_optimization::value) }}} And a similar error near line 973. It complains very loudly indeed; every use of assign_to generates this warning. Until Coverity sprouts a suppression file feature like Valgrind has, putting an annotation in the source is the way to make Coverity shut up about this. The attached patch does that. To reproduce (assuming you have a Coverity license, and bjam installed in ~/local/bin): {{{ cd ~/boost-trunk/libs/functions/tests PATH=/opt/coverity/cov-analysis-linux64-6.5.1/bin:$HOME/local/bin:$PATH cov-configure --gcc rm -rf covlog mkdir -p covlog cov-build --dir covlog bjam cov-analyze --dir covlog cov-format-errors --dir covlog }}} Then look at covlog/c/output/errors/index.html in a web browser. If you see a bunch of errors like CONSTANT_EXPRESSION_RESULT .../boost/function/function_template.hpp then you have the problem. The attached patch makes those warnings go away (and reduces the number of warnings in this test from 169 to 79). " Bugs closed To Be Determined function Boost Development Trunk Problem fixed