2024-04-23 20:54
ftp://ftp.de.debian.org/debian/pool/main/c/cadical/cadical_1.7.4.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=zlib  --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 -j2
platform: Linux-6.6.15-amd64-x86_64-with-glibc2.37
python: 3.11.8
client-version: 1.3.53
compiler: g++ (Debian 13.2.0-13) 13.2.0
cppcheck: head 2.14.0
head-info: 7dab204 (2024-04-23 22:20:29 +0200)
count: 1136 1136
elapsed-time: 43.7 43.5
head-timing-info:

old-timing-info:

head results:
cadical-rel-1.7.4/src/util.hpp:105:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.hpp:101:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.hpp:108:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.hpp:116:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/heap.hpp:32:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invalid_heap_position [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/heap.hpp:64:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable j [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/heap.hpp:136:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invalid_heap_position [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/heap.hpp:144:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invalid_heap_position [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/heap.hpp:166:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable invalid_heap_position [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/analyze.cpp:112:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/options.hpp:304:39: warning: The address of variable '__start_of_options__' might be accessed at non-zero index. [objectIndex]
cadical-rel-1.7.4/src/options.hpp:304:13: note: Address of variable taken here.
cadical-rel-1.7.4/src/options.hpp:304:39: note: The address of variable '__start_of_options__' might be accessed at non-zero index.
cadical-rel-1.7.4/src/checker.hpp:39:3: warning:inconclusive: Member variable 'CheckerWatch::blit' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/checker.hpp:39:3: warning:inconclusive: Member variable 'CheckerWatch::size' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/checker.hpp:39:3: warning:inconclusive: Member variable 'CheckerWatch::clause' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/flags.hpp:52:3: warning: Member variable 'Flags::ignorepos' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/flags.hpp:52:3: warning: Member variable 'Flags::ignoreneg' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/level.hpp:28:3: warning:inconclusive: Member variable 'Level::decision' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/level.hpp:28:3: warning:inconclusive: Member variable 'Level::trail' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/level.hpp:28:3: warning:inconclusive: Member variable 'Level::seen' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.hpp:33:3: warning:inconclusive: Member variable 'LratBuilderWatch::blit' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.hpp:33:3: warning:inconclusive: Member variable 'LratBuilderWatch::size' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.hpp:33:3: warning:inconclusive: Member variable 'LratBuilderWatch::clause' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/profile.hpp:94:3: warning: Member variable 'Profile::started' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/reluctant.hpp:28:3: warning: Member variable 'Reluctant::u' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/reluctant.hpp:28:3: warning: Member variable 'Reluctant::v' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/reluctant.hpp:28:3: warning: Member variable 'Reluctant::limit' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/reluctant.hpp:28:3: warning: Member variable 'Reluctant::countdown' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/reluctant.hpp:28:3: warning: Member variable 'Reluctant::limited' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/watch.hpp:27:3: warning:inconclusive: Member variable 'Watch::clause' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/watch.hpp:27:3: warning:inconclusive: Member variable 'Watch::blit' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/watch.hpp:27:3: warning:inconclusive: Member variable 'Watch::size' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/options.hpp:354:21: warning: Suspicious pointer subtraction. Did you intend to write '->'? [thisSubtraction]
cadical-rel-1.7.4/src/clause.hpp:127:8: style:inconclusive: Technically the member function 'CaDiCaL::clause_smaller_size::operator()' can be const. [functionConst]
cadical-rel-1.7.4/src/external.hpp:190:8: style:inconclusive: Technically the member function 'CaDiCaL::External::mark' can be const. [functionConst]
cadical-rel-1.7.4/src/external.hpp:197:8: style:inconclusive: Technically the member function 'CaDiCaL::External::unmark' can be const. [functionConst]
cadical-rel-1.7.4/src/external.hpp:223:8: style:inconclusive: Technically the member function 'CaDiCaL::External::frozen' can be const. [functionConst]
cadical-rel-1.7.4/src/file.hpp:198:8: style:inconclusive: Technically the member function 'CaDiCaL::File::closed' can be const. [functionConst]
cadical-rel-1.7.4/src/radix.hpp:37:8: style:inconclusive: Technically the member function 'CaDiCaL::pointer_rank::operator()' can be const. [functionConst]
cadical-rel-1.7.4/src/reap.hpp:12:15: style:inconclusive: Technically the member function 'Reap::empty' can be const. [functionConst]
cadical-rel-1.7.4/src/reap.hpp:14:17: style:inconclusive: Technically the member function 'Reap::size' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:47:8: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::colors' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:66:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::bright_magenta_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:67:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::magenta_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:68:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::blue_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:69:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::bright_blue_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:70:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::yellow_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:71:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::bright_yellow_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:72:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::green_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:73:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::red_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:74:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::cyan_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:75:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::bright_red_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:76:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::normal_code' can be const. [functionConst]
cadical-rel-1.7.4/src/terminal.hpp:77:15: style:inconclusive: Technically the member function 'CaDiCaL::Terminal::bold_code' can be const. [functionConst]
cadical-rel-1.7.4/src/internal.hpp:345:12: style:inconclusive: Technically the member function 'CaDiCaL::Internal::vlit' can be const. [functionConst]
cadical-rel-1.7.4/src/internal.hpp:800:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::likely_to_be_kept_clause' can be const. [functionConst]
cadical-rel-1.7.4/src/internal.hpp:1257:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::frozen' can be const. [functionConst]
cadical-rel-1.7.4/src/heap.hpp:98:8: performance:inconclusive: Technically the member function 'heap < block_more_occs_size >::check' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/heap.hpp:98:8: performance:inconclusive: Technically the member function 'heap < elim_more >::check' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/heap.hpp:98:8: performance:inconclusive: Technically the member function 'heap < score_smaller >::check' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/arena.hpp:65:3: style: Class 'Arena' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/ema.hpp:31:3: style: Struct 'EMA' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/block.hpp:12:3: style: Struct 'block_more_occs_size' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/block.hpp:26:3: style: Class 'Blocker' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/checker.hpp:147:3: style: Class 'Checker' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/elim.hpp:12:3: style: Struct 'elim_more' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/elim.hpp:23:3: style: Struct 'Eliminator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/range.hpp:65:3: style: Class 'Range' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/range.hpp:53:5: style: Class 'iterator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/range.hpp:92:3: style: Class 'Sange' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/range.hpp:80:5: style: Class 'iterator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/external.hpp:236:3: style: Struct 'External' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/lratbuilder.hpp:183:3: style: Class 'LratBuilder' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/lratchecker.hpp:112:3: style: Class 'LratChecker' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/options.hpp:282:3: style: Class 'Options' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/profile.hpp:103:3: style: Struct 'Profiles' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/proof.hpp:45:3: style: Class 'Proof' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/random.hpp:22:3: style: Class 'Random' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/score.hpp:8:3: style: Struct 'score_smaller' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/terminal.hpp:39:3: style: Class 'Terminal' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/vivify.hpp:12:3: style: Struct 'Vivifier' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/heap.hpp:121:3: style: Class 'heap < block_more_occs_size >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/heap.hpp:121:3: style: Class 'heap < elim_more >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/heap.hpp:121:3: style: Class 'heap < score_smaller >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/arena.hpp:78:15: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/watch.hpp:58:17: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/internal.hpp:148:55: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/queue.hpp:38:11: style: Variable 'l' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/internal.hpp:433:29: style: Parameter 'lits' can be declared as reference to const [constParameterReference]
cadical-rel-1.7.4/src/internal.hpp:1065:12: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/internal.hpp:800:42: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/arena.hpp:78:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/occs.hpp:19:44: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/watch.hpp:37:48: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/watch.hpp:50:63: style: Parameter 'conflict' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/analyze.cpp:170:3: style: Struct 'analyze_bumped_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/analyze.cpp:177:3: style: Struct 'analyze_bumped_smaller' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/analyze.cpp:425:3: style: Struct 'analyze_trail_negative_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/analyze.cpp:438:3: style: Struct 'analyze_trail_larger' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/analyze.cpp:968:7: style: The scope of the variable 'antecedent_size' can be reduced. [variableScope]
cadical-rel-1.7.4/src/analyze.cpp:64:32: style:inconclusive: Function 'bump_queue' argument 1 names different: declaration 'idx' definition 'lit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:520:24: note: Function 'bump_queue' argument 1 names different: declaration 'idx' definition 'lit'.
cadical-rel-1.7.4/src/analyze.cpp:64:32: note: Function 'bump_queue' argument 1 names different: declaration 'idx' definition 'lit'.
cadical-rel-1.7.4/src/analyze.cpp:696:50: style:inconclusive: Function 'on_the_fly_strengthen' argument 1 names different: declaration 'conflict' definition 'new_conflict'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:623:42: note: Function 'on_the_fly_strengthen' argument 1 names different: declaration 'conflict' definition 'new_conflict'.
cadical-rel-1.7.4/src/analyze.cpp:696:50: note: Function 'on_the_fly_strengthen' argument 1 names different: declaration 'conflict' definition 'new_conflict'.
cadical-rel-1.7.4/src/analyze.cpp:696:68: style:inconclusive: Function 'on_the_fly_strengthen' argument 2 names different: declaration 'lit' definition 'uip'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:623:56: note: Function 'on_the_fly_strengthen' argument 2 names different: declaration 'lit' definition 'uip'.
cadical-rel-1.7.4/src/analyze.cpp:696:68: note: Function 'on_the_fly_strengthen' argument 2 names different: declaration 'lit' definition 'uip'.
cadical-rel-1.7.4/src/analyze.cpp:225:9: style: Local variable 'level' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:182:7: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:225:9: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:522:8: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:522:8: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:658:11: style: Local variable 'lim' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:234:9: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:658:11: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:705:8: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:705:8: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:764:22: style: Local variable 'other' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/analyze.cpp:732:13: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:764:22: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:766:17: style: Local variable 'level' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:182:7: note: Shadowed declaration
cadical-rel-1.7.4/src/analyze.cpp:766:17: note: Shadow variable
cadical-rel-1.7.4/src/analyze.cpp:428:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/analyze.cpp:673:16: style: Variable 'lit' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/analyze.cpp:221:39: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/analyze.cpp:359:11: style: Variable 'reason' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/analyze.cpp:746:18: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/analyze.cpp:1095:18: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/analyze.cpp:968:23: style: Variable 'antecedent_size' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/assume.cpp:186:17: style: The scope of the variable 'sum_constraints' can be reduced. [variableScope]
cadical-rel-1.7.4/src/assume.cpp:114:9: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/assume.cpp:114:9: note: Shadow variable
cadical-rel-1.7.4/src/assume.cpp:225:18: style: Local variable 'lit' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/assume.cpp:221:17: note: Shadowed declaration
cadical-rel-1.7.4/src/assume.cpp:225:18: note: Shadow variable
cadical-rel-1.7.4/src/assume.cpp:325:23: style: Local variable 'p' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/assume.cpp:313:17: note: Shadowed declaration
cadical-rel-1.7.4/src/assume.cpp:325:23: note: Shadow variable
cadical-rel-1.7.4/src/assume.cpp:94:16: style: Variable 'lit' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/assume.cpp:355:10: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/assume.cpp:283:16: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/assume.cpp:318:20: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/assume.cpp:326:26: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/backtrack.cpp:75:31: style:inconclusive: Function 'backtrack' argument 1 names different: declaration 'target_level' definition 'new_level'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:589:23: note: Function 'backtrack' argument 1 names different: declaration 'target_level' definition 'new_level'.
cadical-rel-1.7.4/src/backtrack.cpp:75:31: note: Function 'backtrack' argument 1 names different: declaration 'target_level' definition 'new_level'.
cadical-rel-1.7.4/src/backward.cpp:49:8: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/backward.cpp:49:8: note: Shadow variable
cadical-rel-1.7.4/src/block.cpp:791:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/block.cpp:324:12: warning: Either the condition 'd' is redundant or there is possible null pointer dereference: d. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/block.cpp:319:7: note: Assuming that condition 'd' is not redundant
cadical-rel-1.7.4/src/block.cpp:324:12: note: Null pointer dereference
cadical-rel-1.7.4/src/block.cpp:325:12: warning: Either the condition 'd' is redundant or there is possible null pointer dereference: d. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/block.cpp:319:7: note: Assuming that condition 'd' is not redundant
cadical-rel-1.7.4/src/block.cpp:325:12: note: Null pointer dereference
cadical-rel-1.7.4/src/block.cpp:326:11: warning: Either the condition 'd' is redundant or there is possible null pointer dereference: d. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/block.cpp:319:7: note: Assuming that condition 'd' is not redundant
cadical-rel-1.7.4/src/block.cpp:326:11: note: Null pointer dereference
cadical-rel-1.7.4/src/block.cpp:43:50: style:inconclusive: Function 'is_blocked_clause' argument 2 names different: declaration 'pivot' definition 'lit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:926:42: note: Function 'is_blocked_clause' argument 2 names different: declaration 'pivot' definition 'lit'.
cadical-rel-1.7.4/src/block.cpp:43:50: note: Function 'is_blocked_clause' argument 2 names different: declaration 'pivot' definition 'lit'.
cadical-rel-1.7.4/src/block.cpp:216:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/block.cpp:216:14: note: Shadow variable
cadical-rel-1.7.4/src/block.cpp:191:11: style: Variable 'os' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/block.cpp:501:9: style: Variable 'nos' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/block.cpp:152:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/block.cpp:557:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/cadical.cpp:202:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/cadical.cpp:354:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/cadical.cpp:926:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable reportdefault [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/ccadical.cpp:51:16: warning: Struct 'Wrapper' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor]
cadical-rel-1.7.4/src/ccadical.cpp:51:16: warning: Struct 'Wrapper' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq]
cadical-rel-1.7.4/src/ccadical.cpp:23:8: style: The function 'terminate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:995:16: note: Virtual function in base class
cadical-rel-1.7.4/src/ccadical.cpp:23:8: note: Function in derived class
cadical-rel-1.7.4/src/ccadical.cpp:29:8: style: The function 'learning' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1006:16: note: Virtual function in base class
cadical-rel-1.7.4/src/ccadical.cpp:29:8: note: Function in derived class
cadical-rel-1.7.4/src/ccadical.cpp:35:8: style: The function 'learn' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1007:16: note: Virtual function in base class
cadical-rel-1.7.4/src/ccadical.cpp:35:8: note: Function in derived class
cadical-rel-1.7.4/src/ccadical.cpp:56:4: style: The destructor '~Wrapper' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1005:12: note: Virtual destructor in base class
cadical-rel-1.7.4/src/ccadical.cpp:56:4: note: Destructor in derived class
cadical-rel-1.7.4/src/ccadical.cpp:40:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:79:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:83:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:87:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:91:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:95:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:99:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:103:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:107:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:111:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:115:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:119:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:123:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:127:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:131:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:135:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:139:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:144:22: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:155:22: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:166:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:170:4: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:174:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ccadical.cpp:90:63: style:inconclusive: Function 'ccadical_limit' argument 3 names different: declaration 'limit' definition 'val'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/ccadical.h:39:56: note: Function 'ccadical_limit' argument 3 names different: declaration 'limit' definition 'val'.
cadical-rel-1.7.4/src/ccadical.cpp:90:63: note: Function 'ccadical_limit' argument 3 names different: declaration 'limit' definition 'val'.
cadical-rel-1.7.4/src/cadical.cpp:933:6: warning: Member variable 'App::time_limit' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/cadical.cpp:933:6: warning: Member variable 'App::force_strict_parsing' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/cadical.cpp:933:6: warning: Member variable 'App::force_writing' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/cadical.cpp:933:6: warning: Member variable 'App::max_var' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/cadical.cpp:933:6: warning: Member variable 'App::timesup' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/cadical.cpp:77:8: style: The function 'terminate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:995:16: note: Virtual function in base class
cadical-rel-1.7.4/src/cadical.cpp:77:8: note: Function in derived class
cadical-rel-1.7.4/src/cadical.cpp:81:8: style: The function 'catch_signal' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/signal.hpp:12:16: note: Virtual function in base class
cadical-rel-1.7.4/src/cadical.cpp:81:8: note: Function in derived class
cadical-rel-1.7.4/src/cadical.cpp:82:8: style: The function 'catch_alarm' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/signal.hpp:14:16: note: Virtual function in base class
cadical-rel-1.7.4/src/cadical.cpp:82:8: note: Function in derived class
cadical-rel-1.7.4/src/cadical.cpp:86:4: style: The destructor '~App' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/signal.hpp:11:12: note: Virtual destructor in base class
cadical-rel-1.7.4/src/cadical.cpp:86:4: note: Destructor in derived class
cadical-rel-1.7.4/src/cadical.cpp:719:9: style: The if condition is the same as the previous if condition [duplicateCondition]
cadical-rel-1.7.4/src/cadical.cpp:717:9: note: First condition
cadical-rel-1.7.4/src/cadical.cpp:719:9: note: Second condition
cadical-rel-1.7.4/src/cadical.cpp:337:20: style:inconclusive: Function 'main' argument 1 names different: declaration 'arg' definition 'argc'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.cpp:90:17: note: Function 'main' argument 1 names different: declaration 'arg' definition 'argc'.
cadical-rel-1.7.4/src/cadical.cpp:337:20: note: Function 'main' argument 1 names different: declaration 'arg' definition 'argc'.
cadical-rel-1.7.4/src/cadical.cpp:644:25: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/cadical.cpp:651:25: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/cadical.cpp:731:9: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/cadical.cpp:810:21: style: Consider using std::copy_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/checker.cpp:94:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:161:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:195:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:523:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:563:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:584:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/checker.cpp:170:10: warning: Member variable 'Checker::last_id' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/checker.cpp:42:24: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/checker.cpp:82:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/checker.cpp:224:13: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/checker.cpp:581:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/checker.cpp:579:17: note: Shadowed declaration
cadical-rel-1.7.4/src/checker.cpp:581:21: note: Shadow variable
cadical-rel-1.7.4/src/checker.cpp:587:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/checker.cpp:585:17: note: Shadowed declaration
cadical-rel-1.7.4/src/checker.cpp:587:21: note: Shadow variable
cadical-rel-1.7.4/src/checker.cpp:149:21: style: Variable 'w' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/checker.cpp:389:21: style: Variable 'w' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/checker.cpp:106:48: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/checker.cpp:125:17: error: Uninitialized variable: *p [uninitvar]
cadical-rel-1.7.4/src/internal.hpp:561:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::deallocate_clause' can be const. [functionConst]
cadical-rel-1.7.4/src/clause.cpp:228:16: note: Technically the member function 'CaDiCaL::Internal::deallocate_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:561:8: note: Technically the member function 'CaDiCaL::Internal::deallocate_clause' can be const.
cadical-rel-1.7.4/src/clause.cpp:96:15: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/clause.cpp:229:13: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/clause.cpp:390:7: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
cadical-rel-1.7.4/src/clause.cpp:392:9: note: Found duplicate branches for 'if' and 'else'.
cadical-rel-1.7.4/src/clause.cpp:390:7: note: Found duplicate branches for 'if' and 'else'.
cadical-rel-1.7.4/src/clause.cpp:408:9: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
cadical-rel-1.7.4/src/clause.cpp:410:9: note: Found duplicate branches for 'if' and 'else'.
cadical-rel-1.7.4/src/clause.cpp:408:9: note: Found duplicate branches for 'if' and 'else'.
cadical-rel-1.7.4/src/clause.cpp:9:30: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/clause.cpp:14:31: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/clause.cpp:19:32: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/clause.cpp:42:38: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/collect.cpp:293:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/compact.cpp:532:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:727:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::arenaing' can be const. [functionConst]
cadical-rel-1.7.4/src/collect.cpp:465:16: note: Technically the member function 'CaDiCaL::Internal::arenaing' can be const.
cadical-rel-1.7.4/src/internal.hpp:727:8: note: Technically the member function 'CaDiCaL::Internal::arenaing' can be const.
cadical-rel-1.7.4/src/collect.cpp:308:13: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/collect.cpp:310:13: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/collect.cpp:13:7: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/collect.cpp:13:7: note: Shadow variable
cadical-rel-1.7.4/src/collect.cpp:373:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/collect.cpp:373:14: note: Shadow variable
cadical-rel-1.7.4/src/collect.cpp:389:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/collect.cpp:389:14: note: Shadow variable
cadical-rel-1.7.4/src/collect.cpp:444:11: style: Local variable 'irredundant' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:320:11: note: Shadowed declaration
cadical-rel-1.7.4/src/collect.cpp:444:11: note: Shadow variable
cadical-rel-1.7.4/src/collect.cpp:444:28: style: Local variable 'redundant' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:318:11: note: Shadowed declaration
cadical-rel-1.7.4/src/collect.cpp:444:28: note: Shadow variable
cadical-rel-1.7.4/src/collect.cpp:108:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/collect.cpp:141:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/collect.cpp:12:54: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/collect.cpp:308:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/collect.cpp:325:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/collect.cpp:445:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/collect.cpp:217:8: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/collect.cpp:174:25: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/collect.cpp:199:25: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/internal.hpp:787:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::compacting' can be const. [functionConst]
cadical-rel-1.7.4/src/compact.cpp:13:16: note: Technically the member function 'CaDiCaL::Internal::compacting' can be const.
cadical-rel-1.7.4/src/internal.hpp:787:8: note: Technically the member function 'CaDiCaL::Internal::compacting' can be const.
cadical-rel-1.7.4/src/compact.cpp:52:5: warning: Struct 'Mapper' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor]
cadical-rel-1.7.4/src/compact.cpp:52:5: warning: Struct 'Mapper' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq]
cadical-rel-1.7.4/src/compact.cpp:49:3: style: Struct 'Mapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/compact.cpp:536:3: warning: Either the condition 'internal' is redundant or there is possible null pointer dereference: internal. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/compact.cpp:532:3: note: Assuming that condition 'internal' is not redundant
cadical-rel-1.7.4/src/compact.cpp:536:3: note: Null pointer dereference
cadical-rel-1.7.4/src/compact.cpp:482:14: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/compact.cpp:259:11: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/condition.cpp:920:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/condition.cpp:149:8: style:inconclusive: Technically the member function 'CaDiCaL::less_conditioned::operator()' can be const. [functionConst]
cadical-rel-1.7.4/src/condition.cpp:689:39: style: Variable 'watched_autarky_literal' is reassigned a value before the old one has been used. [redundantAssignment]
cadical-rel-1.7.4/src/condition.cpp:684:37: note: watched_autarky_literal is assigned
cadical-rel-1.7.4/src/condition.cpp:689:39: note: watched_autarky_literal is overwritten
cadical-rel-1.7.4/src/condition.cpp:489:25: style: Checking if unsigned expression 'initial.autarky' is less than zero. [unsignedLessThanZero]
cadical-rel-1.7.4/src/condition.cpp:158:38: style:inconclusive: Function 'condition_round' argument 1 names different: declaration 'unassigned_literal_propagation_limit' definition 'delta'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:1097:30: note: Function 'condition_round' argument 1 names different: declaration 'unassigned_literal_propagation_limit' definition 'delta'.
cadical-rel-1.7.4/src/condition.cpp:158:38: note: Function 'condition_round' argument 1 names different: declaration 'unassigned_literal_propagation_limit' definition 'delta'.
cadical-rel-1.7.4/src/condition.cpp:160:8: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/condition.cpp:160:8: note: Shadow variable
cadical-rel-1.7.4/src/condition.cpp:307:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/condition.cpp:307:10: note: Shadow variable
cadical-rel-1.7.4/src/condition.cpp:730:7: style: Local variable 'check' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1272:8: note: Shadowed declaration
cadical-rel-1.7.4/src/condition.cpp:730:7: note: Shadow variable
cadical-rel-1.7.4/src/condition.cpp:909:8: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/condition.cpp:909:8: note: Shadow variable
cadical-rel-1.7.4/src/condition.cpp:149:28: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/condition.cpp:149:39: style: Parameter 'b' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/internal.hpp:1074:3: style:inconclusive: Technically the member function 'CaDiCaL::Internal::failed_constraint' can be const. [functionConst]
cadical-rel-1.7.4/src/constrain.cpp:51:16: note: Technically the member function 'CaDiCaL::Internal::failed_constraint' can be const.
cadical-rel-1.7.4/src/internal.hpp:1074:3: note: Technically the member function 'CaDiCaL::Internal::failed_constraint' can be const.
cadical-rel-1.7.4/src/contract.cpp:17:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/constrain.cpp:39:22: style: Local variable 'lit' shadows outer argument [shadowArgument]
cadical-rel-1.7.4/src/constrain.cpp:5:31: note: Shadowed declaration
cadical-rel-1.7.4/src/constrain.cpp:39:22: note: Shadow variable
cadical-rel-1.7.4/src/constrain.cpp:46:23: style: Local variable 'lit' shadows outer argument [shadowArgument]
cadical-rel-1.7.4/src/constrain.cpp:5:31: note: Shadowed declaration
cadical-rel-1.7.4/src/constrain.cpp:46:23: note: Shadow variable
cadical-rel-1.7.4/src/constrain.cpp:15:55: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/cover.cpp:439:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/cover.cpp:36:3: warning: Member variable 'Coveror::next' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/internal.hpp:762:8: performance:inconclusive: Technically the member function 'CaDiCaL::Internal::cover_push_extension' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/cover.cpp:49:23: note: Technically the member function 'CaDiCaL::Internal::cover_push_extension' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:762:8: note: Technically the member function 'CaDiCaL::Internal::cover_push_extension' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/cover.cpp:414:8: style:inconclusive: Technically the member function 'CaDiCaL::clause_covered_or_smaller::operator()' can be const. [functionConst]
cadical-rel-1.7.4/src/cover.cpp:127:24: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/cover.cpp:127:24: note: Shadow variable
cadical-rel-1.7.4/src/cover.cpp:265:18: style: Local variable 'end' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/cover.cpp:196:14: note: Shadowed declaration
cadical-rel-1.7.4/src/cover.cpp:265:18: note: Shadow variable
cadical-rel-1.7.4/src/cover.cpp:329:8: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/cover.cpp:329:8: note: Shadow variable
cadical-rel-1.7.4/src/cover.cpp:443:11: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/cover.cpp:443:11: note: Shadow variable
cadical-rel-1.7.4/src/cover.cpp:462:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/cover.cpp:462:10: note: Shadow variable
cadical-rel-1.7.4/src/cover.cpp:195:9: style: Variable 'os' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/cover.cpp:119:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/cover.cpp:157:11: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/internal.hpp:1102:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::satisfied' can be const. [functionConst]
cadical-rel-1.7.4/src/decide.cpp:89:16: note: Technically the member function 'CaDiCaL::Internal::satisfied' can be const.
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Technically the member function 'CaDiCaL::Internal::satisfied' can be const.
cadical-rel-1.7.4/src/internal.hpp:1106:7: style:inconclusive: Technically the member function 'CaDiCaL::Internal::decide_phase' can be const. [functionConst]
cadical-rel-1.7.4/src/decide.cpp:53:15: note: Technically the member function 'CaDiCaL::Internal::decide_phase' can be const.
cadical-rel-1.7.4/src/internal.hpp:1106:7: note: Technically the member function 'CaDiCaL::Internal::decide_phase' can be const.
cadical-rel-1.7.4/src/internal.hpp:1108:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::better_decision' can be const. [functionConst]
cadical-rel-1.7.4/src/decide.cpp:98:16: note: Technically the member function 'CaDiCaL::Internal::better_decision' can be const.
cadical-rel-1.7.4/src/internal.hpp:1108:8: note: Technically the member function 'CaDiCaL::Internal::better_decision' can be const.
cadical-rel-1.7.4/src/decide.cpp:55:7: style: Local variable 'phase' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1079:8: note: Shadowed declaration
cadical-rel-1.7.4/src/decide.cpp:55:7: note: Shadow variable
cadical-rel-1.7.4/src/decide.cpp:142:11: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/decide.cpp:213:11: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/deduplicate.cpp:48:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/deduplicate.cpp:48:14: note: Shadow variable
cadical-rel-1.7.4/src/deduplicate.cpp:61:38: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/deduplicate.cpp:72:13: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/deduplicate.cpp:83:36: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/deduplicate.cpp:103:11: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/deduplicate.cpp:116:51: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/decompose.cpp:573:20: error: Array 'c->literals[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
cadical-rel-1.7.4/src/decompose.cpp:51:10: style: Local variable 'from_dfs' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/decompose.cpp:38:8: note: Shadowed declaration
cadical-rel-1.7.4/src/decompose.cpp:51:10: note: Shadow variable
cadical-rel-1.7.4/src/decompose.cpp:453:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/decompose.cpp:453:10: note: Shadow variable
cadical-rel-1.7.4/src/decompose.cpp:51:10: style: Variable 'from_dfs' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/decompose.cpp:224:20: style: Variable 'child_dfs' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/decompose.cpp:394:20: style: Variable 'child_dfs' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/decompose.cpp:308:34: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/elim.cpp:769:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/elim.cpp:953:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/elim.cpp:1068:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/elim.cpp:142:60: style:inconclusive: Function 'elim_propagate' argument 2 names different: declaration 'unit' definition 'root'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:976:42: note: Function 'elim_propagate' argument 2 names different: declaration 'unit' definition 'root'.
cadical-rel-1.7.4/src/elim.cpp:142:60: note: Function 'elim_propagate' argument 2 names different: declaration 'unit' definition 'root'.
cadical-rel-1.7.4/src/elim.cpp:112:12: style: Local variable 'score' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:363:11: note: Shadowed declaration
cadical-rel-1.7.4/src/elim.cpp:112:12: note: Shadow variable
cadical-rel-1.7.4/src/elim.cpp:155:21: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/elim.cpp:155:21: note: Shadow variable
cadical-rel-1.7.4/src/elim.cpp:283:7: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/elim.cpp:283:7: note: Shadow variable
cadical-rel-1.7.4/src/elim.cpp:787:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/elim.cpp:787:10: note: Shadow variable
cadical-rel-1.7.4/src/ema.cpp:70:10: style: The scope of the variable 'new_exp' can be reduced. [variableScope]
cadical-rel-1.7.4/src/ema.cpp:70:19: style: The scope of the variable 'div' can be reduced. [variableScope]
cadical-rel-1.7.4/src/elim.cpp:724:14: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/elim.cpp:126:52: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/extend.cpp:119:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/external.cpp:615:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/extend.cpp:168:3: warning: Either the condition 'internal' is redundant or there is possible null pointer dereference: internal. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/extend.cpp:164:3: note: Assuming that condition 'internal' is not redundant
cadical-rel-1.7.4/src/extend.cpp:168:3: note: Null pointer dereference
cadical-rel-1.7.4/src/extend.cpp:198:15: style: The scope of the variable 'clause' can be reduced. [variableScope]
cadical-rel-1.7.4/src/extend.cpp:198:23: style: The scope of the variable 'witness' can be reduced. [variableScope]
cadical-rel-1.7.4/src/extend.cpp:47:63: style:inconclusive: Function 'push_clause_on_extension_stack' argument 2 names different: declaration 'witness' definition 'pivot'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/external.hpp:165:54: note: Function 'push_clause_on_extension_stack' argument 2 names different: declaration 'witness' definition 'pivot'.
cadical-rel-1.7.4/src/extend.cpp:47:63: note: Function 'push_clause_on_extension_stack' argument 2 names different: declaration 'witness' definition 'pivot'.
cadical-rel-1.7.4/src/extend.cpp:53:59: style:inconclusive: Function 'push_binary_clause_on_extension_stack' argument 1 names different: declaration 'witness' definition 'pivot'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/external.hpp:166:51: note: Function 'push_binary_clause_on_extension_stack' argument 1 names different: declaration 'witness' definition 'pivot'.
cadical-rel-1.7.4/src/extend.cpp:53:59: note: Function 'push_binary_clause_on_extension_stack' argument 1 names different: declaration 'witness' definition 'pivot'.
cadical-rel-1.7.4/src/extend.cpp:67:24: style:inconclusive: Function 'push_external_clause_and_witness_on_extension_stack' argument 1 names different: declaration 'clause' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/external.hpp:206:26: note: Function 'push_external_clause_and_witness_on_extension_stack' argument 1 names different: declaration 'clause' definition 'c'.
cadical-rel-1.7.4/src/extend.cpp:67:24: note: Function 'push_external_clause_and_witness_on_extension_stack' argument 1 names different: declaration 'clause' definition 'c'.
cadical-rel-1.7.4/src/extend.cpp:67:46: style:inconclusive: Function 'push_external_clause_and_witness_on_extension_stack' argument 2 names different: declaration 'witness' definition 'w'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/external.hpp:206:53: note: Function 'push_external_clause_and_witness_on_extension_stack' argument 2 names different: declaration 'witness' definition 'w'.
cadical-rel-1.7.4/src/extend.cpp:67:46: note: Function 'push_external_clause_and_witness_on_extension_stack' argument 2 names different: declaration 'witness' definition 'w'.
cadical-rel-1.7.4/src/extend.cpp:176:23: style: Local variable 'witness' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/external.hpp:80:16: note: Shadowed declaration
cadical-rel-1.7.4/src/extend.cpp:176:23: note: Shadow variable
cadical-rel-1.7.4/src/extend.cpp:198:23: style: Local variable 'witness' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/external.hpp:80:16: note: Shadowed declaration
cadical-rel-1.7.4/src/extend.cpp:198:23: note: Shadow variable
cadical-rel-1.7.4/src/extend.cpp:204:20: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/extend.cpp:39:56: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/external.hpp:108:8: style:inconclusive: Technically the member function 'CaDiCaL::External::observed' can be const. [functionConst]
cadical-rel-1.7.4/src/external.cpp:402:16: note: Technically the member function 'CaDiCaL::External::observed' can be const.
cadical-rel-1.7.4/src/external.hpp:108:8: note: Technically the member function 'CaDiCaL::External::observed' can be const.
cadical-rel-1.7.4/src/external.hpp:109:8: style:inconclusive: Technically the member function 'CaDiCaL::External::is_witness' can be const. [functionConst]
cadical-rel-1.7.4/src/external.cpp:414:16: note: Technically the member function 'CaDiCaL::External::is_witness' can be const.
cadical-rel-1.7.4/src/external.hpp:109:8: note: Technically the member function 'CaDiCaL::External::is_witness' can be const.
cadical-rel-1.7.4/src/external.cpp:172:22: style: Local variable 'elit' shadows outer argument [shadowArgument]
cadical-rel-1.7.4/src/external.cpp:143:25: note: Shadowed declaration
cadical-rel-1.7.4/src/external.cpp:172:22: note: Shadow variable
cadical-rel-1.7.4/src/external.cpp:128:12: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/external.cpp:650:25: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/file.cpp:72:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.cpp:123:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.cpp:150:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.cpp:271:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/file.cpp:396:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/external_propagate.cpp:943:23: warning: Assert statement calls a function which may have desired side effects: 'observed'. [assertWithSideEffect]
cadical-rel-1.7.4/src/external_propagate.cpp:718:8: style: The scope of the variable 'trail_changed' can be reduced. [variableScope]
cadical-rel-1.7.4/src/external_propagate.cpp:287:44: style:inconclusive: Function 'add_external_clause' argument 2 names different: declaration 'propagated_lit' definition 'propagated_elit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:631:55: note: Function 'add_external_clause' argument 2 names different: declaration 'propagated_lit' definition 'propagated_elit'.
cadical-rel-1.7.4/src/external_propagate.cpp:287:44: note: Function 'add_external_clause' argument 2 names different: declaration 'propagated_lit' definition 'propagated_elit'.
cadical-rel-1.7.4/src/external_propagate.cpp:509:36: style:inconclusive: Function 'explain_reason' argument 1 names different: declaration 'lit' definition 'ilit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:634:28: note: Function 'explain_reason' argument 1 names different: declaration 'lit' definition 'ilit'.
cadical-rel-1.7.4/src/external_propagate.cpp:509:36: note: Function 'explain_reason' argument 1 names different: declaration 'lit' definition 'ilit'.
cadical-rel-1.7.4/src/external_propagate.cpp:628:53: style:inconclusive: Function 'learn_external_reason_clause' argument 1 names different: declaration 'lit' definition 'ilit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:632:45: note: Function 'learn_external_reason_clause' argument 1 names different: declaration 'lit' definition 'ilit'.
cadical-rel-1.7.4/src/external_propagate.cpp:628:53: note: Function 'learn_external_reason_clause' argument 1 names different: declaration 'lit' definition 'ilit'.
cadical-rel-1.7.4/src/external_propagate.cpp:68:8: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/external_propagate.cpp:575:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/file.cpp:189:13: style: Redundant condition: The condition '*c' is redundant since '*c == ' '' is sufficient. [redundantCondition]
cadical-rel-1.7.4/src/file.cpp:200:15: style: Redundant condition: The condition '*p' is redundant since '*p == ' '' is sufficient. [redundantCondition]
cadical-rel-1.7.4/src/file.cpp:392:7: warning: Either the condition 'internal' is redundant or there is possible null pointer dereference: internal. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/file.cpp:382:5: note: Assuming that condition 'internal' is not redundant
cadical-rel-1.7.4/src/file.cpp:392:7: note: Null pointer dereference
cadical-rel-1.7.4/src/file.cpp:255:57: style:inconclusive: Function 'write_pipe' argument 2 names different: declaration 'fmt' definition 'command'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/file.hpp:62:52: note: Function 'write_pipe' argument 2 names different: declaration 'fmt' definition 'command'.
cadical-rel-1.7.4/src/file.cpp:255:57: note: Function 'write_pipe' argument 2 names different: declaration 'fmt' definition 'command'.
cadical-rel-1.7.4/src/file.cpp:302:60: style:inconclusive: Function 'read' argument 3 names different: declaration 'name' definition 'n'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/file.hpp:78:55: note: Function 'read' argument 3 names different: declaration 'name' definition 'n'.
cadical-rel-1.7.4/src/file.cpp:302:60: note: Function 'read' argument 3 names different: declaration 'name' definition 'n'.
cadical-rel-1.7.4/src/file.cpp:306:61: style:inconclusive: Function 'write' argument 3 names different: declaration 'name' definition 'n'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/file.hpp:87:55: note: Function 'write' argument 3 names different: declaration 'name' definition 'n'.
cadical-rel-1.7.4/src/file.cpp:306:61: note: Function 'write' argument 3 names different: declaration 'name' definition 'n'.
cadical-rel-1.7.4/src/file.cpp:195:18: style: Local variable 'bytes' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/file.hpp:196:12: note: Shadowed declaration
cadical-rel-1.7.4/src/file.cpp:195:18: note: Shadow variable
cadical-rel-1.7.4/src/file.cpp:286:21: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/file.cpp:288:22: warning: Found suspicious operator ',', result is not used. [constStatement]
cadical-rel-1.7.4/src/file.cpp:206:52: style: Parameter 'argv' can be declared as reference to const [constParameterReference]
cadical-rel-1.7.4/src/flags.cpp:8:31: warning: Assert statement calls a function which may have desired side effects: 'observed'. [assertWithSideEffect]
cadical-rel-1.7.4/src/format.cpp:32:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/format.cpp:59:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/flip.cpp:69:24: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/flip.cpp:69:24: note: Shadow variable
cadical-rel-1.7.4/src/flip.cpp:122:15: style: Local variable 'idx' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/flip.cpp:20:13: note: Shadowed declaration
cadical-rel-1.7.4/src/flip.cpp:122:15: note: Shadow variable
cadical-rel-1.7.4/src/flip.cpp:123:23: style: Local variable 'original_value' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/flip.cpp:21:21: note: Shadowed declaration
cadical-rel-1.7.4/src/flip.cpp:123:23: note: Shadow variable
cadical-rel-1.7.4/src/flip.cpp:190:22: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/flip.cpp:190:22: note: Shadow variable
cadical-rel-1.7.4/src/flip.cpp:134:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/flip.cpp:172:12: style: Variable 'ws' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/flip.cpp:41:48: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/flip.cpp:65:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/flip.cpp:102:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/flip.cpp:174:50: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/instantiate.cpp:330:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:940:7: style:inconclusive: Technically the member function 'CaDiCaL::Internal::second_literal_in_binary_clause_lrat' can be const. [functionConst]
cadical-rel-1.7.4/src/gates.cpp:59:15: note: Technically the member function 'CaDiCaL::Internal::second_literal_in_binary_clause_lrat' can be const.
cadical-rel-1.7.4/src/internal.hpp:940:7: note: Technically the member function 'CaDiCaL::Internal::second_literal_in_binary_clause_lrat' can be const.
cadical-rel-1.7.4/src/internal.hpp:946:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::get_ternary_clause' can be const. [functionConst]
cadical-rel-1.7.4/src/gates.cpp:451:16: note: Technically the member function 'CaDiCaL::Internal::get_ternary_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:946:8: note: Technically the member function 'CaDiCaL::Internal::get_ternary_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:947:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::match_ternary_clause' can be const. [functionConst]
cadical-rel-1.7.4/src/gates.cpp:475:16: note: Technically the member function 'CaDiCaL::Internal::match_ternary_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:947:8: note: Technically the member function 'CaDiCaL::Internal::match_ternary_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:950:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::get_clause' can be const. [functionConst]
cadical-rel-1.7.4/src/gates.cpp:580:16: note: Technically the member function 'CaDiCaL::Internal::get_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:950:8: note: Technically the member function 'CaDiCaL::Internal::get_clause' can be const.
cadical-rel-1.7.4/src/internal.hpp:959:8: performance:inconclusive: Technically the member function 'CaDiCaL::Internal::unmark_gate_clauses' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/gates.cpp:749:16: note: Technically the member function 'CaDiCaL::Internal::unmark_gate_clauses' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:959:8: note: Technically the member function 'CaDiCaL::Internal::unmark_gate_clauses' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/gates.cpp:106:66: style:inconclusive: Function 'mark_binary_literals' argument 2 names different: declaration 'pivot' definition 'first'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:942:48: note: Function 'mark_binary_literals' argument 2 names different: declaration 'pivot' definition 'first'.
cadical-rel-1.7.4/src/gates.cpp:106:66: note: Function 'mark_binary_literals' argument 2 names different: declaration 'pivot' definition 'first'.
cadical-rel-1.7.4/src/gates.cpp:350:9: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/gates.cpp:350:9: note: Shadow variable
cadical-rel-1.7.4/src/gates.cpp:642:15: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/gates.cpp:642:15: note: Shadow variable
cadical-rel-1.7.4/src/gates.cpp:59:61: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/gates.cpp:451:44: style: Parameter 'd' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/gates.cpp:475:46: style: Parameter 'd' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/gates.cpp:580:36: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/gates.cpp:594:35: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/gates.cpp:95:0: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/gates.cpp:495:0: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/gates.cpp:623:0: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/gates.cpp:670:25: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/instantiate.cpp:24:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:24:14: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:36:14: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:36:14: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:108:26: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:108:26: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:179:23: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:179:23: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:252:26: style: Local variable 'other' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/instantiate.cpp:241:15: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:252:26: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:253:18: style: Local variable 'f' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/instantiate.cpp:248:14: note: Shadowed declaration
cadical-rel-1.7.4/src/instantiate.cpp:253:18: note: Shadow variable
cadical-rel-1.7.4/src/instantiate.cpp:28:13: style: Variable 'os' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/internal.cpp:613:3: error: There is an unknown macro here somewhere. Configuration is required. If NON_QUIET_PROFILE_CODE is a macro then please configure it. [unknownMacro]
cadical-rel-1.7.4/src/instantiate.cpp:138:13: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/ipasir.cpp:11:22: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:15:18: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:19:21: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:23:27: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:27:25: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:31:28: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:36:28: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/ipasir.cpp:41:24: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lookahead.cpp:75:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lookahead.cpp:122:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lookahead.cpp:182:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lookahead.cpp:291:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lookahead.cpp:86:3: style: Struct 'probe_negated_noccs_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/lookahead.cpp:432:5: warning: Either the condition 'internal' is redundant or there is possible null pointer dereference: internal. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/lookahead.cpp:427:5: note: Assuming that condition 'internal' is not redundant
cadical-rel-1.7.4/src/lookahead.cpp:432:5: note: Null pointer dereference
cadical-rel-1.7.4/src/lookahead.cpp:430:18: style: Variable 'cubes.status' is reassigned a value before the old one has been used. [redundantAssignment]
cadical-rel-1.7.4/src/lookahead.cpp:429:18: note: cubes.status is assigned
cadical-rel-1.7.4/src/lookahead.cpp:430:18: note: cubes.status is overwritten
cadical-rel-1.7.4/src/lookahead.cpp:386:7: style: The scope of the variable 'failed' can be reduced. [variableScope]
cadical-rel-1.7.4/src/lookahead.cpp:64:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:64:14: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:175:11: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:175:11: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:188:11: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:188:11: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:225:11: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:225:11: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:341:7: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:341:7: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:386:7: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:386:7: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:468:11: style: Local variable 'res' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lookahead.cpp:419:7: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:468:11: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:509:21: style: Local variable 'cubes' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lookahead.cpp:441:33: note: Shadowed declaration
cadical-rel-1.7.4/src/lookahead.cpp:509:21: note: Shadow variable
cadical-rel-1.7.4/src/lookahead.cpp:498:28: performance: Function parameter 'cube' should be passed by const reference. [passedByValue]
cadical-rel-1.7.4/src/lookahead.cpp:22:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/lookahead.cpp:49:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/lookahead.cpp:31:14: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lookahead.cpp:38:0: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratbuilder.cpp:124:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:194:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:790:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:909:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:928:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:84:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:105:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:139:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:402:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:422:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:450:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:502:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:533:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratchecker.cpp:550:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:203:14: warning: Member variable 'LratBuilder::conflict' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:203:14: warning: Member variable 'LratBuilder::unjustified' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.cpp:203:14: warning: Member variable 'LratBuilder::inconsistent_clause' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/lratbuilder.hpp:148:8: performance:inconclusive: Technically the member function 'CaDiCaL::LratBuilder::proof_tautological_clause' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/lratbuilder.cpp:585:19: note: Technically the member function 'CaDiCaL::LratBuilder::proof_tautological_clause' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/lratbuilder.hpp:148:8: note: Technically the member function 'CaDiCaL::LratBuilder::proof_tautological_clause' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/lratbuilder.cpp:56:28: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratbuilder.cpp:111:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratbuilder.cpp:224:16: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratbuilder.cpp:268:13: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratbuilder.cpp:925:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratbuilder.cpp:923:17: note: Shadowed declaration
cadical-rel-1.7.4/src/lratbuilder.cpp:925:21: note: Shadow variable
cadical-rel-1.7.4/src/lratbuilder.cpp:931:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratbuilder.cpp:929:17: note: Shadowed declaration
cadical-rel-1.7.4/src/lratbuilder.cpp:931:21: note: Shadow variable
cadical-rel-1.7.4/src/lratbuilder.cpp:172:25: style: Variable 'w' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/lratbuilder.cpp:478:25: style: Variable 'w' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/lratbuilder.cpp:136:56: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/lratbuilder.cpp:143:56: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/lratbuilder.cpp:835:26: style: Variable 'reason' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/lratbuilder.cpp:600:13: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratbuilder.cpp:616:24: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratchecker.cpp:36:28: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratchecker.cpp:71:11: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/lratbuilder.cpp:648:7: style: Variable 'b' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/lratbuilder.cpp:650:7: style: Variable 'b' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/lratchecker.cpp:451:26: style: Local variable 'lit' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratchecker.cpp:447:11: note: Shadowed declaration
cadical-rel-1.7.4/src/lratchecker.cpp:451:26: note: Shadow variable
cadical-rel-1.7.4/src/lratchecker.cpp:503:26: style: Local variable 'lit' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratchecker.cpp:499:11: note: Shadowed declaration
cadical-rel-1.7.4/src/lratchecker.cpp:503:26: note: Shadow variable
cadical-rel-1.7.4/src/lratchecker.cpp:547:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratchecker.cpp:545:17: note: Shadowed declaration
cadical-rel-1.7.4/src/lratchecker.cpp:547:21: note: Shadow variable
cadical-rel-1.7.4/src/lratchecker.cpp:553:21: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/lratchecker.cpp:551:17: note: Shadowed declaration
cadical-rel-1.7.4/src/lratchecker.cpp:553:21: note: Shadow variable
cadical-rel-1.7.4/src/lratchecker.cpp:229:54: performance: Function parameter 'proof_chain' should be passed by const reference. [passedByValue]
cadical-rel-1.7.4/src/lratchecker.cpp:292:43: performance: Function parameter 'proof_chain' should be passed by const reference. [passedByValue]
cadical-rel-1.7.4/src/lratchecker.cpp:250:11: style: Variable 'id' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/lratchecker.cpp:311:14: style: Variable 'id' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/lratchecker.cpp:493:39: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/lratchecker.cpp:46:7: style: Consider using std::fill algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratchecker.cpp:241:7: style: Consider using std::fill algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratchecker.cpp:261:3: style: Consider using std::all_of or std::none_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratchecker.cpp:298:7: style: Consider using std::fill algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/lratchecker.cpp:299:3: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/message.cpp:9:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:19:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:37:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:51:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:69:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:85:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:111:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:123:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:137:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:155:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:165:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:173:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:187:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:197:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/message.cpp:206:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/lucky.cpp:141:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/lucky.cpp:161:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/lucky.cpp:183:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/lucky.cpp:203:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/lucky.cpp:270:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/lucky.cpp:331:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
cadical-rel-1.7.4/src/internal.hpp:1354:8: performance:inconclusive: Technically the member function 'CaDiCaL::Internal::error_message_end' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/message.cpp:164:16: note: Technically the member function 'CaDiCaL::Internal::error_message_end' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:1354:8: note: Technically the member function 'CaDiCaL::Internal::error_message_end' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:1357:8: performance:inconclusive: Technically the member function 'CaDiCaL::Internal::error_message_start' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/message.cpp:154:16: note: Technically the member function 'CaDiCaL::Internal::error_message_start' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:1357:8: note: Technically the member function 'CaDiCaL::Internal::error_message_start' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:1361:8: performance:inconclusive: Technically the member function 'CaDiCaL::Internal::warning' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/message.cpp:136:16: note: Technically the member function 'CaDiCaL::Internal::warning' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/internal.hpp:1361:8: note: Technically the member function 'CaDiCaL::Internal::warning' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/lucky.cpp:41:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lucky.cpp:41:10: note: Shadow variable
cadical-rel-1.7.4/src/lucky.cpp:88:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lucky.cpp:88:10: note: Shadow variable
cadical-rel-1.7.4/src/lucky.cpp:228:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lucky.cpp:228:10: note: Shadow variable
cadical-rel-1.7.4/src/lucky.cpp:287:10: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/lucky.cpp:287:10: note: Shadow variable
cadical-rel-1.7.4/src/message.cpp:171:50: style: Parameter 'ap' can be declared as reference to const [constParameterReference]
cadical-rel-1.7.4/src/lucky.cpp:34:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/lucky.cpp:81:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/lucky.cpp:220:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/lucky.cpp:279:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/minimize.cpp:60:3: style: Struct 'minimize_trail_positive_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/minimize.cpp:70:3: style: Struct 'minimize_trail_smaller' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/minimize.cpp:93:26: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/mobical.cpp:601:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:604:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:703:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:718:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:879:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:887:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:895:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:903:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:911:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:919:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:927:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:935:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:943:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:951:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:962:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:970:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:978:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:997:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1011:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1026:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1057:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1065:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1073:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1081:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1089:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1097:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1112:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1127:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1143:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1152:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1167:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1175:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1186:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1194:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1202:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1210:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:1452:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2167:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2171:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2181:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2261:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2291:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2447:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:2487:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3037:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3043:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3054:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable right [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3068:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3098:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3591:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3618:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PROT_READ [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3632:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:3669:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/options.cpp:64:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/options.cpp:157:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable old_val [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/mobical.cpp:191:3: warning: Member variable 'DoNot::fork' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/mobical.cpp:191:3: warning: Member variable 'DoNot::enforce' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/mobical.cpp:253:3: warning: Member variable 'MockPropagator::must_add_idx' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/options.cpp:155:35: style:inconclusive: Function 'set' argument 2 names different: declaration 'val' definition 'new_val'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/options.hpp:258:27: note: Function 'set' argument 2 names different: declaration 'val' definition 'new_val'.
cadical-rel-1.7.4/src/options.cpp:155:35: note: Function 'set' argument 2 names different: declaration 'val' definition 'new_val'.
cadical-rel-1.7.4/src/options.cpp:157:8: style: Local variable 'val' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/options.hpp:302:15: note: Shadowed declaration
cadical-rel-1.7.4/src/options.cpp:157:8: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:319:7: performance:inconclusive: Technically the member function 'CaDiCaL::MockPropagator::remove_new_observed_var' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/mobical.cpp:589:8: performance:inconclusive: Technically the member function 'CaDiCaL::Mobical::is_unsigned_str' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/mobical.cpp:3560:15: note: Technically the member function 'CaDiCaL::Mobical::is_unsigned_str' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/mobical.cpp:589:8: note: Technically the member function 'CaDiCaL::Mobical::is_unsigned_str' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/mobical.cpp:1309:7: style:inconclusive: Technically the member function 'CaDiCaL::Trace::vars' can be const. [functionConst]
cadical-rel-1.7.4/src/mobical.cpp:1320:11: style:inconclusive: Technically the member function 'CaDiCaL::Trace::clauses' can be const. [functionConst]
cadical-rel-1.7.4/src/mobical.cpp:1330:11: style:inconclusive: Technically the member function 'CaDiCaL::Trace::literals' can be const. [functionConst]
cadical-rel-1.7.4/src/mobical.cpp:1340:11: style:inconclusive: Technically the member function 'CaDiCaL::Trace::phases' can be const. [functionConst]
cadical-rel-1.7.4/src/mobical.cpp:1355:10: style:inconclusive: Technically the member function 'CaDiCaL::Trace::size' can be const. [functionConst]
cadical-rel-1.7.4/src/mobical.cpp:1368:11: performance:inconclusive: Technically the member function 'CaDiCaL::Trace::option_high_value' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/mobical.cpp:1555:16: note: Technically the member function 'CaDiCaL::Trace::option_high_value' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/mobical.cpp:1368:11: note: Technically the member function 'CaDiCaL::Trace::option_high_value' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/mobical.cpp:253:3: style: Class 'MockPropagator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:917:3: style: Struct 'ReserveCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:933:3: style: Struct 'ConfigureCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:949:3: style: Struct 'OptimizeCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:968:3: style: Struct 'AddCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:976:3: style: Struct 'ConstrainCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1003:3: style: Struct 'ObserveCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1017:3: style: Struct 'LemmaCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1063:3: style: Struct 'AssumeCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1071:3: style: Struct 'SolveCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1079:3: style: Struct 'SimplifyCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1087:3: style: Struct 'LookaheadCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1095:3: style: Struct 'CubingCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1103:3: style: Struct 'ValCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1118:3: style: Struct 'FlipCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1133:3: style: Struct 'FlippableCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1150:3: style: Struct 'FixedCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1158:3: style: Struct 'FailedCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1173:3: style: Struct 'FreezeCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1181:3: style: Struct 'MeltCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1192:3: style: Struct 'FrozenCall' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:1247:3: style: Class 'Trace' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/mobical.cpp:259:4: style: The destructor '~MockPropagator' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1022:12: note: Virtual destructor in base class
cadical-rel-1.7.4/src/mobical.cpp:259:4: note: Destructor in derived class
cadical-rel-1.7.4/src/mobical.cpp:325:8: style: The function 'cb_check_found_model' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1037:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:325:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:366:8: style: The function 'cb_has_external_clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1080:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:366:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:387:7: style: The function 'cb_add_external_clause_lit' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1084:15: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:387:7: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:401:7: style: The function 'cb_decide' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1042:15: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:401:7: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:424:7: style: The function 'cb_propagate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1049:15: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:424:7: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:499:7: style: The function 'cb_add_reason_clause_lit' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1056:15: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:499:7: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:511:8: style: The function 'notify_assignment' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1029:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:511:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:519:8: style: The function 'notify_new_decision_level' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1030:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:519:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:523:8: style: The function 'notify_backtrack' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1031:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:523:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:650:4: style: The destructor '~Mobical' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/signal.hpp:11:12: note: Virtual destructor in base class
cadical-rel-1.7.4/src/mobical.cpp:650:4: note: Destructor in derived class
cadical-rel-1.7.4/src/mobical.cpp:652:8: style: The function 'catch_signal' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/signal.hpp:12:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:652:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:878:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:878:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:879:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:879:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:880:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:880:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:881:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:881:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:886:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:886:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:887:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:887:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:888:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:888:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:889:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:889:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:894:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:894:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:895:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:895:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:896:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:896:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:897:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:897:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:902:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:902:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:903:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:903:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:904:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:904:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:905:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:905:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:910:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:910:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:911:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:911:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:912:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:912:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:913:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:913:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:918:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:918:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:919:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:919:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:920:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:920:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:921:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:921:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:926:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:926:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:927:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:927:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:928:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:928:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:929:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:929:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:934:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:934:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:935:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:935:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:936:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:936:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:937:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:937:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:942:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:942:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:943:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:943:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:944:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:944:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:945:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:945:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:950:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:950:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:951:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:951:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:952:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:952:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:953:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:953:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:958:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:958:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:962:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:962:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:963:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:963:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:964:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:964:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:969:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:969:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:970:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:970:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:971:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:971:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:972:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:972:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:977:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:977:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:978:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:978:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:979:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:979:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:980:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:980:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:985:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:985:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:997:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:997:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:998:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:998:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:999:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:999:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1004:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1004:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1011:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1011:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1012:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1012:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1013:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1013:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1018:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1018:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1026:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1026:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1027:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1027:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1028:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1028:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1047:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1047:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1057:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1057:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1058:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1058:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1059:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1059:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1064:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1064:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1065:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1065:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1066:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1066:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1067:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1067:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1072:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1072:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1073:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1073:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1074:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1074:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1075:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1075:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1080:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1080:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1081:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1081:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1082:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1082:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1083:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1083:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1088:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1088:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1089:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1089:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1090:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1090:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1091:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1091:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1096:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1096:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1097:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1097:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1098:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1098:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1099:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1099:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1104:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1104:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1112:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1112:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1113:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1113:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1114:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1114:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1119:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1119:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1127:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1127:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1128:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1128:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1129:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1129:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1134:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1134:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1142:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1142:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1145:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1145:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1146:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1146:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1151:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1151:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1152:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1152:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1153:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1153:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1154:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1154:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1159:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1159:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1167:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1167:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1168:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1168:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1169:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1169:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1174:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1174:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1175:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1175:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1176:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1176:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1177:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1177:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1182:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1182:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1186:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1186:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1187:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1187:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1188:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1188:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1193:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1193:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1194:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1194:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1195:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1195:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1196:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1196:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1201:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1201:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1202:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1202:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1203:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1203:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1204:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1204:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1209:8: style: The function 'execute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:839:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1209:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1210:8: style: The function 'print' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:840:16: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1210:8: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1211:9: style: The function 'copy' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:842:17: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1211:9: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:1212:15: style: The function 'keyword' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/mobical.cpp:841:23: note: Virtual function in base class
cadical-rel-1.7.4/src/mobical.cpp:1212:15: note: Function in derived class
cadical-rel-1.7.4/src/mobical.cpp:3483:37: style: Comparing expression of type 'signed int' against value 3153855480. Condition is always false. [compareValueOutOfTypeRangeError]
cadical-rel-1.7.4/src/mobical.cpp:3497:26: style: Comparing expression of type 'signed int' against value 3153855480. Condition is always true. [compareValueOutOfTypeRangeError]
cadical-rel-1.7.4/src/mobical.cpp:3506:63: style: Comparing expression of type 'signed int' against value 3153855480. Condition is always false. [compareValueOutOfTypeRangeError]
cadical-rel-1.7.4/src/mobical.cpp:3508:36: style: Comparing expression of type 'signed int' against value 3153855480. Condition is always false. [compareValueOutOfTypeRangeError]
cadical-rel-1.7.4/src/mobical.cpp:1050:5: warning: Either the condition 'mp' is redundant or there is possible null pointer dereference: mp. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/mobical.cpp:1052:9: note: Assuming that condition 'mp' is not redundant
cadical-rel-1.7.4/src/mobical.cpp:1050:5: note: Null pointer dereference
cadical-rel-1.7.4/src/mobical.cpp:3620:12: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/src/mobical.cpp:3334:43: style: Same expression 'val!=-1' found multiple times in chain of '&&' operators. [duplicateExpression]
cadical-rel-1.7.4/src/mobical.cpp:3379:43: style: Same expression 'val!=-1' found multiple times in chain of '&&' operators. [duplicateExpression]
cadical-rel-1.7.4/src/mobical.cpp:2085:7: style: The scope of the variable 'minvars' can be reduced. [variableScope]
cadical-rel-1.7.4/src/mobical.cpp:1697:51: style:inconclusive: Function 'generate_reserve' argument 2 names different: declaration 'vars' definition 'max_var'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/mobical.cpp:1412:40: note: Function 'generate_reserve' argument 2 names different: declaration 'vars' definition 'max_var'.
cadical-rel-1.7.4/src/mobical.cpp:1697:51: note: Function 'generate_reserve' argument 2 names different: declaration 'vars' definition 'max_var'.
cadical-rel-1.7.4/src/mobical.cpp:2047:32: style:inconclusive: Function 'generate' argument 1 names different: declaration 'id' definition 'i'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/mobical.cpp:1358:27: note: Function 'generate' argument 1 names different: declaration 'id' definition 'i'.
cadical-rel-1.7.4/src/mobical.cpp:2047:32: note: Function 'generate' argument 1 names different: declaration 'id' definition 'i'.
cadical-rel-1.7.4/src/mobical.cpp:2047:44: style:inconclusive: Function 'generate' argument 2 names different: declaration 'seed' definition 's'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/mobical.cpp:1358:40: note: Function 'generate' argument 2 names different: declaration 'seed' definition 's'.
cadical-rel-1.7.4/src/mobical.cpp:2047:44: note: Function 'generate' argument 2 names different: declaration 'seed' definition 's'.
cadical-rel-1.7.4/src/mobical.cpp:1608:15: style: Local variable 'size' shadows outer argument [shadowArgument]
cadical-rel-1.7.4/src/mobical.cpp:1572:52: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1608:15: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:1757:10: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1757:10: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:1767:7: style: Local variable 'size' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/mobical.cpp:1355:10: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1767:7: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:1781:7: style: Local variable 'size' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/mobical.cpp:1355:10: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1781:7: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:1844:20: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/mobical.cpp:1834:16: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1844:20: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:1846:20: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/mobical.cpp:1834:16: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:1846:20: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:2056:8: style: Local variable 'size' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/mobical.cpp:1355:10: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:2056:8: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:2079:7: style: Local variable 'calls' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/mobical.cpp:1223:18: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:2079:7: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:2127:9: style: Local variable 'clauses' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/mobical.cpp:1320:11: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:2127:9: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:2848:13: style: Local variable 'old_val' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/mobical.cpp:2835:11: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:2848:13: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:3619:13: style: Local variable 'flags' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/version.hpp:9:13: note: Shadowed declaration
cadical-rel-1.7.4/src/mobical.cpp:3619:13: note: Shadow variable
cadical-rel-1.7.4/src/mobical.cpp:433:15: performance: Range variable 'level_lits' should be declared as const reference. [iterateByValue]
cadical-rel-1.7.4/src/mobical.cpp:1744:39: style: Parameter 'clause' can be declared as reference to const [constParameterReference]
cadical-rel-1.7.4/src/mobical.cpp:2387:18: style: Variable 's' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/mobical.cpp:2419:16: style: Variable 's' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/mobical.cpp:1312:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:1323:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:1333:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:1344:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:1480:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:1985:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:2563:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:2606:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:2627:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:2636:29: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/mobical.cpp:2808:17: style: Variable 'o' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/mobical.cpp:2889:37: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/mobical.cpp:2985:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/options.cpp:91:33: error: Uninitialized variable: key [uninitvar]
cadical-rel-1.7.4/src/mobical.cpp:811:21: portability: Shifting signed 32-bit value by 31 bits is implementation-defined behaviour [shiftTooManyBitsSigned]
cadical-rel-1.7.4/src/parse.cpp:32:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/parse.cpp:45:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/parse.cpp:60:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/parse.cpp:112:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/parse.cpp:356:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/parse.cpp:122:9: style: Condition '*o' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/src/parse.cpp:202:16: style: Condition 'strict!=FORCED' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/src/parse.cpp:147:16: note: Assuming that condition 'strict==STRICT' is not redundant
cadical-rel-1.7.4/src/parse.cpp:202:16: note: Condition 'strict!=FORCED' is always true
cadical-rel-1.7.4/src/parse.cpp:204:5: warning: Either the condition 'internal' is redundant or there is possible null pointer dereference: internal. [nullPointerRedundantCheck]
cadical-rel-1.7.4/src/parse.cpp:199:5: note: Assuming that condition 'internal' is not redundant
cadical-rel-1.7.4/src/parse.cpp:204:5: note: Null pointer dereference
cadical-rel-1.7.4/src/parse.cpp:57:7: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/parse.cpp:57:7: note: Shadow variable
cadical-rel-1.7.4/src/parse.cpp:337:12: style: Local variable 'end' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/parse.cpp:270:10: note: Shadowed declaration
cadical-rel-1.7.4/src/parse.cpp:337:12: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:791:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/probe.cpp:865:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unsat [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:1009:7: style:inconclusive: Technically the member function 'CaDiCaL::Internal::get_parent_reason_literal' can be const. [functionConst]
cadical-rel-1.7.4/src/probe.cpp:30:22: note: Technically the member function 'CaDiCaL::Internal::get_parent_reason_literal' can be const.
cadical-rel-1.7.4/src/internal.hpp:1009:7: note: Technically the member function 'CaDiCaL::Internal::get_parent_reason_literal' can be const.
cadical-rel-1.7.4/src/probe.cpp:616:3: style: Struct 'probe_negated_noccs_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/probe.cpp:503:36: style:inconclusive: Function 'failed_literal' argument 1 names different: declaration 'lit' definition 'failed'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:1003:28: note: Function 'failed_literal' argument 1 names different: declaration 'lit' definition 'failed'.
cadical-rel-1.7.4/src/probe.cpp:503:36: note: Function 'failed_literal' argument 1 names different: declaration 'lit' definition 'failed'.
cadical-rel-1.7.4/src/probe.cpp:224:14: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:224:14: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:248:10: style: Local variable 'contained' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:43:13: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:248:10: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:431:32: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:431:32: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:558:15: style: Local variable 'parent' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/probe.cpp:537:7: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:558:15: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:657:9: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:657:9: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:743:11: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:743:11: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:794:11: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:794:11: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:815:7: style: Local variable 'probe' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1026:8: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:815:7: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:841:7: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/probe.cpp:841:7: note: Shadow variable
cadical-rel-1.7.4/src/probe.cpp:360:14: style: Variable 'reason_lit' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/probe.cpp:388:14: style: Variable 'ws' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/probe.cpp:586:42: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/profile.cpp:17:42: style:inconclusive: Function 'start_profiling' argument 1 names different: declaration 'p' definition 'profile'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:1179:34: note: Function 'start_profiling' argument 1 names different: declaration 'p' definition 'profile'.
cadical-rel-1.7.4/src/profile.cpp:17:42: note: Function 'start_profiling' argument 1 names different: declaration 'p' definition 'profile'.
cadical-rel-1.7.4/src/profile.cpp:24:41: style:inconclusive: Function 'stop_profiling' argument 1 names different: declaration 'p' definition 'profile'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:1180:33: note: Function 'stop_profiling' argument 1 names different: declaration 'p' definition 'profile'.
cadical-rel-1.7.4/src/profile.cpp:24:41: note: Function 'stop_profiling' argument 1 names different: declaration 'p' definition 'profile'.
cadical-rel-1.7.4/src/profile.cpp:87:10: style: Local variable 'solve' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1160:7: note: Shadowed declaration
cadical-rel-1.7.4/src/profile.cpp:87:10: note: Shadow variable
cadical-rel-1.7.4/src/proof.cpp:71:8: warning: Member variable 'Proof::clause_id' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/proof.cpp:132:55: style:inconclusive: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/proof.hpp:67:47: note: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'.
cadical-rel-1.7.4/src/proof.cpp:132:55: note: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'.
cadical-rel-1.7.4/src/proof.cpp:151:55: style:inconclusive: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/proof.hpp:72:47: note: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'.
cadical-rel-1.7.4/src/proof.cpp:151:55: note: Function 'add_derived_unit_clause' argument 2 names different: declaration 'unit' definition 'internal_unit'.
cadical-rel-1.7.4/src/proof.cpp:86:42: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/proof.cpp:110:12: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:120:12: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:146:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:158:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:188:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:201:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:338:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/proof.cpp:370:17: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/propagate.cpp:203:44: style:inconclusive: Function 'search_assume_decision' argument 1 names different: declaration 'decision' definition 'lit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:579:36: note: Function 'search_assume_decision' argument 1 names different: declaration 'decision' definition 'lit'.
cadical-rel-1.7.4/src/propagate.cpp:203:44: note: Function 'search_assume_decision' argument 1 names different: declaration 'decision' definition 'lit'.
cadical-rel-1.7.4/src/propagate.cpp:213:56: style:inconclusive: Function 'search_assign_driving' argument 2 names different: declaration 'reason' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:577:48: note: Function 'search_assign_driving' argument 2 names different: declaration 'reason' definition 'c'.
cadical-rel-1.7.4/src/propagate.cpp:213:56: note: Function 'search_assign_driving' argument 2 names different: declaration 'reason' definition 'c'.
cadical-rel-1.7.4/src/propagate.cpp:326:26: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/propagate.cpp:326:26: note: Shadow variable
cadical-rel-1.7.4/src/propagate.cpp:530:24: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/propagate.cpp:530:24: note: Shadow variable
cadical-rel-1.7.4/src/propagate.cpp:73:14: style: Variable 'reason_lit' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/propagate.cpp:97:14: style: Variable 'lit' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/propagate.cpp:38:57: style: Parameter 'reason' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/propagate.cpp:322:11: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/propagate.cpp:395:13: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/propagate.cpp:441:17: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/propagate.cpp:526:9: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/propagate.cpp:570:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/queue.cpp:82:11: style: Local variable 'bumped' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:361:12: note: Shadowed declaration
cadical-rel-1.7.4/src/queue.cpp:82:11: note: Shadow variable
cadical-rel-1.7.4/src/random.cpp:111:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/reap.cpp:92:21: style: Condition 's.empty()' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/src/reduce.cpp:221:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:703:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::flushing' can be const. [functionConst]
cadical-rel-1.7.4/src/reduce.cpp:26:16: note: Technically the member function 'CaDiCaL::Internal::flushing' can be const.
cadical-rel-1.7.4/src/internal.hpp:703:8: note: Technically the member function 'CaDiCaL::Internal::flushing' can be const.
cadical-rel-1.7.4/src/internal.hpp:704:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::reducing' can be const. [functionConst]
cadical-rel-1.7.4/src/reduce.cpp:14:16: note: Technically the member function 'CaDiCaL::Internal::reducing' can be const.
cadical-rel-1.7.4/src/internal.hpp:704:8: note: Technically the member function 'CaDiCaL::Internal::reducing' can be const.
cadical-rel-1.7.4/src/reduce.cpp:45:9: style: The if condition is the same as the previous if condition [duplicateCondition]
cadical-rel-1.7.4/src/reduce.cpp:43:9: note: First condition
cadical-rel-1.7.4/src/reduce.cpp:45:9: note: Second condition
cadical-rel-1.7.4/src/reduce.cpp:147:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/rephase.cpp:107:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:665:8: style:inconclusive: Technically the member function 'CaDiCaL::Internal::rephasing' can be const. [functionConst]
cadical-rel-1.7.4/src/rephase.cpp:21:16: note: Technically the member function 'CaDiCaL::Internal::rephasing' can be const.
cadical-rel-1.7.4/src/internal.hpp:665:8: note: Technically the member function 'CaDiCaL::Internal::rephasing' can be const.
cadical-rel-1.7.4/src/rephase.cpp:85:15: style: The scope of the variable 'val' can be reduced. [variableScope]
cadical-rel-1.7.4/src/rephase.cpp:35:15: style: Local variable 'val' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1192:15: note: Shadowed declaration
cadical-rel-1.7.4/src/rephase.cpp:35:15: note: Shadow variable
cadical-rel-1.7.4/src/rephase.cpp:47:15: style: Local variable 'val' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1192:15: note: Shadowed declaration
cadical-rel-1.7.4/src/rephase.cpp:47:15: note: Shadow variable
cadical-rel-1.7.4/src/rephase.cpp:85:15: style: Local variable 'val' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1192:15: note: Shadowed declaration
cadical-rel-1.7.4/src/rephase.cpp:85:15: note: Shadow variable
cadical-rel-1.7.4/src/report.cpp:183:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/report.cpp:85:9: warning: Member variable 'Report::pos' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/report.cpp:72:3: warning:inconclusive: Member variable 'Report::header' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/report.cpp:72:3: warning:inconclusive: Member variable 'Report::buffer' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/report.cpp:72:3: warning:inconclusive: Member variable 'Report::pos' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/report.cpp:158:39: style:inconclusive: Function 'report' argument 2 names different: declaration 'verbose_level' definition 'verbose'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:1294:31: note: Function 'report' argument 2 names different: declaration 'verbose_level' definition 'verbose'.
cadical-rel-1.7.4/src/report.cpp:158:39: note: Function 'report' argument 2 names different: declaration 'verbose_level' definition 'verbose'.
cadical-rel-1.7.4/src/resources.cpp:81:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/resources.cpp:124:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/resources.cpp:138:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/internal.hpp:1287:10: style:inconclusive: Technically the member function 'CaDiCaL::Internal::process_time' can be const. [functionConst]
cadical-rel-1.7.4/src/resources.cpp:94:18: note: Technically the member function 'CaDiCaL::Internal::process_time' can be const.
cadical-rel-1.7.4/src/internal.hpp:1287:10: note: Technically the member function 'CaDiCaL::Internal::process_time' can be const.
cadical-rel-1.7.4/src/internal.hpp:1288:10: style:inconclusive: Technically the member function 'CaDiCaL::Internal::real_time' can be const. [functionConst]
cadical-rel-1.7.4/src/resources.cpp:90:18: note: Technically the member function 'CaDiCaL::Internal::real_time' can be const.
cadical-rel-1.7.4/src/internal.hpp:1288:10: note: Technically the member function 'CaDiCaL::Internal::real_time' can be const.
cadical-rel-1.7.4/src/restart.cpp:32:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/restart.cpp:100:13: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/restart.cpp:100:13: note: Shadow variable
cadical-rel-1.7.4/src/restore.cpp:195:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/restore.cpp:106:9: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/restore.cpp:220:9: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/signal.cpp:66:3: error: syntax error: 6_handler = [syntaxError]
cadical-rel-1.7.4/src/solution.cpp:19:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solution.cpp:33:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/shrink.cpp:316:3: style: Struct 'shrink_trail_negative_rank' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/shrink.cpp:329:3: style: Struct 'shrink_trail_larger' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/shrink.cpp:268:8: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/shrink.cpp:268:8: note: Shadow variable
cadical-rel-1.7.4/src/shrink.cpp:364:17: style: Local variable 'lit' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/shrink.cpp:354:15: note: Shadowed declaration
cadical-rel-1.7.4/src/shrink.cpp:364:17: note: Shadow variable
cadical-rel-1.7.4/src/shrink.cpp:365:17: style: Local variable 'idx' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/shrink.cpp:355:15: note: Shadowed declaration
cadical-rel-1.7.4/src/shrink.cpp:365:17: note: Shadow variable
cadical-rel-1.7.4/src/shrink.cpp:30:12: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/shrink.cpp:319:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/shrink.cpp:420:23: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/shrink.cpp:444:28: style: Consider using std::copy algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/solution.cpp:26:59: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/solution.cpp:16:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/solution.cpp:29:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/stats.cpp:62:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/stats.cpp:560:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/stats.cpp:10:3: portability: Using memset() on struct which contains a floating point number. [memsetClassFloat]
cadical-rel-1.7.4/src/solver.cpp:353:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:396:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:404:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:416:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:445:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:451:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:473:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:492:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:499:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:511:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:523:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:536:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:553:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:568:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:577:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:585:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:597:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:605:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:650:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:658:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:671:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:685:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:698:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:711:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:723:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:734:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:743:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:751:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:761:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:768:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:782:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:797:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:811:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:828:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:853:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:872:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:880:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:888:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:897:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:905:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:913:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:923:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:931:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:941:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:952:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:967:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:982:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:991:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1002:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1070:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1082:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1091:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1100:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1112:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1125:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1142:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1156:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1171:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1190:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1203:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1212:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1221:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1232:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1241:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1250:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1294:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1365:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1419:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1437:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1447:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1458:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1467:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/solver.cpp:1482:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/cadical.hpp:228:8: style:inconclusive: Technically the member function 'CaDiCaL::Solver::inconsistent' can be const. [functionConst]
cadical-rel-1.7.4/src/solver.cpp:549:14: note: Technically the member function 'CaDiCaL::Solver::inconsistent' can be const.
cadical-rel-1.7.4/src/cadical.hpp:228:8: note: Technically the member function 'CaDiCaL::Solver::inconsistent' can be const.
cadical-rel-1.7.4/src/cadical.hpp:478:7: style:inconclusive: Technically the member function 'CaDiCaL::Solver::vars' can be const. [functionConst]
cadical-rel-1.7.4/src/solver.cpp:394:13: note: Technically the member function 'CaDiCaL::Solver::vars' can be const.
cadical-rel-1.7.4/src/cadical.hpp:478:7: note: Technically the member function 'CaDiCaL::Solver::vars' can be const.
cadical-rel-1.7.4/src/cadical.hpp:603:8: performance:inconclusive: Technically the member function 'CaDiCaL::Solver::is_valid_limit' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/src/solver.cpp:505:14: note: Technically the member function 'CaDiCaL::Solver::is_valid_limit' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/cadical.hpp:603:8: note: Technically the member function 'CaDiCaL::Solver::is_valid_limit' can be static (but you may consider moving to unnamed namespace).
cadical-rel-1.7.4/src/solver.cpp:340:3: warning: Class 'Solver' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor]
cadical-rel-1.7.4/src/solver.cpp:340:3: warning: Class 'Solver' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq]
cadical-rel-1.7.4/src/solver.cpp:1280:3: style: Class 'ClauseWriter' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/solver.cpp:1339:3: style: Struct 'WitnessWriter' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/solver.cpp:1398:3: style: Struct 'ClauseCopier' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/solver.cpp:1411:3: style: Struct 'WitnessCopier' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/solver.cpp:1264:8: style: The function 'clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1099:16: note: Virtual function in base class
cadical-rel-1.7.4/src/solver.cpp:1264:8: note: Function in derived class
cadical-rel-1.7.4/src/solver.cpp:1281:8: style: The function 'clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1099:16: note: Virtual function in base class
cadical-rel-1.7.4/src/solver.cpp:1281:8: note: Function in derived class
cadical-rel-1.7.4/src/solver.cpp:1349:8: style: The function 'witness' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1122:16: note: Virtual function in base class
cadical-rel-1.7.4/src/solver.cpp:1349:8: note: Function in derived class
cadical-rel-1.7.4/src/solver.cpp:1399:8: style: The function 'clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1099:16: note: Virtual function in base class
cadical-rel-1.7.4/src/solver.cpp:1399:8: note: Function in derived class
cadical-rel-1.7.4/src/solver.cpp:1412:8: style: The function 'witness' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1122:16: note: Virtual function in base class
cadical-rel-1.7.4/src/solver.cpp:1412:8: note: Function in derived class
cadical-rel-1.7.4/src/solver.cpp:542:7: style: Condition 'adding_clause' is always false [knownConditionTrueFalse]
cadical-rel-1.7.4/src/solver.cpp:537:7: note: Assuming that condition 'lit' is not redundant
cadical-rel-1.7.4/src/solver.cpp:541:19: note: Assignment 'adding_clause=lit', assigned value is 0
cadical-rel-1.7.4/src/solver.cpp:542:7: note: Condition 'adding_clause' is always false
cadical-rel-1.7.4/src/solver.cpp:559:7: style: Condition 'adding_constraint' is always false [knownConditionTrueFalse]
cadical-rel-1.7.4/src/solver.cpp:554:7: note: Assuming that condition 'lit' is not redundant
cadical-rel-1.7.4/src/solver.cpp:558:23: note: Assignment 'adding_constraint=lit', assigned value is 0
cadical-rel-1.7.4/src/solver.cpp:559:7: note: Condition 'adding_constraint' is always false
cadical-rel-1.7.4/src/solver.cpp:444:30: style:inconclusive: Function 'get' argument 1 names different: declaration 'name' definition 'arg'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:532:24: note: Function 'get' argument 1 names different: declaration 'name' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:444:30: note: Function 'get' argument 1 names different: declaration 'name' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:449:31: style:inconclusive: Function 'set' argument 1 names different: declaration 'name' definition 'arg'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:548:25: note: Function 'set' argument 1 names different: declaration 'name' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:449:31: note: Function 'set' argument 1 names different: declaration 'name' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:490:28: style:inconclusive: Function 'optimize' argument 1 names different: declaration 'val' definition 'arg'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:583:22: note: Function 'optimize' argument 1 names different: declaration 'val' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:490:28: note: Function 'optimize' argument 1 names different: declaration 'val' definition 'arg'.
cadical-rel-1.7.4/src/solver.cpp:509:34: style:inconclusive: Function 'prefix' argument 1 names different: declaration 'verbose_message_prefix' definition 'str'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:536:28: note: Function 'prefix' argument 1 names different: declaration 'verbose_message_prefix' definition 'str'.
cadical-rel-1.7.4/src/solver.cpp:509:34: note: Function 'prefix' argument 1 names different: declaration 'verbose_message_prefix' definition 'str'.
cadical-rel-1.7.4/src/solver.cpp:870:36: style:inconclusive: Function 'add_observed_var' argument 1 names different: declaration 'var' definition 'idx'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:356:30: note: Function 'add_observed_var' argument 1 names different: declaration 'var' definition 'idx'.
cadical-rel-1.7.4/src/solver.cpp:870:36: note: Function 'add_observed_var' argument 1 names different: declaration 'var' definition 'idx'.
cadical-rel-1.7.4/src/solver.cpp:878:39: style:inconclusive: Function 'remove_observed_var' argument 1 names different: declaration 'var' definition 'idx'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:365:33: note: Function 'remove_observed_var' argument 1 names different: declaration 'var' definition 'idx'.
cadical-rel-1.7.4/src/solver.cpp:878:39: note: Function 'remove_observed_var' argument 1 names different: declaration 'var' definition 'idx'.
cadical-rel-1.7.4/src/solver.cpp:950:33: style:inconclusive: Function 'trace_proof' argument 1 names different: declaration 'file' definition 'external_file'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:703:27: note: Function 'trace_proof' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:950:33: note: Function 'trace_proof' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:1109:40: style:inconclusive: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:767:34: note: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:1109:40: note: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:1138:40: style:inconclusive: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/cadical.hpp:778:34: note: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:1138:40: note: Function 'read_dimacs' argument 1 names different: declaration 'file' definition 'external_file'.
cadical-rel-1.7.4/src/solver.cpp:480:9: style: Local variable 'val' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/cadical.hpp:260:7: note: Shadowed declaration
cadical-rel-1.7.4/src/solver.cpp:480:9: note: Shadow variable
cadical-rel-1.7.4/src/stats.cpp:35:7: style: Local variable 'all' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/stats.hpp:245:5: note: Shadowed declaration
cadical-rel-1.7.4/src/stats.cpp:35:7: note: Shadow variable
cadical-rel-1.7.4/src/stats.cpp:46:11: style: Local variable 'propagations' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/stats.hpp:27:5: note: Shadowed declaration
cadical-rel-1.7.4/src/stats.cpp:46:11: note: Shadow variable
cadical-rel-1.7.4/src/stats.cpp:33:10: style: Variable 'stats' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/subsume.cpp:391:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/subsume.cpp:680:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/terminal.cpp:5:27: style:inconclusive: Function 'Terminal' argument 1 names different: declaration 'file' definition 'f'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/terminal.hpp:39:19: note: Function 'Terminal' argument 1 names different: declaration 'file' definition 'f'.
cadical-rel-1.7.4/src/terminal.cpp:5:27: note: Function 'Terminal' argument 1 names different: declaration 'file' definition 'f'.
cadical-rel-1.7.4/src/subsume.cpp:329:3: warning:inconclusive: Member variable 'ClauseSize::size' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/subsume.cpp:329:3: warning:inconclusive: Member variable 'ClauseSize::clause' is not initialized in the constructor. [uninitMemberVar]
cadical-rel-1.7.4/src/subsume.cpp:334:8: style:inconclusive: Technically the member function 'CaDiCaL::smaller_clause_size_rank::operator()' can be const. [functionConst]
cadical-rel-1.7.4/src/subsume.cpp:341:3: style: Struct 'subsume_less_noccs' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/subsume.cpp:113:8: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/subsume.cpp:113:8: note: Shadow variable
cadical-rel-1.7.4/src/subsume.cpp:228:14: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/subsume.cpp:228:14: note: Shadow variable
cadical-rel-1.7.4/src/subsume.cpp:423:10: style: Local variable 'fixed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1203:7: note: Shadowed declaration
cadical-rel-1.7.4/src/subsume.cpp:423:10: note: Shadow variable
cadical-rel-1.7.4/src/subsume.cpp:424:9: style: Local variable 'subsume' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:756:8: note: Shadowed declaration
cadical-rel-1.7.4/src/subsume.cpp:424:9: note: Shadow variable
cadical-rel-1.7.4/src/subsume.cpp:528:10: style: Local variable 'subsume' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:756:8: note: Shadowed declaration
cadical-rel-1.7.4/src/subsume.cpp:528:10: note: Shadow variable
cadical-rel-1.7.4/src/subsume.cpp:96:64: style: Parameter 'subsumed' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/subsume.cpp:114:14: style: Variable 'eoc' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/ternary.cpp:304:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/ternary.cpp:396:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/tracer.cpp:404:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/ternary.cpp:260:40: style:inconclusive: Function 'ternary_round' argument 1 names different: declaration 'steps' definition 'steps_limit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:997:32: note: Function 'ternary_round' argument 1 names different: declaration 'steps' definition 'steps_limit'.
cadical-rel-1.7.4/src/ternary.cpp:260:40: note: Function 'ternary_round' argument 1 names different: declaration 'steps' definition 'steps_limit'.
cadical-rel-1.7.4/src/ternary.cpp:260:62: style:inconclusive: Function 'ternary_round' argument 2 names different: declaration 'htrs' definition 'htrs_limit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:997:48: note: Function 'ternary_round' argument 2 names different: declaration 'htrs' definition 'htrs_limit'.
cadical-rel-1.7.4/src/ternary.cpp:260:62: note: Function 'ternary_round' argument 2 names different: declaration 'htrs' definition 'htrs_limit'.
cadical-rel-1.7.4/src/ternary.cpp:37:16: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/ternary.cpp:37:16: note: Shadow variable
cadical-rel-1.7.4/src/ternary.cpp:67:16: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/ternary.cpp:67:16: note: Shadow variable
cadical-rel-1.7.4/src/ternary.cpp:276:28: style: Local variable 'marked' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:384:15: note: Shadowed declaration
cadical-rel-1.7.4/src/ternary.cpp:276:28: note: Shadow variable
cadical-rel-1.7.4/src/ternary.cpp:34:20: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/ternary.cpp:66:20: style: Variable 'd' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/ternary.cpp:109:47: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/ternary.cpp:109:69: style: Parameter 'd' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/ternary.cpp:119:13: style: Consider using std::copy_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/ternary.cpp:167:22: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/ternary.cpp:183:24: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/tracer.cpp:7:36: style:inconclusive: Function 'Tracer' argument 2 names different: declaration 'file' definition 'f'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/tracer.hpp:51:29: note: Function 'Tracer' argument 2 names different: declaration 'file' definition 'f'.
cadical-rel-1.7.4/src/tracer.cpp:7:36: note: Function 'Tracer' argument 2 names different: declaration 'file' definition 'f'.
cadical-rel-1.7.4/src/tracer.cpp:7:44: style:inconclusive: Function 'Tracer' argument 3 names different: declaration 'binary' definition 'b'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/tracer.hpp:51:40: note: Function 'Tracer' argument 3 names different: declaration 'binary' definition 'b'.
cadical-rel-1.7.4/src/tracer.cpp:7:44: note: Function 'Tracer' argument 3 names different: declaration 'binary' definition 'b'.
cadical-rel-1.7.4/src/tracer.cpp:30:41: style:inconclusive: Function 'put_binary_lit' argument 1 names different: declaration 'external_lit' definition 'lit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/tracer.hpp:23:28: note: Function 'put_binary_lit' argument 1 names different: declaration 'external_lit' definition 'lit'.
cadical-rel-1.7.4/src/tracer.cpp:30:41: note: Function 'put_binary_lit' argument 1 names different: declaration 'external_lit' definition 'lit'.
cadical-rel-1.7.4/src/tracer.cpp:77:16: style: Variable 'did' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/transred.cpp:37:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/util.cpp:25:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable int64_t [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/util.cpp:79:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/util.cpp:7:33: style:inconclusive: Function 'parse_int_str' argument 1 names different: declaration 'str' definition 'val_str'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/util.hpp:37:33: note: Function 'parse_int_str' argument 1 names different: declaration 'str' definition 'val_str'.
cadical-rel-1.7.4/src/util.cpp:7:33: note: Function 'parse_int_str' argument 1 names different: declaration 'str' definition 'val_str'.
cadical-rel-1.7.4/src/util.cpp:14:9: style: Local variable 'sign' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/util.hpp:16:12: note: Shadowed declaration
cadical-rel-1.7.4/src/util.cpp:14:9: note: Shadow variable
cadical-rel-1.7.4/src/transred.cpp:29:11: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/transred.cpp:29:11: note: Shadow variable
cadical-rel-1.7.4/src/transred.cpp:127:16: style: Local variable 'irredundant' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:320:11: note: Shadowed declaration
cadical-rel-1.7.4/src/transred.cpp:127:16: note: Shadow variable
cadical-rel-1.7.4/src/transred.cpp:135:10: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/transred.cpp:135:10: note: Shadow variable
cadical-rel-1.7.4/src/transred.cpp:141:17: style: Local variable 'parents' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:195:15: note: Shadowed declaration
cadical-rel-1.7.4/src/transred.cpp:141:17: note: Shadow variable
cadical-rel-1.7.4/src/transred.cpp:46:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/transred.cpp:153:65: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/version.cpp:89:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSION [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/version.cpp:91:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSION [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/var.cpp:13:11: style: Local variable 'fixed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1203:7: note: Shadowed declaration
cadical-rel-1.7.4/src/var.cpp:13:11: note: Shadow variable
cadical-rel-1.7.4/src/var.cpp:15:12: style: Variable 'f' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/vivify.cpp:364:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/vivify.cpp:1060:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/vivify.cpp:1274:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/walk.cpp:397:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/walk.cpp:435:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/src/vivify.cpp:198:3: style: Struct 'vivify_more_noccs' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/vivify.cpp:259:3: style: Struct 'vivify_clause_later' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/vivify.cpp:524:3: style: Struct 'vivify_better_watch' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/src/vivify.cpp:382:51: style:inconclusive: Function 'consider_to_vivify_clause' argument 1 names different: declaration 'candidate' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:772:43: note: Function 'consider_to_vivify_clause' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:382:51: note: Function 'consider_to_vivify_clause' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:437:46: style:inconclusive: Function 'vivify_all_decisions' argument 1 names different: declaration 'candidate' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:775:38: note: Function 'vivify_all_decisions' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:437:46: note: Function 'vivify_all_decisions' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:467:54: style:inconclusive: Function 'vivify_post_process_analysis' argument 1 names different: declaration 'candidate' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:776:46: note: Function 'vivify_post_process_analysis' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:467:54: note: Function 'vivify_post_process_analysis' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:542:43: style:inconclusive: Function 'vivify_strengthen' argument 1 names different: declaration 'candidate' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:777:35: note: Function 'vivify_strengthen' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:542:43: note: Function 'vivify_strengthen' argument 1 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:606:59: style:inconclusive: Function 'vivify_clause' argument 2 names different: declaration 'candidate' definition 'c'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:781:43: note: Function 'vivify_clause' argument 2 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:606:59: note: Function 'vivify_clause' argument 2 names different: declaration 'candidate' definition 'c'.
cadical-rel-1.7.4/src/vivify.cpp:1053:38: style:inconclusive: Function 'vivify_round' argument 2 names different: declaration 'delta' definition 'propagation_limit'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/internal.hpp:782:51: note: Function 'vivify_round' argument 2 names different: declaration 'delta' definition 'propagation_limit'.
cadical-rel-1.7.4/src/vivify.cpp:1053:38: note: Function 'vivify_round' argument 2 names different: declaration 'delta' definition 'propagation_limit'.
cadical-rel-1.7.4/src/vivify.cpp:128:26: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:128:26: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:625:7: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:625:7: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:736:7: style: Local variable 'subsume' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:756:8: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:736:7: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:1153:17: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:1153:17: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:1090:19: style: Local variable 'score' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:363:11: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:1090:19: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:1266:11: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/vivify.cpp:1266:11: note: Shadow variable
cadical-rel-1.7.4/src/vivify.cpp:94:16: style: Variable 'ws' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/vivify.cpp:446:10: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/vivify.cpp:488:14: style: Variable 'v' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/vivify.cpp:292:16: style: Variable 'eoa' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/vivify.cpp:292:33: style: Variable 'eob' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/vivify.cpp:318:16: style: Variable 'eoa' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/vivify.cpp:318:33: style: Variable 'eob' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/vivify.cpp:345:16: style: Variable 'eop' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/vivify.cpp:437:46: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/src/vivify.cpp:1177:22: style: Variable 'c' can be declared as pointer to const [constVariableReference]
cadical-rel-1.7.4/src/vivify.cpp:1179:9: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
cadical-rel-1.7.4/src/walk.cpp:21:10: style:inconclusive: Technically the member function 'CaDiCaL::Walker::score' can be const. [functionConst]
cadical-rel-1.7.4/src/walk.cpp:88:23: note: Technically the member function 'CaDiCaL::Walker::score' can be const.
cadical-rel-1.7.4/src/walk.cpp:21:10: note: Technically the member function 'CaDiCaL::Walker::score' can be const.
cadical-rel-1.7.4/src/vivify.cpp:123:11: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/vivify.cpp:158:13: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/src/walk.cpp:63:51: style:inconclusive: Function 'Walker' argument 3 names different: declaration 'limit' definition 'l'. [funcArgNamesDifferent]
cadical-rel-1.7.4/src/walk.cpp:23:44: note: Function 'Walker' argument 3 names different: declaration 'limit' definition 'l'.
cadical-rel-1.7.4/src/walk.cpp:63:51: note: Function 'Walker' argument 3 names different: declaration 'limit' definition 'l'.
cadical-rel-1.7.4/src/walk.cpp:211:16: style: Local variable 'lim' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:234:9: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:211:16: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:201:12: style: Local variable 'score' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:363:11: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:201:12: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:290:16: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/walk.cpp:275:38: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:290:16: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:313:18: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/walk.cpp:275:38: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:313:18: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:359:27: style: Local variable 'tmp' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/walk.cpp:248:13: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:359:27: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:464:8: style: Local variable 'failed' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1060:8: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:464:8: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:538:11: style: Local variable 'satisfied' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1102:8: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:538:11: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:540:12: style: Local variable 'lits' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/internal.hpp:265:15: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:540:12: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:541:17: style: Local variable 'size' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/src/walk.cpp:440:10: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:541:17: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:688:11: style: Local variable 'limit' shadows outer function [shadowFunction]
cadical-rel-1.7.4/src/internal.hpp:1122:8: note: Shadowed declaration
cadical-rel-1.7.4/src/walk.cpp:688:11: note: Shadow variable
cadical-rel-1.7.4/src/walk.cpp:393:50: style: Parameter 'walker' can be declared as reference to const [constParameterReference]
cadical-rel-1.7.4/src/walk.cpp:139:16: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/walk.cpp:213:14: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/src/walk.cpp:214:8: style: Variable 'i' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/api/cfreeze.c:22:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_WRONLY [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/cipasir.c:83:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/cipasir.c:81:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
cadical-rel-1.7.4/test/api/cipasir.c:79:11: style: Variable 'res' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/src/watch.cpp:84:14: style: Variable 'ws' can be declared as reference to const [constVariableReference]
cadical-rel-1.7.4/src/watch.cpp:92:27: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
cadical-rel-1.7.4/test/api/learn.cpp:31:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/learn.cpp:57:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/learn.cpp:19:3: style: Class 'Wrapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
cadical-rel-1.7.4/test/api/learn.cpp:22:4: style: The destructor '~Wrapper' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1005:12: note: Virtual destructor in base class
cadical-rel-1.7.4/test/api/learn.cpp:22:4: note: Destructor in derived class
cadical-rel-1.7.4/test/api/learn.cpp:23:8: style: The function 'learning' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1006:16: note: Virtual function in base class
cadical-rel-1.7.4/test/api/learn.cpp:23:8: note: Function in derived class
cadical-rel-1.7.4/test/api/learn.cpp:27:8: style: The function 'learn' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1007:16: note: Virtual function in base class
cadical-rel-1.7.4/test/api/learn.cpp:27:8: note: Function in derived class
cadical-rel-1.7.4/test/api/learn.cpp:31:34: style: C-style pointer casting [cstyleCast]
cadical-rel-1.7.4/test/api/learn.cpp:33:17: style: Local variable 'lit' shadows outer argument [shadowArgument]
cadical-rel-1.7.4/test/api/learn.cpp:27:19: note: Shadowed declaration
cadical-rel-1.7.4/test/api/learn.cpp:33:17: note: Shadow variable
cadical-rel-1.7.4/test/api/traverse.cpp:54:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/traverse.cpp:80:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/traverse.cpp:151:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/api/terminate.cpp:41:3: style: Obsolescent function 'ualarm' called. It is recommended to use 'timer_create', 'timer_delete', 'timer_getoverrun', 'timer_gettime' or 'timer_settime' instead. [prohibitedualarmCalled]
cadical-rel-1.7.4/test/api/traverse.cpp:24:8: performance:inconclusive: Technically the member function 'WitnessChecker::match' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/test/api/traverse.cpp:35:8: performance:inconclusive: Technically the member function 'WitnessChecker::match' can be static (but you may consider moving to unnamed namespace). [functionStatic]
cadical-rel-1.7.4/test/api/traverse.cpp:52:8: style: The function 'witness' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1122:16: note: Virtual function in base class
cadical-rel-1.7.4/test/api/traverse.cpp:52:8: note: Function in derived class
cadical-rel-1.7.4/test/api/traverse.cpp:78:8: style: The function 'clause' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
cadical-rel-1.7.4/src/cadical.hpp:1099:16: note: Virtual function in base class
cadical-rel-1.7.4/test/api/traverse.cpp:78:8: note: Function in derived class
cadical-rel-1.7.4/test/api/unit.cpp:13:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1428:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1543:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1625:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1643:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2093:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/precochk.c:15:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/precochk.c:26:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/precochk.c:45:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
cadical-rel-1.7.4/test/cnf/precochk.c:227:11: error: Common realloc mistake: 'stack' nulled but not freed upon failure [memleakOnRealloc]
cadical-rel-1.7.4/test/cnf/precochk.c:35:54: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:176:9: style: Condition '1||S->traceFile' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/test/cnf/drat-trim.c:507:34: style: Condition 'ad&1' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/test/cnf/drat-trim.c:509:19: style: Condition 'ad&1' is always true [knownConditionTrueFalse]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1603:37: style: Condition 'coinflip' is always false [knownConditionTrueFalse]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1601:22: note: Assignment 'coinflip=0', assigned value is 0
cadical-rel-1.7.4/test/cnf/drat-trim.c:1603:37: note: Condition 'coinflip' is always false
cadical-rel-1.7.4/test/cnf/drat-trim.c:428:3: warning: %lu in format string (no. 3) requires 'unsigned long' but the argument type is 'signed long'. [invalidPrintfArgType_uint]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1274:13: portability: %li in format string (no. 1) requires 'long' but the argument type is 'ptrdiff_t {aka signed int}'. [invalidPrintfArgType_sint]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1884:11: warning: %i in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1922:9: error: Common realloc mistake: 'buffer' nulled but not freed upon failure [memleakOnRealloc]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2166:11: error: Memory leak: S.activeFile [memleak]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2166:11: error: Memory leak: S.lratFile [memleak]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2166:11: error: Memory leak: S.traceFile [memleak]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2174:11: error: Memory leak: S.inputFile [memleak]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1618:9: style: Local variable 'i' shadows outer variable [shadowVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1568:7: note: Shadowed declaration
cadical-rel-1.7.4/test/cnf/drat-trim.c:1618:9: note: Shadow variable
cadical-rel-1.7.4/test/cnf/drat-trim.c:90:38: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:113:53: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:117:56: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:127:10: style: Variable '_clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:163:54: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:167:10: style: Variable '_clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:348:30: style: Parameter 'S' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:366:10: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:377:12: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:405:8: style: Variable 'line' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:453:12: style: Variable 'lemmas' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:466:12: style: Variable 'lemmas' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:494:12: style: Variable 'lemmas' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:553:12: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:576:12: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:594:16: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:621:52: style: Parameter 'clause' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1188:16: style: Variable '_clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1469:10: style: Variable '_clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1510:34: style: Parameter 'S' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1511:24: style: Parameter 'input' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1514:10: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:2045:32: style: Parameter 'S' can be declared as pointer to const [constParameterPointer]
cadical-rel-1.7.4/test/cnf/drat-trim.c:364:10: style: Unused variable: j [unusedVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:453:19: style: Variable 'lemmas' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:491:9: style: Variable 'flag' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:753:11: style: Variable 'id' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:840:9: style: Unused variable: i [unusedVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1214:7: style: Variable 'top_flag' is assigned a value that is never used. [unreadVariable]
cadical-rel-1.7.4/test/cnf/drat-trim.c:1690:22: style: Variable 'fileSwitchFlag' is assigned a value that is never used. [unreadVariable]
diff:


DONE