passedByValue
ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
head cryptominisat-5.11.21/src/hyperengine.cpp:404:43: performance: Function parameter 'propBy' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/intree.h:63:58: performance: Function parameter '_orig_propby' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/propby.h:301:38: performance: Function parameter 'other' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/propby.h:310:38: performance: Function parameter 'other' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/propbyforgraph.h:42:31: performance: Function parameter 'orig' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/propengine.h:515:74: performance: Function parameter 'from' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/searcher.cpp:323:58: performance: Function parameter 'confl' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/searcher.cpp:785:57: performance: Function parameter 'confl' should be passed by const reference. [passedByValue]
head cryptominisat-5.11.21/src/searcher.h:303:56: performance: Function parameter 'confl' should be passed by const reference. [passedByValue]