2025-05-09 12:02
ftp://ftp.de.debian.org/debian/pool/main/b/bliss/bliss_0.77.orig.tar.xz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-59-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: d655a3a (2025-05-09 12:19:47 +0200)
count: 234 233
elapsed-time: 4.2 4.3
head-timing-info:

old-timing-info:

head results:
bliss-0.77/src/abstractgraph.cc:65:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
bliss-0.77/src/abstractgraph.cc:784:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable discrete_cell_limit [valueFlowBailoutIncompleteVar]
bliss-0.77/src/partition.hh:50:3: style: The class 'Cell' does not declare a constructor although it has private member variables which likely require initialization. [noConstructor]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::failure_recording_fp_deviation' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_current_path_certificate_index' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_compare_certificate' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_equal_to_first' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_first_path_subcertificate_end' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_cmp_to_best' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::refine_best_path_subcertificate_end' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::long_prune_max_stored_autss' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::long_prune_begin' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::long_prune_end' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::eqref_max_certificate_index' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::compute_eqref_hash' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::certificate_index' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::cr_level' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/abstractgraph.cc:45:16: warning: Member variable 'AbstractGraph::cr_component_elements' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/heap.hh:39:10: style:inconclusive: Technically the member function 'bliss::Heap::Anonymous0::operator()' can be const. [functionConst]
bliss-0.77/src/abstractgraph.cc:248:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const. [functionConst]
bliss-0.77/src/abstractgraph.hh:397:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
bliss-0.77/src/abstractgraph.cc:248:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
bliss-0.77/src/abstractgraph.cc:261:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const. [functionConst]
bliss-0.77/src/abstractgraph.hh:398:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
bliss-0.77/src/abstractgraph.cc:261:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
bliss-0.77/src/abstractgraph.cc:549:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const. [functionConst]
bliss-0.77/src/abstractgraph.hh:400:8: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
bliss-0.77/src/abstractgraph.cc:549:16: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
bliss-0.77/src/abstractgraph.cc:292:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const. [functionConst]
bliss-0.77/src/abstractgraph.hh:402:8: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
bliss-0.77/src/abstractgraph.cc:292:16: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
bliss-0.77/src/abstractgraph.cc:429:29: style: Condition 'nof_fitting_in_max_mem<long_prune_options_max_stored_auts' is always false [knownConditionTrueFalse]
bliss-0.77/src/abstractgraph.cc:425:48: note: Assignment 'nof_fitting_in_max_mem=(long_prune_options_max_mem*1024*1024)/(((N*2)/8)+1)', assigned value is greater than 52428799
bliss-0.77/src/abstractgraph.cc:429:29: note: Condition 'nof_fitting_in_max_mem<long_prune_options_max_stored_auts' is always false
bliss-0.77/src/abstractgraph.cc:1649:24: style: Redundant initialization for 'backjumping_level'. The initialized value is overwritten before it is read. [redundantInitialization]
bliss-0.77/src/abstractgraph.cc:1646:33: note: backjumping_level is initialized
bliss-0.77/src/abstractgraph.cc:1649:24: note: backjumping_level is overwritten
bliss-0.77/src/abstractgraph.cc:1725:7: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
bliss-0.77/src/abstractgraph.cc:248:52: style:inconclusive: Function 'update_labeling' argument 1 names different: declaration 'lab' definition 'labeling'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:397:45: note: Function 'update_labeling' argument 1 names different: declaration 'lab' definition 'labeling'.
bliss-0.77/src/abstractgraph.cc:248:52: note: Function 'update_labeling' argument 1 names different: declaration 'lab' definition 'labeling'.
bliss-0.77/src/abstractgraph.cc:261:68: style:inconclusive: Function 'update_labeling_and_its_inverse' argument 1 names different: declaration 'lab' definition 'labeling'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:398:61: note: Function 'update_labeling_and_its_inverse' argument 1 names different: declaration 'lab' definition 'labeling'.
bliss-0.77/src/abstractgraph.cc:261:68: note: Function 'update_labeling_and_its_inverse' argument 1 names different: declaration 'lab' definition 'labeling'.
bliss-0.77/src/abstractgraph.cc:262:33: style:inconclusive: Function 'update_labeling_and_its_inverse' argument 2 names different: declaration 'lab_inv' definition 'labeling_inv'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:399:33: note: Function 'update_labeling_and_its_inverse' argument 2 names different: declaration 'lab_inv' definition 'labeling_inv'.
bliss-0.77/src/abstractgraph.cc:262:33: note: Function 'update_labeling_and_its_inverse' argument 2 names different: declaration 'lab_inv' definition 'labeling_inv'.
bliss-0.77/src/abstractgraph.cc:393:54: style:inconclusive: Function 'cert_add_redundant' argument 1 names different: declaration 'x' definition 'v1'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:310:46: note: Function 'cert_add_redundant' argument 1 names different: declaration 'x' definition 'v1'.
bliss-0.77/src/abstractgraph.cc:393:54: note: Function 'cert_add_redundant' argument 1 names different: declaration 'x' definition 'v1'.
bliss-0.77/src/abstractgraph.cc:394:26: style:inconclusive: Function 'cert_add_redundant' argument 2 names different: declaration 'y' definition 'v2'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:311:25: note: Function 'cert_add_redundant' argument 2 names different: declaration 'y' definition 'v2'.
bliss-0.77/src/abstractgraph.cc:394:26: note: Function 'cert_add_redundant' argument 2 names different: declaration 'y' definition 'v2'.
bliss-0.77/src/abstractgraph.cc:395:26: style:inconclusive: Function 'cert_add_redundant' argument 3 names different: declaration 'z' definition 'v3'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:312:25: note: Function 'cert_add_redundant' argument 3 names different: declaration 'z' definition 'v3'.
bliss-0.77/src/abstractgraph.cc:395:26: note: Function 'cert_add_redundant' argument 3 names different: declaration 'z' definition 'v3'.
bliss-0.77/src/abstractgraph.cc:621:77: style:inconclusive: Function 'search' argument 3 names different: declaration 'report_function' definition 'report'. [funcArgNamesDifferent]
bliss-0.77/src/abstractgraph.hh:435:76: note: Function 'search' argument 3 names different: declaration 'report_function' definition 'report'.
bliss-0.77/src/abstractgraph.cc:621:77: note: Function 'search' argument 3 names different: declaration 'report_function' definition 'report'.
bliss-0.77/src/kqueue.hh:95:44: style:inconclusive: Function 'init' argument 1 names different: declaration 'N' definition 'k'. [funcArgNamesDifferent]
bliss-0.77/src/kqueue.hh:45:32: note: Function 'init' argument 1 names different: declaration 'N' definition 'k'.
bliss-0.77/src/kqueue.hh:95:44: note: Function 'init' argument 1 names different: declaration 'N' definition 'k'.
bliss-0.77/src/abstractgraph.cc:947:21: style: Local variable 'begin' shadows outer variable [shadowVariable]
bliss-0.77/src/abstractgraph.cc:922:17: note: Shadowed declaration
bliss-0.77/src/abstractgraph.cc:947:21: note: Shadow variable
bliss-0.77/src/bignum.hh:241:62: performance: Function parameter 'n' should be passed by const reference. [passedByValue]
bliss-0.77/src/abstractgraph.cc:1116:18: style: Variable 'first_pinfo' can be declared as reference to const [constVariableReference]
bliss-0.77/src/abstractgraph.cc:1134:18: style: Variable 'bestp_info' can be declared as reference to const [constVariableReference]
bliss-0.77/src/abstractgraph.cc:1359:14: style: Variable 'old_info' can be declared as reference to const [constVariableReference]
bliss-0.77/src/abstractgraph.cc:265:17: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/abstractgraph.cc:803:22: style: Variable 'split_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/bignum.hh:167:9: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm]
bliss-0.77/src/abstractgraph.cc:821:28: error: Uninitialized variables: root.needs_long_prune, root.subcertificate_length [uninitvar]
bliss-0.77/src/abstractgraph.cc:821:28: error: Uninitialized struct member: root.needs_long_prune [uninitStructMember]
bliss-0.77/src/abstractgraph.cc:821:28: error: Uninitialized struct member: root.subcertificate_length [uninitStructMember]
bliss-0.77/src/abstractgraph.cc:1511:27: error: Uninitialized struct member: child_node.needs_long_prune [uninitStructMember]
bliss-0.77/src/abstractgraph.cc:1511:27: error: Uninitialized struct member: child_node.subcertificate_length [uninitStructMember]
bliss-0.77/src/bliss.cc:123:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
bliss-0.77/src/bliss.cc:161:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
bliss-0.77/src/bliss.cc:215:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.hh:160:3: style: Class 'Graph' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
bliss-0.77/src/digraph.hh:167:3: style: Class 'Digraph' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
bliss-0.77/src/graph.hh:82:8: style: The function 'remove_duplicate_edges' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:418:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:82:8: note: Function in derived class
bliss-0.77/src/graph.hh:116:8: style: The function 'split_neighbourhood_of_unit_cell' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:358:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:116:8: note: Function in derived class
bliss-0.77/src/graph.hh:117:8: style: The function 'split_neighbourhood_of_cell' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:359:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:117:8: note: Function in derived class
bliss-0.77/src/graph.hh:122:8: style: The function 'is_equitable' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:385:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:122:8: note: Function in derived class
bliss-0.77/src/graph.hh:126:20: style: The function 'find_next_cell_to_be_splitted' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:420:28: note: Virtual function in base class
bliss-0.77/src/graph.hh:126:20: note: Function in derived class
bliss-0.77/src/graph.hh:141:8: style: The function 'make_initial_equitable_partition' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:419:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:141:8: note: Function in derived class
bliss-0.77/src/graph.hh:143:8: style: The function 'initialize_certificate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:409:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:143:8: note: Function in derived class
bliss-0.77/src/graph.hh:147:8: style: The function 'nucr_find_first_component' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:481:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:147:8: note: Function in derived class
bliss-0.77/src/graph.hh:148:8: style: The function 'nucr_find_first_component' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:482:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:148:8: note: Function in derived class
bliss-0.77/src/graph.hh:165:4: style: The destructor '~Graph' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:53:12: note: Virtual destructor in base class
bliss-0.77/src/graph.hh:165:4: note: Destructor in derived class
bliss-0.77/src/graph.hh:188:8: style: The function 'write_dimacs' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:216:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:188:8: note: Function in derived class
bliss-0.77/src/graph.hh:193:8: style: The function 'write_dot' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:222:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:193:8: note: Function in derived class
bliss-0.77/src/graph.hh:198:8: style: The function 'write_dot' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:229:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:198:8: note: Function in derived class
bliss-0.77/src/graph.hh:205:24: style: The function 'get_hash' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:235:24: note: Virtual function in base class
bliss-0.77/src/graph.hh:205:24: note: Function in derived class
bliss-0.77/src/graph.hh:210:16: style: The function 'get_nof_vertices' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:120:24: note: Virtual function in base class
bliss-0.77/src/graph.hh:210:16: note: Function in derived class
bliss-0.77/src/graph.hh:215:10: style: The function 'permute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:128:26: note: Virtual function in base class
bliss-0.77/src/graph.hh:215:10: note: Function in derived class
bliss-0.77/src/graph.hh:219:10: style: The function 'permute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:136:26: note: Virtual function in base class
bliss-0.77/src/graph.hh:219:10: note: Function in derived class
bliss-0.77/src/graph.hh:224:8: style: The function 'is_automorphism' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:142:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:224:8: note: Function in derived class
bliss-0.77/src/graph.hh:229:8: style: The function 'is_automorphism' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:148:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:229:8: note: Function in derived class
bliss-0.77/src/graph.hh:234:16: style: The function 'add_vertex' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:70:24: note: Virtual function in base class
bliss-0.77/src/graph.hh:234:16: note: Function in derived class
bliss-0.77/src/graph.hh:242:8: style: The function 'add_edge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:78:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:242:8: note: Function in derived class
bliss-0.77/src/graph.hh:247:16: style: The function 'get_color' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:83:24: note: Virtual function in base class
bliss-0.77/src/graph.hh:247:16: note: Function in derived class
bliss-0.77/src/graph.hh:252:8: style: The function 'change_color' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:88:16: note: Virtual function in base class
bliss-0.77/src/graph.hh:252:8: note: Function in derived class
bliss-0.77/src/digraph.hh:83:8: style: The function 'remove_duplicate_edges' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:418:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:83:8: note: Function in derived class
bliss-0.77/src/digraph.hh:126:8: style: The function 'split_neighbourhood_of_unit_cell' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:358:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:126:8: note: Function in derived class
bliss-0.77/src/digraph.hh:127:8: style: The function 'split_neighbourhood_of_cell' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:359:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:127:8: note: Function in derived class
bliss-0.77/src/digraph.hh:133:8: style: The function 'is_equitable' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:385:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:133:8: note: Function in derived class
bliss-0.77/src/digraph.hh:137:20: style: The function 'find_next_cell_to_be_splitted' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:420:28: note: Virtual function in base class
bliss-0.77/src/digraph.hh:137:20: note: Function in derived class
bliss-0.77/src/digraph.hh:151:8: style: The function 'make_initial_equitable_partition' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:419:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:151:8: note: Function in derived class
bliss-0.77/src/digraph.hh:153:8: style: The function 'initialize_certificate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:409:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:153:8: note: Function in derived class
bliss-0.77/src/digraph.hh:157:8: style: The function 'nucr_find_first_component' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:481:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:157:8: note: Function in derived class
bliss-0.77/src/digraph.hh:158:8: style: The function 'nucr_find_first_component' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:482:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:158:8: note: Function in derived class
bliss-0.77/src/digraph.hh:172:4: style: The destructor '~Digraph' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:53:12: note: Virtual destructor in base class
bliss-0.77/src/digraph.hh:172:4: note: Destructor in derived class
bliss-0.77/src/digraph.hh:192:8: style: The function 'write_dimacs' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:216:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:192:8: note: Function in derived class
bliss-0.77/src/digraph.hh:198:8: style: The function 'write_dot' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:222:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:198:8: note: Function in derived class
bliss-0.77/src/digraph.hh:203:8: style: The function 'write_dot' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:229:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:203:8: note: Function in derived class
bliss-0.77/src/digraph.hh:210:24: style: The function 'get_hash' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:235:24: note: Virtual function in base class
bliss-0.77/src/digraph.hh:210:24: note: Function in derived class
bliss-0.77/src/digraph.hh:215:16: style: The function 'get_nof_vertices' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:120:24: note: Virtual function in base class
bliss-0.77/src/digraph.hh:215:16: note: Function in derived class
bliss-0.77/src/digraph.hh:220:16: style: The function 'add_vertex' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:70:24: note: Virtual function in base class
bliss-0.77/src/digraph.hh:220:16: note: Function in derived class
bliss-0.77/src/digraph.hh:228:8: style: The function 'add_edge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:78:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:228:8: note: Function in derived class
bliss-0.77/src/digraph.hh:233:16: style: The function 'get_color' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:83:24: note: Virtual function in base class
bliss-0.77/src/digraph.hh:233:16: note: Function in derived class
bliss-0.77/src/digraph.hh:238:8: style: The function 'change_color' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:88:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:238:8: note: Function in derived class
bliss-0.77/src/digraph.hh:267:12: style: The function 'permute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:128:26: note: Virtual function in base class
bliss-0.77/src/digraph.hh:267:12: note: Function in derived class
bliss-0.77/src/digraph.hh:272:12: style: The function 'permute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:136:26: note: Virtual function in base class
bliss-0.77/src/digraph.hh:272:12: note: Function in derived class
bliss-0.77/src/digraph.hh:277:8: style: The function 'is_automorphism' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:142:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:277:8: note: Function in derived class
bliss-0.77/src/digraph.hh:282:8: style: The function 'is_automorphism' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
bliss-0.77/src/abstractgraph.hh:148:16: note: Virtual function in base class
bliss-0.77/src/digraph.hh:282:8: note: Function in derived class
bliss-0.77/src/bliss.cc:252:6: style: C-style pointer casting [cstyleCast]
bliss-0.77/src/bliss.cc:254:6: style: C-style pointer casting [cstyleCast]
bliss-0.77/src/bliss_C.cc:36:42: style:inconclusive: Function 'bliss_new' argument 1 names different: declaration 'N' definition 'n'. [funcArgNamesDifferent]
bliss-0.77/src/bliss_C.h:73:42: note: Function 'bliss_new' argument 1 names different: declaration 'N' definition 'n'.
bliss-0.77/src/bliss_C.cc:36:42: note: Function 'bliss_new' argument 1 names different: declaration 'N' definition 'n'.
bliss-0.77/src/bliss_C.cc:91:63: style:inconclusive: Function 'bliss_add_vertex' argument 2 names different: declaration 'c' definition 'l'. [funcArgNamesDifferent]
bliss-0.77/src/bliss_C.h:122:63: note: Function 'bliss_add_vertex' argument 2 names different: declaration 'c' definition 'l'.
bliss-0.77/src/bliss_C.cc:91:63: note: Function 'bliss_add_vertex' argument 2 names different: declaration 'c' definition 'l'.
bliss-0.77/src/digraph.cc:138:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:147:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:186:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:368:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:405:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:615:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/digraph.cc:452:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
bliss-0.77/src/digraph.cc:452:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
bliss-0.77/src/digraph.cc:1373:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
bliss-0.77/src/digraph.cc:2091:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
bliss-0.77/src/digraph.cc:444:19: style: Checking if unsigned expression 'nof_vertices' is less than zero. [unsignedLessThanZero]
bliss-0.77/src/digraph.cc:57:49: style:inconclusive: Function 'add_edge_to' argument 1 names different: declaration 'dest_vertex' definition 'other_vertex'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:72:41: note: Function 'add_edge_to' argument 1 names different: declaration 'dest_vertex' definition 'other_vertex'.
bliss-0.77/src/digraph.cc:57:49: note: Function 'add_edge_to' argument 1 names different: declaration 'dest_vertex' definition 'other_vertex'.
bliss-0.77/src/digraph.cc:64:51: style:inconclusive: Function 'add_edge_from' argument 1 names different: declaration 'source_vertex' definition 'other_vertex'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:73:43: note: Function 'add_edge_from' argument 1 names different: declaration 'source_vertex' definition 'other_vertex'.
bliss-0.77/src/digraph.cc:64:51: note: Function 'add_edge_from' argument 1 names different: declaration 'source_vertex' definition 'other_vertex'.
bliss-0.77/src/digraph.cc:102:37: style:inconclusive: Function 'Digraph' argument 1 names different: declaration 'N' definition 'nof_vertices'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:167:30: note: Function 'Digraph' argument 1 names different: declaration 'N' definition 'nof_vertices'.
bliss-0.77/src/digraph.cc:102:37: note: Function 'Digraph' argument 1 names different: declaration 'N' definition 'nof_vertices'.
bliss-0.77/src/digraph.cc:126:38: style:inconclusive: Function 'add_edge' argument 1 names different: declaration 'source' definition 'vertex1'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:228:36: note: Function 'add_edge' argument 1 names different: declaration 'source' definition 'vertex1'.
bliss-0.77/src/digraph.cc:126:38: note: Function 'add_edge' argument 1 names different: declaration 'source' definition 'vertex1'.
bliss-0.77/src/digraph.cc:126:66: style:inconclusive: Function 'add_edge' argument 2 names different: declaration 'target' definition 'vertex2'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:228:63: note: Function 'add_edge' argument 2 names different: declaration 'target' definition 'vertex2'.
bliss-0.77/src/digraph.cc:126:66: note: Function 'add_edge' argument 2 names different: declaration 'target' definition 'vertex2'.
bliss-0.77/src/digraph.cc:143:69: style:inconclusive: Function 'change_color' argument 2 names different: declaration 'color' definition 'new_color'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:238:67: note: Function 'change_color' argument 2 names different: declaration 'color' definition 'new_color'.
bliss-0.77/src/digraph.cc:143:69: note: Function 'change_color' argument 2 names different: declaration 'color' definition 'new_color'.
bliss-0.77/src/digraph.cc:292:38: style:inconclusive: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:203:37: note: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'.
bliss-0.77/src/digraph.cc:292:38: note: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'.
bliss-0.77/src/digraph.cc:613:76: style:inconclusive: Function 'vertex_color_invariant' argument 2 names different: declaration 'v' definition 'vnum'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:91:30: note: Function 'vertex_color_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:613:76: note: Function 'vertex_color_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:619:72: style:inconclusive: Function 'indegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:99:26: note: Function 'indegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:619:72: note: Function 'indegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:625:73: style:inconclusive: Function 'outdegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:107:27: note: Function 'outdegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:625:73: note: Function 'outdegree_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:631:72: style:inconclusive: Function 'selfloop_invariant' argument 2 names different: declaration 'v' definition 'vnum'. [funcArgNamesDifferent]
bliss-0.77/src/digraph.hh:114:26: note: Function 'selfloop_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:631:72: note: Function 'selfloop_invariant' argument 2 names different: declaration 'v' definition 'vnum'.
bliss-0.77/src/digraph.cc:877:27: style: Local variable 'cell' shadows outer argument [shadowArgument]
bliss-0.77/src/digraph.cc:697:61: note: Shadowed declaration
bliss-0.77/src/digraph.cc:877:27: note: Shadow variable
bliss-0.77/src/digraph.cc:1925:16: style: Local variable 'sh_first' shadows outer function [shadowFunction]
bliss-0.77/src/digraph.hh:138:20: note: Shadowed declaration
bliss-0.77/src/digraph.cc:1925:16: note: Shadow variable
bliss-0.77/src/digraph.cc:374:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/digraph.cc:576:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/digraph.cc:589:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/digraph.cc:678:30: style: Variable 'last_new_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:748:30: style: Variable 'last_new_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:820:30: style: Variable 'last_new_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:968:18: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:969:24: style: Variable 'lp' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:1099:18: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:1100:24: style: Variable 'lp' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:1227:21: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:1276:21: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:1813:30: style: Variable 'cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/digraph.cc:567:17: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm]
bliss-0.77/src/digraph.cc:639:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
bliss-0.77/src/digraph.cc:160:2: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:220:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:221:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:231:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:232:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:251:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:271:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:313:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:319:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:336:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:377:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:592:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:637:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1234:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1246:8: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1283:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1295:8: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1712:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1717:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1725:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1730:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1757:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1762:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1770:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/digraph.cc:1775:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:128:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:136:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:149:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable edges [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:174:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:336:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable edges [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:387:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:551:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:608:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable color [valueFlowBailoutIncompleteVar]
bliss-0.77/src/graph.cc:223:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
bliss-0.77/src/graph.cc:223:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
bliss-0.77/src/graph.cc:1118:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
bliss-0.77/src/graph.cc:1678:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
bliss-0.77/src/graph.cc:215:19: style: Checking if unsigned expression 'nof_vertices' is less than zero. [unsignedLessThanZero]
bliss-0.77/src/graph.cc:91:33: style:inconclusive: Function 'Graph' argument 1 names different: declaration 'N' definition 'nof_vertices'. [funcArgNamesDifferent]
bliss-0.77/src/graph.hh:160:28: note: Function 'Graph' argument 1 names different: declaration 'N' definition 'nof_vertices'.
bliss-0.77/src/graph.cc:91:33: note: Function 'Graph' argument 1 names different: declaration 'N' definition 'nof_vertices'.
bliss-0.77/src/graph.cc:115:36: style:inconclusive: Function 'add_edge' argument 1 names different: declaration 'v1' definition 'vertex1'. [funcArgNamesDifferent]
bliss-0.77/src/graph.hh:242:36: note: Function 'add_edge' argument 1 names different: declaration 'v1' definition 'vertex1'.
bliss-0.77/src/graph.cc:115:36: note: Function 'add_edge' argument 1 names different: declaration 'v1' definition 'vertex1'.
bliss-0.77/src/graph.cc:115:64: style:inconclusive: Function 'add_edge' argument 2 names different: declaration 'v2' definition 'vertex2'. [funcArgNamesDifferent]
bliss-0.77/src/graph.hh:242:59: note: Function 'add_edge' argument 2 names different: declaration 'v2' definition 'vertex2'.
bliss-0.77/src/graph.cc:115:64: note: Function 'add_edge' argument 2 names different: declaration 'v2' definition 'vertex2'.
bliss-0.77/src/graph.cc:487:36: style:inconclusive: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'. [funcArgNamesDifferent]
bliss-0.77/src/graph.hh:198:36: note: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'.
bliss-0.77/src/graph.cc:487:36: note: Function 'write_dot' argument 1 names different: declaration 'file_name' definition 'filename'.
bliss-0.77/src/graph.cc:807:27: style: Local variable 'cell' shadows outer argument [shadowArgument]
bliss-0.77/src/graph.cc:699:59: note: Shadowed declaration
bliss-0.77/src/graph.cc:807:27: note: Shadow variable
bliss-0.77/src/graph.cc:1553:16: style: Local variable 'sh_first' shadows outer function [shadowFunction]
bliss-0.77/src/graph.hh:127:20: note: Shadowed declaration
bliss-0.77/src/graph.cc:1553:16: note: Shadow variable
bliss-0.77/src/graph.cc:347:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/graph.cc:509:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/graph.cc:557:15: style: Variable 'v' can be declared as reference to const [constVariableReference]
bliss-0.77/src/graph.cc:673:30: style: Variable 'last_new_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:750:30: style: Variable 'last_new_cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:888:18: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:889:25: style: Variable 'lp' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:1020:21: style: Variable 'ep' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:1488:30: style: Variable 'cell' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/graph.cc:338:4: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
bliss-0.77/src/graph.cc:633:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
bliss-0.77/src/graph.cc:417:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:418:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:439:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:465:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:507:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:513:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:560:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:631:7: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1028:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1040:8: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1403:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1410:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1439:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/graph.cc:1446:4: performance: Prefer prefix ++/-- operators for non-primitive types. [postfixOperator]
bliss-0.77/src/orbit.cc:26:8: warning: Member variable 'Orbit::_nof_orbits' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/orbit.cc:59:37: style:inconclusive: Function 'init' argument 1 names different: declaration 'N' definition 'n'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:69:32: note: Function 'init' argument 1 names different: declaration 'N' definition 'n'.
bliss-0.77/src/orbit.cc:59:37: note: Function 'init' argument 1 names different: declaration 'N' definition 'n'.
bliss-0.77/src/orbit.cc:88:38: style:inconclusive: Function 'merge_orbits' argument 1 names different: declaration 'o1' definition 'orbit1'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:50:33: note: Function 'merge_orbits' argument 1 names different: declaration 'o1' definition 'orbit1'.
bliss-0.77/src/orbit.cc:88:38: note: Function 'merge_orbits' argument 1 names different: declaration 'o1' definition 'orbit1'.
bliss-0.77/src/orbit.cc:88:58: style:inconclusive: Function 'merge_orbits' argument 2 names different: declaration 'o2' definition 'orbit2'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:50:49: note: Function 'merge_orbits' argument 2 names different: declaration 'o2' definition 'orbit2'.
bliss-0.77/src/orbit.cc:88:58: note: Function 'merge_orbits' argument 2 names different: declaration 'o2' definition 'orbit2'.
bliss-0.77/src/orbit.cc:130:52: style:inconclusive: Function 'is_minimal_representative' argument 1 names different: declaration 'e' definition 'element'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:88:47: note: Function 'is_minimal_representative' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:130:52: note: Function 'is_minimal_representative' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:136:61: style:inconclusive: Function 'get_minimal_representative' argument 1 names different: declaration 'e' definition 'element'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:94:56: note: Function 'get_minimal_representative' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:136:61: note: Function 'get_minimal_representative' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:145:45: style:inconclusive: Function 'orbit_size' argument 1 names different: declaration 'e' definition 'element'. [funcArgNamesDifferent]
bliss-0.77/src/orbit.hh:100:40: note: Function 'orbit_size' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:145:45: note: Function 'orbit_size' argument 1 names different: declaration 'e' definition 'element'.
bliss-0.77/src/orbit.cc:139:22: style: Variable 'orbit' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/partition.cc:1108:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable created_trail_index [valueFlowBailoutIncompleteVar]
bliss-0.77/src/partition.cc:28:12: warning: Member variable 'Partition::first_cell' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/partition.cc:28:12: warning: Member variable 'Partition::first_nonsingleton_cell' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/partition.cc:28:12: warning: Member variable 'Partition::cr_max_level' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/partition.cc:28:12: warning: Member variable 'Partition::dcs_start' is not initialized in the constructor. [uninitMemberVar]
bliss-0.77/src/partition.cc:648:12: style:inconclusive: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const. [functionConst]
bliss-0.77/src/partition.hh:275:8: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.
bliss-0.77/src/partition.cc:648:12: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.
bliss-0.77/src/partition.cc:64:41: style:inconclusive: Function 'init' argument 1 names different: declaration 'N' definition 'M'. [funcArgNamesDifferent]
bliss-0.77/src/partition.hh:172:32: note: Function 'init' argument 1 names different: declaration 'N' definition 'M'.
bliss-0.77/src/partition.cc:64:41: note: Function 'init' argument 1 names different: declaration 'N' definition 'M'.
bliss-0.77/src/partition.cc:835:46: style:inconclusive: Function 'split_cell' argument 1 names different: declaration 'cell' definition 'original_cell'. [funcArgNamesDifferent]
bliss-0.77/src/partition.hh:265:32: note: Function 'split_cell' argument 1 names different: declaration 'cell' definition 'original_cell'.
bliss-0.77/src/partition.cc:835:46: note: Function 'split_cell' argument 1 names different: declaration 'cell' definition 'original_cell'.
bliss-0.77/src/partition.cc:1071:39: style:inconclusive: Function 'cr_split_level' argument 2 names different: declaration 'cells' definition 'splitted_cells'. [funcArgNamesDifferent]
bliss-0.77/src/partition.hh:213:43: note: Function 'cr_split_level' argument 2 names different: declaration 'cells' definition 'splitted_cells'.
bliss-0.77/src/partition.cc:1071:39: note: Function 'cr_split_level' argument 2 names different: declaration 'cells' definition 'splitted_cells'.
bliss-0.77/src/partition.cc:204:24: style: Variable 'lp' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/partition.cc:463:25: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/partition.cc:651:17: style: Variable 'count_p' can be declared as pointer to const [constVariablePointer]
bliss-0.77/src/partition.cc:822:34: style: Parameter 'cell' can be declared as pointer to const [constParameterPointer]
bliss-0.77/src/partition.cc:154:22: warning: Uninitialized variable: info.cr_backtrack_point [uninitvar]
bliss-0.77/src/partition.cc:151:6: note: Assuming condition is false
bliss-0.77/src/partition.cc:154:22: note: Uninitialized variable: info.cr_backtrack_point
bliss-0.77/src/partition.cc:154:22: error: Uninitialized struct member: info.cr_backtrack_point [uninitStructMember]
bliss-0.77/src/uintseqhash.cc:96:39: style:inconclusive: Function 'update' argument 1 names different: declaration 'n' definition 'i'. [funcArgNamesDifferent]
bliss-0.77/src/uintseqhash.hh:40:28: note: Function 'update' argument 1 names different: declaration 'n' definition 'i'.
bliss-0.77/src/uintseqhash.cc:96:39: note: Function 'update' argument 1 names different: declaration 'n' definition 'i'.
diff:
head bliss-0.77/src/abstractgraph.cc:248:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.hh:397:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
     bliss-0.77/src/abstractgraph.cc:248:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
head bliss-0.77/src/abstractgraph.cc:261:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.hh:398:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
     bliss-0.77/src/abstractgraph.cc:261:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
head bliss-0.77/src/abstractgraph.cc:292:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.hh:402:8: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
     bliss-0.77/src/abstractgraph.cc:292:16: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
head bliss-0.77/src/abstractgraph.cc:549:16: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.hh:400:8: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
     bliss-0.77/src/abstractgraph.cc:549:16: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
2.17.0 bliss-0.77/src/abstractgraph.hh:397:8: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.cc:248:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
     bliss-0.77/src/abstractgraph.hh:397:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling' can be const.
2.17.0 bliss-0.77/src/abstractgraph.hh:398:8: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.cc:261:16: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
     bliss-0.77/src/abstractgraph.hh:398:8: note: Technically the member function 'bliss::AbstractGraph::update_labeling_and_its_inverse' can be const.
2.17.0 bliss-0.77/src/abstractgraph.hh:400:8: style:inconclusive: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.cc:549:16: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
     bliss-0.77/src/abstractgraph.hh:400:8: note: Technically the member function 'bliss::AbstractGraph::update_orbit_information' can be const.
2.17.0 bliss-0.77/src/abstractgraph.hh:402:8: style:inconclusive: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const. [functionConst]
     bliss-0.77/src/abstractgraph.cc:292:16: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
     bliss-0.77/src/abstractgraph.hh:402:8: note: Technically the member function 'bliss::AbstractGraph::reset_permutation' can be const.
head bliss-0.77/src/digraph.cc:567:17: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm]
head bliss-0.77/src/partition.cc:648:12: style:inconclusive: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const. [functionConst]
     bliss-0.77/src/partition.hh:275:8: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.
     bliss-0.77/src/partition.cc:648:12: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.
2.17.0 bliss-0.77/src/partition.hh:275:8: style:inconclusive: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const. [functionConst]
     bliss-0.77/src/partition.cc:648:12: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.
     bliss-0.77/src/partition.hh:275:8: note: Technically the member function 'bliss::Partition::dcs_cumulate_count' can be const.


DONE