2024-04-20 21:36 ftp://ftp.de.debian.org/debian/pool/main/p/packup/packup_0.6.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=zlib --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning -D__GNUC__ --platform=unix64 -j1 platform: Linux-6.6.15-amd64-x86_64-with-glibc2.37 python: 3.11.8 client-version: 1.3.49 compiler: g++ (Debian 13.2.0-13) 13.2.0 cppcheck: head 2.13.0 head-info: fb15ac6 (2024-04-20 19:16:41 +0200) count: 268 218 elapsed-time: 3.8 2.7 head-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 2.45102s (avg. 0.144178s - 17 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.685827s (avg. 0.0127005s - 54 result(s)) valueFlowLifetime(tokenlist, errorLogger, settings): 0.623576s (avg. 0.00878276s - 71 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.369449s (avg. 0.00684165s - 54 result(s)) Tokenizer::simplifyTokens1::simplifyTokenList1: 0.280187s (avg. 0.0155659s - 18 result(s)) Overall time: 3.34798s old-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 1.48404s (avg. 0.0872963s - 17 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.329185s (avg. 0.00609602s - 54 result(s)) valueFlowLifetime(tokenlist, errorLogger, settings): 0.293393s (avg. 0.0041323s - 71 result(s)) Tokenizer::simplifyTokens1::simplifyTokenList1: 0.247687s (avg. 0.0137604s - 18 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.235835s (avg. 0.00436731s - 54 result(s)) Overall time: 2.31234s head results: packup-0.6/types.hh:228:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/types.hh:261:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/types.hh:272:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/package_version.hh:51:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/parser.hh:129:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSIONS_NONE [valueFlowBailoutIncompleteVar] packup-0.6/parser.hh:133:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSIONS_EQUALS [valueFlowBailoutIncompleteVar] packup-0.6/dbg_prt.hh:37:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/dbg_prt.hh:49:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/dbg_prt.hh:62:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/err_utils.hh:38:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/err_utils.hh:42:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/err_utils.hh:46:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/rusage.hh:49:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar] packup-0.6/basic_clause.hh:190:6: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/package_version.hh:43:5: warning: Member variable 'PackageVersion::_hash_code' is not initialized in the constructor. [uninitMemberVar] packup-0.6/IntervalVariables.hh:36:5: warning: Member variable 'IntervalVariables::_dummy' is not initialized in the constructor. [uninitMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'ConverterMem::has_version' is not initialized in the constructor. [uninitMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'ConverterMem::current_unit' is not initialized in the constructor. [uninitMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'Parser::read_version' is not initialized in the constructor. Maybe it should be initialized directly in the class Parser? [uninitDerivedMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'Parser::read_operator' is not initialized in the constructor. Maybe it should be initialized directly in the class Parser? [uninitDerivedMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'Parser::read_keep_value' is not initialized in the constructor. Maybe it should be initialized directly in the class Parser? [uninitDerivedMemberVar] packup-0.6/ConverterMem.hh:34:5: warning: Member variable 'Parser::read_clause' is not initialized in the constructor. Maybe it should be initialized directly in the class Parser? [uninitDerivedMemberVar] packup-0.6/id_manager.hh:66:15: style:inconclusive: Technically the member function 'IDManager::exists' can be const. [functionConst] packup-0.6/id_manager.hh:68:16: style:inconclusive: Technically the member function 'IDManager::top_id' can be const. [functionConst] packup-0.6/id_manager.hh:70:16: style:inconclusive: Technically the member function 'IDManager::range' can be const. [functionConst] packup-0.6/id_manager.hh:74:8: style:inconclusive: Technically the member function 'IDManager::dump' can be const. [functionConst] packup-0.6/basic_clause.hh:79:9: style:inconclusive: Technically the member function 'BasicClause::size' can be const. [functionConst] packup-0.6/basic_clause.hh:127:9: style:inconclusive: Technically the member function 'BasicClause::get_weight' can be const. [functionConst] packup-0.6/basic_clause.hh:131:9: style:inconclusive: Technically the member function 'BasicClause::get_grp_id' can be const. [functionConst] packup-0.6/basic_clause.hh:135:9: style:inconclusive: Technically the member function 'BasicClause::get_id' can be const. [functionConst] packup-0.6/Encoder.hh:244:17: style:inconclusive: Technically the member function 'Encoder::process_not_uptodate' can be const. [functionConst] packup-0.6/Encoder.hh:247:8: performance:inconclusive: Technically the member function 'Encoder::gt' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/parser.hh:56:5: style: Class 'ReadException' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/SolutionReader.hh:36:5: style: Class 'SolutionReader' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/functors.hh:36:3: style: Struct 'defprint' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/functors.hh:43:3: style: Struct 'ptrprint' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/id_manager.hh:43:3: style: Class 'IDManager' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/IntervalVariables.hh:36:5: style: Class 'IntervalVariables' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/PackageVersionVariables.hh:33:5: style: Class 'PackageVersionVariables' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/basic_clause.hh:61:3: style: Class 'BasicClause' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/Printer.hh:32:5: style: Class 'Printer' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/NotRemoved.hh:31:5: style: Class 'NotRemoved' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/ConverterMem.hh:38:14: style: The destructor '~ConverterMem' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:67:14: note: Virtual destructor in base class packup-0.6/ConverterMem.hh:38:14: note: Destructor in derived class packup-0.6/ConverterMem.hh:53:18: style: The function 'start_package' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:69:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:53:18: note: Function in derived class packup-0.6/ConverterMem.hh:56:18: style: The function 'close_package' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:72:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:56:18: note: Function in derived class packup-0.6/ConverterMem.hh:59:18: style: The function 'end_processed_package_version' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:75:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:59:18: note: Function in derived class packup-0.6/ConverterMem.hh:62:18: style: The function 'close_universe' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:78:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:62:18: note: Function in derived class packup-0.6/ConverterMem.hh:65:18: style: The function 'close_input' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:81:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:65:18: note: Function in derived class packup-0.6/ConverterMem.hh:68:18: style: The function 'package_provides' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:84:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:68:18: note: Function in derived class packup-0.6/ConverterMem.hh:69:18: style: The function 'package_conflicts' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:85:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:69:18: note: Function in derived class packup-0.6/ConverterMem.hh:70:18: style: The function 'package_depends' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:86:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:70:18: note: Function in derived class packup-0.6/ConverterMem.hh:71:18: style: The function 'package_recommends' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:87:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:71:18: note: Function in derived class packup-0.6/ConverterMem.hh:72:18: style: The function 'package_keep' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:88:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:72:18: note: Function in derived class packup-0.6/ConverterMem.hh:73:18: style: The function 'package_installed' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:89:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:73:18: note: Function in derived class packup-0.6/ConverterMem.hh:76:18: style: The function 'request_install' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:92:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:76:18: note: Function in derived class packup-0.6/ConverterMem.hh:77:18: style: The function 'request_remove' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:93:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:77:18: note: Function in derived class packup-0.6/ConverterMem.hh:78:18: style: The function 'upgrade' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/parser.hh:94:18: note: Virtual function in base class packup-0.6/ConverterMem.hh:78:18: note: Function in derived class packup-0.6/PackageVersions.hh:57:19: performance: Function 'name()' should return member '_name' by const reference. [returnByReference] packup-0.6/package_version.hh:68:13: performance: Function 'name()' should return member '_name' by const reference. [returnByReference] packup-0.6/types.hh:230:25: style: Condition 'sz+(sz==0)' is always true [knownConditionTrueFalse] packup-0.6/types.hh:263:25: style: Condition 'sz+(sz==0)' is always true [knownConditionTrueFalse] packup-0.6/parser.hh:112:23: portability: %d in format string (no. 1) requires 'int *' but the argument type is 'UINT * {aka unsigned int *}'. [invalidScanfArgType_int] packup-0.6/ConverterMem.cc:40:5: warning: Possible leak in public function. The pointer 'current_unit' is not deallocated before it is allocated. [publicAllocationError] packup-0.6/types.hh:142:19: style: C-style pointer casting [cstyleCast] packup-0.6/basic_clause.hh:186:14: style: Statements following noreturn function 'exit()' will never be executed. [unreachableCode] packup-0.6/PackageVersions.hh:90:25: style: Local variable 'h1' shadows outer variable [shadowVariable] packup-0.6/package_version.hh:39:26: note: Shadowed declaration packup-0.6/PackageVersions.hh:90:25: note: Shadow variable packup-0.6/types.hh:230:33: style: Clarify calculation precedence for '+' and '?'. [clarifyCalculation] packup-0.6/types.hh:263:33: style: Clarify calculation precedence for '+' and '?'. [clarifyCalculation] packup-0.6/types.hh:130:27: performance: Function parameter 'str' should be passed by const reference. [passedByValue] packup-0.6/types.hh:141:32: performance: Function parameter 's1' should be passed by const reference. [passedByValue] packup-0.6/types.hh:141:49: performance: Function parameter 's2' should be passed by const reference. [passedByValue] packup-0.6/Encoder.hh:247:51: style: Parameter 'lex' can be declared as reference to const [constParameterReference] packup-0.6/basic_clause.hh:108:24: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/basic_clause.hh:188:13: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/Encoder.hh:249:0: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/PackageVersions.hh:81:12: error: Iterators of different containers 'pvs1.name()' and 'pvs2.name()' are used together. [mismatchingContainers] packup-0.6/package_version.hh:79:12: error: Iterators of different containers 'pv1.name()' and 'pv2.name()' are used together. [mismatchingContainers] packup-0.6/rusage.hh:64:10: warning: Uninitialized variable: value [uninitvar] packup-0.6/rusage.hh:62:17: note: Assuming condition is false packup-0.6/rusage.hh:64:10: note: Uninitialized variable: value packup-0.6/Encoder.cc:144:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSIONS_EQUALS [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:523:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSIONS_GREATER_EQUALS [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:1396:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:1417:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:2101:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:2113:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:2126:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/Encoder.cc:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations] packup-0.6/Encoder.cc:707:19: warning: Assert statement calls a function which may have desired side effects: 'get_soft_clauses_weight'. [assertWithSideEffect] packup-0.6/Encoder.cc:739:19: warning: Assert statement calls a function which may have desired side effects: 'get_soft_clauses_weight'. [assertWithSideEffect] packup-0.6/Encoder.cc:784:19: warning: Assert statement calls a function which may have desired side effects: 'get_soft_clauses_weight'. [assertWithSideEffect] packup-0.6/Encoder.cc:31:10: warning: Member variable 'Encoder::process_recommends' is not initialized in the constructor. [uninitMemberVar] packup-0.6/Encoder.cc:31:10: warning: Member variable 'Encoder::_process_not_uptodate' is not initialized in the constructor. [uninitMemberVar] packup-0.6/Encoder.cc:31:10: warning: Member variable 'Encoder::stc' is not initialized in the constructor. [uninitMemberVar] packup-0.6/Encoder.hh:109:10: performance:inconclusive: Technically the member function 'Encoder::is_any_installed_package' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/Encoder.cc:430:15: note: Technically the member function 'Encoder::is_any_installed_package' can be static (but you may consider moving to unnamed namespace). packup-0.6/Encoder.hh:109:10: note: Technically the member function 'Encoder::is_any_installed_package' can be static (but you may consider moving to unnamed namespace). packup-0.6/Encoder.hh:235:10: performance:inconclusive: Technically the member function 'Encoder::is_installed' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/Encoder.cc:2042:15: note: Technically the member function 'Encoder::is_installed' can be static (but you may consider moving to unnamed namespace). packup-0.6/Encoder.hh:235:10: note: Technically the member function 'Encoder::is_installed' can be static (but you may consider moving to unnamed namespace). packup-0.6/Encoder.cc:1734:63: style: Condition 'current_version_index>=0' is always true [knownConditionTrueFalse] packup-0.6/Encoder.cc:1702:37: note: Assuming that condition 'current_version_index<0' is not redundant packup-0.6/Encoder.cc:1734:63: note: Condition 'current_version_index>=0' is always true packup-0.6/Encoder.cc:1802:64: style: Condition 'current_version_index=vsz' is not redundant packup-0.6/Encoder.cc:1802:64: note: Condition 'current_version_index=vsz' is not redundant packup-0.6/Encoder.cc:1862:64: note: Condition 'current_version_index=0' is always true [knownConditionTrueFalse] packup-0.6/Encoder.cc:1897:37: note: Assuming that condition 'current_version_index<0' is not redundant packup-0.6/Encoder.cc:1922:63: note: Condition 'current_version_index>=0' is always true packup-0.6/Encoder.cc:535:80: style:inconclusive: Function 'latest_installed_package_version' argument 2 names different: declaration 'version' definition 'latest_version'. [funcArgNamesDifferent] packup-0.6/Encoder.hh:113:75: note: Function 'latest_installed_package_version' argument 2 names different: declaration 'version' definition 'latest_version'. packup-0.6/Encoder.cc:535:80: note: Function 'latest_installed_package_version' argument 2 names different: declaration 'version' definition 'latest_version'. packup-0.6/Encoder.cc:618:50: style:inconclusive: Function 'atmost_1_feature' argument 1 names different: declaration 'package_name' definition 'name'. [funcArgNamesDifferent] packup-0.6/Encoder.hh:136:45: note: Function 'atmost_1_feature' argument 1 names different: declaration 'package_name' definition 'name'. packup-0.6/Encoder.cc:618:50: note: Function 'atmost_1_feature' argument 1 names different: declaration 'package_name' definition 'name'. packup-0.6/Encoder.cc:624:15: style: Local variable 'i' shadows outer variable [shadowVariable] packup-0.6/Encoder.cc:621:48: note: Shadowed declaration packup-0.6/Encoder.cc:624:15: note: Shadow variable packup-0.6/Encoder.cc:1058:9: style: Local variable 'i' shadows outer variable [shadowVariable] packup-0.6/Encoder.cc:1050:34: note: Shadowed declaration packup-0.6/Encoder.cc:1058:9: note: Shadow variable packup-0.6/Encoder.cc:1077:18: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1077:18: note: Shadow variable packup-0.6/Encoder.cc:1159:19: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1159:19: note: Shadow variable packup-0.6/Encoder.cc:1202:19: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1202:19: note: Shadow variable packup-0.6/Encoder.cc:1244:19: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1244:19: note: Shadow variable packup-0.6/Encoder.cc:1289:19: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1289:19: note: Shadow variable packup-0.6/Encoder.cc:1335:18: style: Local variable 'is_feature' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:114:17: note: Shadowed declaration packup-0.6/Encoder.cc:1335:18: note: Shadow variable packup-0.6/Encoder.cc:1421:29: style: Local variable 'solution' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:61:10: note: Shadowed declaration packup-0.6/Encoder.cc:1421:29: note: Shadow variable packup-0.6/Encoder.cc:1936:14: style: Local variable 'is_any_installed' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:236:10: note: Shadowed declaration packup-0.6/Encoder.cc:1936:14: note: Shadow variable packup-0.6/Encoder.cc:1956:14: style: Local variable 'is_any_installed' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:236:10: note: Shadowed declaration packup-0.6/Encoder.cc:1956:14: note: Shadow variable packup-0.6/Encoder.cc:1960:27: style: Local variable 'is_installed' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:235:10: note: Shadowed declaration packup-0.6/Encoder.cc:1960:27: note: Shadow variable packup-0.6/Encoder.cc:1975:14: style: Local variable 'is_any_installed' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:236:10: note: Shadowed declaration packup-0.6/Encoder.cc:1975:14: note: Shadow variable packup-0.6/Encoder.cc:2003:27: style: Local variable 'is_installed' shadows outer function [shadowFunction] packup-0.6/Encoder.hh:235:10: note: Shadowed declaration packup-0.6/Encoder.cc:2003:27: note: Shadow variable packup-0.6/Encoder.cc:344:40: performance: Function parameter 'cnf' should be passed by const reference. [passedByValue] packup-0.6/Encoder.cc:182:29: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:192:29: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:202:24: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:214:29: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:226:21: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:249:20: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:330:17: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:751:42: style: Variable 'clause' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1625:24: style: Variable 'ru_intervals' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1629:24: style: Variable 'du_intervals' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1646:24: style: Variable 'rd_intervals' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1650:24: style: Variable 'dd_intervals' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1934:21: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1949:39: style: Parameter 'model' can be declared as reference to const [constParameterReference] packup-0.6/Encoder.cc:1954:21: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1974:21: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1993:39: style: Parameter 'model' can be declared as reference to const [constParameterReference] packup-0.6/Encoder.cc:1998:21: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:2042:68: style: Parameter 'model' can be declared as reference to const [constParameterReference] packup-0.6/Encoder.cc:2050:51: style: Parameter 'model' can be declared as reference to const [constParameterReference] packup-0.6/Encoder.cc:2068:49: style: Parameter 'package' can be declared as reference to const [constParameterReference] packup-0.6/Encoder.cc:2074:17: style: Variable 'unit_vector' can be declared as reference to const [constVariableReference] packup-0.6/Encoder.cc:1065:26: style: Variable 'conflicting_unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:1467:30: style: Variable 'unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:1939:30: style: Variable 'unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:1959:30: style: Variable 'unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:2002:30: style: Variable 'unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:2077:26: style: Variable 'unit' can be declared as pointer to const [constVariablePointer] packup-0.6/Encoder.cc:1017:21: error: Iterators of different containers 'pvs.name()' and 'feature.name()' are used together. [mismatchingContainers] packup-0.6/Encoder.cc:1035:13: error: Iterators of different containers 'pvs.name()' and 'unit->name' are used together. [mismatchingContainers] packup-0.6/Encoder.cc:1853:39: warning: Uninitialized variable: next_v [uninitvar] packup-0.6/Encoder.cc:1841:36: note: Assuming condition is false packup-0.6/Encoder.cc:1853:39: note: Uninitialized variable: next_v packup-0.6/Encoder.cc:1914:39: warning: Uninitialized variable: next_v [uninitvar] packup-0.6/Encoder.cc:1902:36: note: Assuming condition is false packup-0.6/Encoder.cc:1914:39: note: Uninitialized variable: next_v packup-0.6/EncoderTypes.cc:53:22: error: Return value of allocation function 'new' is not stored. [leakReturnValNotUsed] packup-0.6/EncoderTypes.cc:68:18: error: Return value of allocation function 'new' is not stored. [leakReturnValNotUsed] packup-0.6/EncoderTypes.cc:53:13: error: Uninitialized variable: vector [uninitvar] packup-0.6/EncoderTypes.cc:68:9: error: Uninitialized variable: vector [uninitvar] packup-0.6/functors.hh:44:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/rusage.hh:76:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/rusage.hh:81:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/id_manager.hh:75:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/cl_functors.hh:50:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/cl_registry.hh:168:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] packup-0.6/basic_clset.hh:375:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar] packup-0.6/fmtutils.hh:99:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] packup-0.6/fmtutils.hh:137:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] packup-0.6/fmtutils.hh:150:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] packup-0.6/ExternalWrapper.cc:86:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/ExternalWrapper.cc:162:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/ExternalWrapper.cc:225:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] packup-0.6/basic_clset.hh:63:3: warning: Member variable 'BasicClauseSet::iteron' is not initialized in the constructor. [uninitMemberVar] packup-0.6/ExternalWrapper.cc:32:18: warning: Member variable 'ExternalWrapper::call_counter' is not initialized in the constructor. [uninitMemberVar] packup-0.6/ExternalWrapper.cc:32:18: warning: Member variable 'ExternalWrapper::stamp' is not initialized in the constructor. [uninitMemberVar] packup-0.6/cl_registry.hh:159:8: performance:inconclusive: Technically the member function 'ClauseRegistry::remove_duplicates' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:165:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_min_lit' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:167:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_max_lit' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:169:8: performance:inconclusive: Technically the member function 'BasicClauseSet::set_num_vars' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:171:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_num_vars' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:173:8: performance:inconclusive: Technically the member function 'BasicClauseSet::set_num_cls' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:179:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_top' can be const. [functionConst] packup-0.6/basic_clset.hh:183:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_num_grp' can be const. [functionConst] packup-0.6/basic_clset.hh:185:17: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_lits' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:187:8: performance:inconclusive: Technically the member function 'BasicClauseSet::cl_lits' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:203:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_weight' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:222:8: performance:inconclusive: Technically the member function 'BasicClauseSet::set_cl_id' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:224:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_id' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:226:8: performance:inconclusive: Technically the member function 'BasicClauseSet::set_cl_grp_id' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:228:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl__grp_id' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:244:9: performance:inconclusive: Technically the member function 'BasicClauseSet::get_cl_group' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:262:8: performance:inconclusive: Technically the member function 'BasicClauseSet::is_cl_unit' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:273:8: style:inconclusive: Technically the member function 'BasicClauseSet::all_soft_unit' can be const. [functionConst] packup-0.6/basic_clset.hh:278:8: performance:inconclusive: Technically the member function 'BasicClauseSet::compute_hard_cl_properties' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/basic_clset.hh:359:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_num_hard_cls' can be const. [functionConst] packup-0.6/basic_clset.hh:361:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_num_soft_cls' can be const. [functionConst] packup-0.6/basic_clset.hh:363:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_num_nonsofthard_cls' can be const. [functionConst] packup-0.6/basic_clset.hh:365:9: style:inconclusive: Technically the member function 'BasicClauseSet::get_num_weighted_cls' can be const. [functionConst] packup-0.6/SolverWrapperBase.hh:133:10: performance:inconclusive: Technically the member function 'SolverWrapperBase < BasicClause * >::unique_literals' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/fmtutils.hh:57:16: style: Virtual function 'resize_buffer' is called from constructor 'StreamBuffer(gzFile i)' at line 61. Dynamic binding is not used. [virtualCallInConstructor] packup-0.6/fmtutils.hh:61:5: note: Calling resize_buffer packup-0.6/fmtutils.hh:57:16: note: resize_buffer is a virtual function packup-0.6/ExternalWrapper.hh:35:5: style: Class 'ExternalWrapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/fmtutils.hh:60:3: style: Class 'StreamBuffer' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/fmtutils.hh:75:3: style: Class 'SmallStreamBuffer' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] packup-0.6/ExternalWrapper.hh:36:6: style: The destructor '~ExternalWrapper' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:40:14: note: Virtual destructor in base class packup-0.6/ExternalWrapper.hh:36:6: note: Destructor in derived class packup-0.6/ExternalWrapper.hh:38:19: style: The function 'init' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:35:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:38:19: note: Function in derived class packup-0.6/ExternalWrapper.hh:39:19: style: The function 'get_top' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:37:19: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:39:19: note: Function in derived class packup-0.6/ExternalWrapper.hh:40:19: style: The function 'set_top' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:36:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:40:19: note: Function in derived class packup-0.6/ExternalWrapper.hh:41:19: style: The function 'solve' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:46:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:41:19: note: Function in derived class packup-0.6/ExternalWrapper.hh:43:24: style: The function 'get_model' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:47:24: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:43:24: note: Function in derived class packup-0.6/ExternalWrapper.hh:44:24: style: The function 'get_min_unsat_cost' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:61:19: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:44:24: note: Function in derived class packup-0.6/ExternalWrapper.hh:46:18: style: The function 'register_weight' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:57:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:46:18: note: Function in derived class packup-0.6/ExternalWrapper.hh:56:10: style: The function '_output_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:119:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:56:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:57:10: style: The function '_output_unary_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:122:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:57:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:58:10: style: The function '_output_binary_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:121:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:58:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:59:10: style: The function '_output_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:123:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:59:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:60:10: style: The function '_output_unary_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:124:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:60:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:61:10: style: The function '_output_binary_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:125:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:61:10: note: Function in derived class packup-0.6/ExternalWrapper.hh:62:18: style: The function '_record_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:120:27: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:62:18: note: Function in derived class packup-0.6/ExternalWrapper.hh:63:18: style: The function '_increase_weight' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapperBase.hh:126:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:63:18: note: Function in derived class packup-0.6/ExternalWrapper.hh:64:18: style: The function 'dump' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:63:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:64:18: note: Function in derived class packup-0.6/ExternalWrapper.hh:66:18: style: The function 'has_solution' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:48:18: note: Virtual function in base class packup-0.6/ExternalWrapper.hh:66:18: note: Function in derived class packup-0.6/fmtutils.hh:72:16: style: The function 'resize_buffer' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/fmtutils.hh:57:16: note: Virtual function in base class packup-0.6/fmtutils.hh:72:16: note: Function in derived class packup-0.6/fmtutils.hh:77:12: style: The destructor '~SmallStreamBuffer' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/fmtutils.hh:63:12: note: Virtual destructor in base class packup-0.6/fmtutils.hh:77:12: note: Destructor in derived class packup-0.6/SolverWrapperBase.hh:40:14: style: The destructor '~SolverWrapperBase < BasicClause * >' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:34:14: note: Virtual destructor in base class packup-0.6/SolverWrapperBase.hh:40:14: note: Destructor in derived class packup-0.6/SolverWrapperBase.hh:45:10: style: The function 'output_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:42:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:45:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:56:10: style: The function 'output_unary_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:43:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:56:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:65:10: style: The function 'output_binary_weighted_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:44:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:65:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:75:10: style: The function 'output_unary_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:41:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:75:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:83:10: style: The function 'output_binary_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:40:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:83:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:92:10: style: The function 'output_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:38:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:92:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:101:10: style: The function 'increase_weight' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:45:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:101:10: note: Function in derived class packup-0.6/SolverWrapperBase.hh:110:27: style: The function 'record_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:39:23: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:110:27: note: Function in derived class packup-0.6/SolverWrapperBase.hh:116:18: style: The function 'get_clause_count' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:59:18: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:116:18: note: Function in derived class packup-0.6/SolverWrapperBase.hh:117:19: style: The function 'get_soft_clauses_weight' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] packup-0.6/SolverWrapper.hh:60:19: note: Virtual function in base class packup-0.6/SolverWrapperBase.hh:117:19: note: Function in derived class packup-0.6/ExternalWrapper.hh:109:63: style:inconclusive: Function 'set_solver_command' argument 1 names different: declaration 'solver_command' definition '_solver_command'. [funcArgNamesDifferent] packup-0.6/ExternalWrapper.hh:51:50: note: Function 'set_solver_command' argument 1 names different: declaration 'solver_command' definition '_solver_command'. packup-0.6/ExternalWrapper.hh:109:63: note: Function 'set_solver_command' argument 1 names different: declaration 'solver_command' definition '_solver_command'. packup-0.6/ExternalWrapper.cc:136:37: style:inconclusive: Function 'external_solve' argument 3 names different: declaration 'tmodel' definition 'tmp_model'. [funcArgNamesDifferent] packup-0.6/ExternalWrapper.hh:98:37: note: Function 'external_solve' argument 3 names different: declaration 'tmodel' definition 'tmp_model'. packup-0.6/ExternalWrapper.cc:136:37: note: Function 'external_solve' argument 3 names different: declaration 'tmodel' definition 'tmp_model'. packup-0.6/ExternalWrapper.cc:211:53: style:inconclusive: Function 'external_solve_max' argument 1 names different: declaration 'tmodel' definition 'tmp_model'. [funcArgNamesDifferent] packup-0.6/ExternalWrapper.hh:99:40: note: Function 'external_solve_max' argument 1 names different: declaration 'tmodel' definition 'tmp_model'. packup-0.6/ExternalWrapper.cc:211:53: note: Function 'external_solve_max' argument 1 names different: declaration 'tmodel' definition 'tmp_model'. packup-0.6/basic_clset.hh:343:23: style: Local variable 'clvect' shadows outer variable [shadowVariable] packup-0.6/basic_clset.hh:421:21: note: Shadowed declaration packup-0.6/basic_clset.hh:343:23: note: Shadow variable packup-0.6/fmtutils.hh:133:13: style: Local variable 'neg' shadows outer function [shadowFunction] packup-0.6/common_types.hh:133:13: note: Shadowed declaration packup-0.6/fmtutils.hh:133:13: note: Shadow variable packup-0.6/fmtutils.hh:146:13: style: Local variable 'neg' shadows outer function [shadowFunction] packup-0.6/common_types.hh:133:13: note: Shadowed declaration packup-0.6/fmtutils.hh:146:13: note: Shadow variable packup-0.6/ExternalWrapper.cc:373:26: style: Variable 'clause' can be declared as reference to const [constVariableReference] packup-0.6/cl_functors.hh:49:13: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/cl_functors.hh:127:13: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/ExternalWrapper.hh:103:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm] packup-0.6/ExternalWrapper.cc:363:11: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm] l.rl:166:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable current_line [valueFlowBailoutIncompleteVar] l.rl:183:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable current_line [valueFlowBailoutIncompleteVar] l.rl:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable done [valueFlowBailoutIncompleteVar] packup-0.6/Options.cc:46:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable no_argument [valueFlowBailoutIncompleteVar] packup-0.6/Options.hh:38:12: performance: Function 'get_external_solver()' should return member 'external_solver' by const reference. [returnByReference] packup-0.6/Options.hh:41:12: performance: Function 'get_solution_check()' should return member 'solution_check' by const reference. [returnByReference] packup-0.6/Options.hh:42:12: performance: Function 'get_mapping_file()' should return member 'mapping_file' by const reference. [returnByReference] packup-0.6/Options.hh:43:12: performance: Function 'get_user_criterion()' should return member 'user_criterion' by const reference. [returnByReference] packup-0.6/Options.hh:44:12: performance: Function 'get_input_file_name()' should return member 'input_file_name' by const reference. [returnByReference] packup-0.6/Options.hh:45:12: performance: Function 'get_output_file_name()' should return member 'output_file_name' by const reference. [returnByReference] packup-0.6/Options.hh:46:12: performance: Function 'get_multiplication_string()' should return member 'multiplication_string' by const reference. [returnByReference] packup-0.6/Options.hh:47:12: performance: Function 'get_temporary_directory()' should return member 'temporary_directory' by const reference. [returnByReference] packup-0.6/Options.cc:60:9: style: The scope of the variable 'c' can be reduced. [variableScope] packup-0.6/Options.cc:42:25: style:inconclusive: Function 'parse' argument 1 names different: declaration 'count' definition 'argc'. [funcArgNamesDifferent] packup-0.6/Options.hh:36:22: note: Function 'parse' argument 1 names different: declaration 'count' definition 'argc'. packup-0.6/Options.cc:42:25: note: Function 'parse' argument 1 names different: declaration 'count' definition 'argc'. packup-0.6/Options.cc:42:37: style:inconclusive: Function 'parse' argument 2 names different: declaration 'arguments' definition 'argv'. [funcArgNamesDifferent] packup-0.6/Options.hh:36:35: note: Function 'parse' argument 2 names different: declaration 'arguments' definition 'argv'. packup-0.6/Options.cc:42:37: note: Function 'parse' argument 2 names different: declaration 'arguments' definition 'argv'. packup-0.6/Options.cc:45:26: style: Variable 'long_options' can be declared as const array [constVariable] packup-0.6/Printer.hh:37:12: performance:inconclusive: Technically the member function 'Printer::print_literal' can be static (but you may consider moving to unnamed namespace). [functionStatic] packup-0.6/Printer.cc:66:17: note: Technically the member function 'Printer::print_literal' can be static (but you may consider moving to unnamed namespace). packup-0.6/Printer.hh:37:12: note: Technically the member function 'Printer::print_literal' can be static (but you may consider moving to unnamed namespace). packup-0.6/Printer.cc:47:42: style:inconclusive: Function 'print' argument 1 names different: declaration 'literals' definition 'vs'. [funcArgNamesDifferent] packup-0.6/Printer.hh:34:38: note: Function 'print' argument 1 names different: declaration 'literals' definition 'vs'. packup-0.6/Printer.cc:47:42: note: Function 'print' argument 1 names different: declaration 'literals' definition 'vs'. packup-0.6/cudf_msu.cc:30:34: error: There is an unknown macro here somewhere. Configuration is required. If DISTDATE is a macro then please configure it. [unknownMacro] p.bison:226:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSIONS_NONE [valueFlowBailoutIncompleteVar] p.tab.cc:1182:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] p.tab.cc:1433:15: style: Condition 'yyn==0' is always true [knownConditionTrueFalse] p.tab.cc:1430:16: note: Assignment 'yyn=yytable[yyn]', assigned value is greater than -1 p.tab.cc:1431:11: note: Assuming that condition 'yyn<=0' is not redundant p.tab.cc:1433:15: note: Condition 'yyn==0' is always true p.tab.cc:1363:5: style: C-style pointer casting [cstyleCast] p.tab.cc:1870:14: style: C-style pointer casting [cstyleCast] p.bison:234:41: style: Same expression on both sides of '-'. [duplicateExpression] p.bison:304:45: style: Same expression on both sides of '-'. [duplicateExpression] p.bison:311:45: style: Same expression on both sides of '-'. [duplicateExpression] p.bison:318:45: style: Same expression on both sides of '-'. [duplicateExpression] p.bison:362:73: style: Same expression on both sides of '-'. [duplicateExpression] p.tab.cc:970:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue] p.tab.cc:997:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue] diff: DONE