2021-10-20 08:54 ftp://ftp.de.debian.org/debian/pool/main/4/4ti2/4ti2_1.6.9+ds.orig.tar.xz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp platform: Linux-4.4.0-19041-Microsoft-x86_64-with-glibc2.32 python: 3.9.7 client-version: 1.3.15 compiler: g++ (Debian 10.3.0-11) 10.3.0 cppcheck: head 2.6 head-info: 921f5c181 (2021-10-18 19:38:53 +0200) count: 321 320 elapsed-time: 25.8 5.8 head-timing-info: Overall time: 0s old-timing-info: Overall time: 0s head results: 4ti2-1.6.9+ds/src/groebner/Algorithm.cpp:41:9: warning: Class 'Algorithm' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/Algorithm.cpp:41:9: warning: Class 'Algorithm' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/BasicGeneration.h:36:18: style: The function 'generate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Generation.h:38:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/BasicGeneration.h:36:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/BasicGeneration.h:40:18: style: The function 'generate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Generation.h:42:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/BasicGeneration.h:40:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/SyzygyGeneration.h:36:18: style: The function 'generate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Generation.h:38:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/SyzygyGeneration.h:36:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/SyzygyGeneration.h:40:18: style: The function 'generate' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Generation.h:42:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/SyzygyGeneration.h:40:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/BasicOptions.h:46:10: performance:inconclusive: Technically the member function '_4ti2_::BasicOptions::print_usage' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/BasicOptions.cpp:113:15: note: Technically the member function '_4ti2_::BasicOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/BasicOptions.h:46:10: note: Technically the member function '_4ti2_::BasicOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/BasicOptions.cpp:52:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/BasicCompletion.cpp:47:41: style:inconclusive: Function 'algorithm' argument 1 names different: declaration 'vs' definition 'bs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BasicCompletion.h:38:41: note: Function 'algorithm' argument 1 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BasicCompletion.cpp:47:41: note: Function 'algorithm' argument 1 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BinomialArrayStream.cpp:30:60: style:inconclusive: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialArrayStream.h:33:52: note: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BinomialArrayStream.cpp:30:60: note: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BinomialSetStream.cpp:29:58: style:inconclusive: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialSetStream.h:33:50: note: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BinomialSetStream.cpp:29:58: note: Function 'operator<<' argument 2 names different: declaration 'vs' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:89:10: performance:inconclusive: Technically the member function '_4ti2_::BinomialFactory::check_cost' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:87:18: note: Technically the member function '_4ti2_::BinomialFactory::check_cost' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:89:10: note: Technically the member function '_4ti2_::BinomialFactory::check_cost' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:38:27: style:inconclusive: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:51:31: note: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:38:27: note: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/Binomial.h:154:17: style:inconclusive: Technically the member function '_4ti2_::Binomial::reduction_factor' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Binomial.h:290:11: note: Technically the member function '_4ti2_::Binomial::reduction_factor' can be const. 4ti2-1.6.9+ds/src/groebner/Binomial.h:154:17: note: Technically the member function '_4ti2_::Binomial::reduction_factor' can be const. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:61:27: style:inconclusive: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:53:31: note: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:61:27: note: Function 'BinomialFactory' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/Binomial.h:155:17: style:inconclusive: Technically the member function '_4ti2_::Binomial::reduction_negative_factor' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Binomial.h:319:11: note: Technically the member function '_4ti2_::Binomial::reduction_negative_factor' can be const. 4ti2-1.6.9+ds/src/groebner/Binomial.h:155:17: note: Technically the member function '_4ti2_::Binomial::reduction_negative_factor' can be const. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:117:36: style:inconclusive: Function 'initialise' argument 2 names different: declaration 'lattice' definition '_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:71:40: note: Function 'initialise' argument 2 names different: declaration 'lattice' definition '_lattice'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:117:36: note: Function 'initialise' argument 2 names different: declaration 'lattice' definition '_lattice'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:122:31: style:inconclusive: Function 'initialise' argument 7 names different: declaration 'grading' definition '_grading'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:76:35: note: Function 'initialise' argument 7 names different: declaration 'grading' definition '_grading'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:122:31: note: Function 'initialise' argument 7 names different: declaration 'grading' definition '_grading'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:123:36: style:inconclusive: Function 'initialise' argument 8 names different: declaration 'weights' definition '_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:77:40: note: Function 'initialise' argument 8 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:123:36: note: Function 'initialise' argument 8 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:124:31: style:inconclusive: Function 'initialise' argument 9 names different: declaration 'max_weights' definition '_max_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:78:35: note: Function 'initialise' argument 9 names different: declaration 'max_weights' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:124:31: note: Function 'initialise' argument 9 names different: declaration 'max_weights' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:125:31: style:inconclusive: Function 'initialise' argument 10 names different: declaration 'rhs' definition '_rhs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:79:35: note: Function 'initialise' argument 10 names different: declaration 'rhs' definition '_rhs'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:125:31: note: Function 'initialise' argument 10 names different: declaration 'rhs' definition '_rhs'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:159:36: style:inconclusive: Function 'set_truncated' argument 1 names different: declaration 'lattice' definition '_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:85:40: note: Function 'set_truncated' argument 1 names different: declaration 'lattice' definition '_lattice'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:159:36: note: Function 'set_truncated' argument 1 names different: declaration 'lattice' definition '_lattice'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:200:36: style:inconclusive: Function 'set_weights' argument 1 names different: declaration 'weights' definition '_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:82:40: note: Function 'set_weights' argument 1 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:200:36: note: Function 'set_weights' argument 1 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:201:31: style:inconclusive: Function 'set_weights' argument 2 names different: declaration 'max' definition '_max_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:83:35: note: Function 'set_weights' argument 2 names different: declaration 'max' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:201:31: note: Function 'set_weights' argument 2 names different: declaration 'max' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:222:31: style:inconclusive: Function 'add_weight' argument 1 names different: declaration 'weight' definition '_weight'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:65:35: note: Function 'add_weight' argument 1 names different: declaration 'weight' definition '_weight'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:222:31: note: Function 'add_weight' argument 1 names different: declaration 'weight' definition '_weight'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:223:29: style:inconclusive: Function 'add_weight' argument 2 names different: declaration 'max_weight' definition '_max_weight'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialFactory.h:66:33: note: Function 'add_weight' argument 2 names different: declaration 'max_weight' definition '_max_weight'. 4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp:223:29: note: Function 'add_weight' argument 2 names different: declaration 'max_weight' definition '_max_weight'. 4ti2-1.6.9+ds/src/groebner/Binomial.h:675:33: style:inconclusive: Function 'degree' argument 1 names different: declaration 'grading' definition 'g'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Binomial.h:128:39: note: Function 'degree' argument 1 names different: declaration 'grading' definition 'g'. 4ti2-1.6.9+ds/src/groebner/Binomial.h:675:33: note: Function 'degree' argument 1 names different: declaration 'grading' definition 'g'. 4ti2-1.6.9+ds/src/groebner/CircuitMatrixAlgorithm.tpp:156:9: error: There is an unknown macro here somewhere. Configuration is required. If DEBUG_4ti2 is a macro then please configure it. [unknownMacro] 4ti2-1.6.9+ds/src/groebner/CircuitOptions.h:50:10: performance:inconclusive: Technically the member function '_4ti2_::CircuitOptions::print_usage' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/CircuitOptions.cpp:141:17: note: Technically the member function '_4ti2_::CircuitOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/CircuitOptions.h:50:10: note: Technically the member function '_4ti2_::CircuitOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/CircuitOptions.cpp:59:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/CircuitSupportAlgorithm.tpp:187:9: error: There is an unknown macro here somewhere. Configuration is required. If DEBUG_4ti2 is a macro then please configure it. [unknownMacro] 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:174:21: style: The scope of the variable 'ptr' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:333:25: style: The scope of the variable 'ptr' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:91:27: style:inconclusive: Function 'reduce' argument 3 names different: declaration 'ptr' definition 'bptr'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialSet.h:56:31: note: Function 'reduce' argument 3 names different: declaration 'ptr' definition 'bptr'. 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:91:27: note: Function 'reduce' argument 3 names different: declaration 'ptr' definition 'bptr'. 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:167:27: style:inconclusive: Function 'reduce_negative' argument 3 names different: declaration 'ptr' definition 'bptr'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/BinomialSet.h:60:31: note: Function 'reduce_negative' argument 3 names different: declaration 'ptr' definition 'bptr'. 4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp:167:27: note: Function 'reduce_negative' argument 3 names different: declaration 'ptr' definition 'bptr'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:58:22: style:inconclusive: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:32:28: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:58:22: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:65:29: style:inconclusive: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:44:35: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:65:29: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:72:29: style:inconclusive: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:42:35: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:72:29: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:80:22: style:inconclusive: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:37:28: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:80:22: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:80:43: style:inconclusive: Function 'hermite' argument 2 names different: declaration 'proj' definition 'cols'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:37:49: note: Function 'hermite' argument 2 names different: declaration 'proj' definition 'cols'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:80:43: note: Function 'hermite' argument 2 names different: declaration 'proj' definition 'cols'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:88:29: style:inconclusive: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:49:35: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:88:29: note: Function 'upper_triangle' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:88:50: style:inconclusive: Function 'upper_triangle' argument 2 names different: declaration 'proj' definition 'cols'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:49:56: note: Function 'upper_triangle' argument 2 names different: declaration 'proj' definition 'cols'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:88:50: note: Function 'upper_triangle' argument 2 names different: declaration 'proj' definition 'cols'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:37:32: style:inconclusive: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.h:34:29: note: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:37:32: note: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:37:50: style:inconclusive: Function 'eliminate' argument 2 names different: declaration 'b' definition 'bs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.h:34:47: note: Function 'eliminate' argument 2 names different: declaration 'b' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:37:50: note: Function 'eliminate' argument 2 names different: declaration 'b' definition 'bs'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:46:32: style:inconclusive: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.h:33:29: note: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp:46:32: note: Function 'eliminate' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/Extract.h:40:10: performance:inconclusive: Technically the member function '_4ti2_::Extract::extract' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Extract.cpp:39:10: note: Technically the member function '_4ti2_::Extract::extract' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Extract.h:40:10: note: Technically the member function '_4ti2_::Extract::extract' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:118:11: warning: 'operator=' should check for assignment to self to avoid problems with dynamic memory. [operatorEqToSelf] 4ti2-1.6.9+ds/src/groebner/Feasible.h:46:9: style:inconclusive: Technically the member function '_4ti2_::Feasible::get_dimension' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Feasible.h:88:11: note: Technically the member function '_4ti2_::Feasible::get_dimension' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:46:9: note: Technically the member function '_4ti2_::Feasible::get_dimension' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:51:19: style:inconclusive: Technically the member function '_4ti2_::Feasible::get_rhs' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Feasible.h:119:11: note: Technically the member function '_4ti2_::Feasible::get_rhs' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:51:19: note: Technically the member function '_4ti2_::Feasible::get_rhs' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:52:24: style:inconclusive: Technically the member function '_4ti2_::Feasible::get_weights' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Feasible.h:126:11: note: Technically the member function '_4ti2_::Feasible::get_weights' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:52:24: note: Technically the member function '_4ti2_::Feasible::get_weights' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:53:19: style:inconclusive: Technically the member function '_4ti2_::Feasible::get_max_weights' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Feasible.h:133:11: note: Technically the member function '_4ti2_::Feasible::get_max_weights' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:53:19: note: Technically the member function '_4ti2_::Feasible::get_max_weights' can be const. 4ti2-1.6.9+ds/src/groebner/Feasible.h:35:5: style: Class 'Feasible' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:36:36: style:inconclusive: Function 'Feasible' argument 1 names different: declaration 'basis' definition '_basis'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:35:36: note: Function 'Feasible' argument 1 names different: declaration 'basis' definition '_basis'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:36:36: note: Function 'Feasible' argument 1 names different: declaration 'basis' definition '_basis'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:37:36: style:inconclusive: Function 'Feasible' argument 2 names different: declaration 'matrix' definition '_matrix'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:36:36: note: Function 'Feasible' argument 2 names different: declaration 'matrix' definition '_matrix'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:37:36: note: Function 'Feasible' argument 2 names different: declaration 'matrix' definition '_matrix'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:38:31: style:inconclusive: Function 'Feasible' argument 3 names different: declaration 'urs' definition '_urs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:37:31: note: Function 'Feasible' argument 3 names different: declaration 'urs' definition '_urs'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:38:31: note: Function 'Feasible' argument 3 names different: declaration 'urs' definition '_urs'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:39:31: style:inconclusive: Function 'Feasible' argument 4 names different: declaration 'rhs' definition '_rhs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:38:31: note: Function 'Feasible' argument 4 names different: declaration 'rhs' definition '_rhs'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:39:31: note: Function 'Feasible' argument 4 names different: declaration 'rhs' definition '_rhs'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:40:36: style:inconclusive: Function 'Feasible' argument 5 names different: declaration 'weights' definition '_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:39:36: note: Function 'Feasible' argument 5 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:40:36: note: Function 'Feasible' argument 5 names different: declaration 'weights' definition '_weights'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:41:31: style:inconclusive: Function 'Feasible' argument 6 names different: declaration 'max_weights' definition '_max_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:40:31: note: Function 'Feasible' argument 6 names different: declaration 'max_weights' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:41:31: note: Function 'Feasible' argument 6 names different: declaration 'max_weights' definition '_max_weights'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:89:60: style:inconclusive: Function 'Feasible' argument 2 names different: declaration 'urs' definition '_urs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Feasible.h:42:54: note: Function 'Feasible' argument 2 names different: declaration 'urs' definition '_urs'. 4ti2-1.6.9+ds/src/groebner/Feasible.cpp:89:60: note: Function 'Feasible' argument 2 names different: declaration 'urs' definition '_urs'. 4ti2-1.6.9+ds/src/groebner/Completion.cpp:56:9: warning: Class 'Completion' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/Completion.cpp:56:9: warning: Class 'Completion' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/BasicCompletion.h:38:18: style: The function 'algorithm' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Algorithm.h:40:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/BasicCompletion.h:38:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/SyzygyCompletion.h:39:18: style: The function 'algorithm' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Algorithm.h:40:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/SyzygyCompletion.h:39:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/FlipCompletion.h:37:10: performance:inconclusive: Technically the member function '_4ti2_::FlipCompletion::algorithm' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/FlipCompletion.cpp:43:17: note: Technically the member function '_4ti2_::FlipCompletion::algorithm' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/FlipCompletion.h:37:10: note: Technically the member function '_4ti2_::FlipCompletion::algorithm' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/OrderedCompletion.h:39:18: style: The function 'algorithm' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/Algorithm.h:40:18: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/OrderedCompletion.h:39:18: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/FilterReduction.h:43:10: style:inconclusive: Technically the member function '_4ti2_::FilterReduction::remove' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/FilterReduction.cpp:86:18: note: Technically the member function '_4ti2_::FilterReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/FilterReduction.h:43:10: note: Technically the member function '_4ti2_::FilterReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/FilterReduction.cpp:49:5: warning: Class 'FilterReduction' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/FilterReduction.cpp:49:5: warning: Class 'FilterReduction' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:51:9: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:40:27: style:inconclusive: Function 'GroebnerBasis' argument 1 names different: declaration 'feasible' definition '_feasible'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.h:34:35: note: Function 'GroebnerBasis' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:40:27: note: Function 'GroebnerBasis' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:41:30: style:inconclusive: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.h:35:38: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:41:30: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:59:30: style:inconclusive: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.h:38:38: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:59:30: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:72:30: style:inconclusive: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.h:40:38: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:72:30: note: Function 'GroebnerBasis' argument 2 names different: declaration 'cost' definition '_cost'. 4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp:51:12: style: Variable 'gb' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.cpp:34:30: style:inconclusive: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.h:34:28: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.cpp:34:30: note: Function 'hermite' argument 1 names different: declaration 'ps' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:160:36: style:inconclusive: Function 'matrix_bounded' argument 1 names different: declaration 'matrix' definition '_matrix'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:51:36: note: Function 'matrix_bounded' argument 1 names different: declaration 'matrix' definition '_matrix'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:160:36: note: Function 'matrix_bounded' argument 1 names different: declaration 'matrix' definition '_matrix'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:270:31: style:inconclusive: Function 'is_lattice_non_negative' argument 3 names different: declaration 'bounded' definition 'unbounded'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:71:31: note: Function 'is_lattice_non_negative' argument 3 names different: declaration 'bounded' definition 'unbounded'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:270:31: note: Function 'is_lattice_non_negative' argument 3 names different: declaration 'bounded' definition 'unbounded'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:288:31: style:inconclusive: Function 'is_lattice_non_positive' argument 3 names different: declaration 'bounded' definition 'unbounded'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:75:31: note: Function 'is_lattice_non_positive' argument 3 names different: declaration 'bounded' definition 'unbounded'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:288:31: note: Function 'is_lattice_non_positive' argument 3 names different: declaration 'bounded' definition 'unbounded'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:523:36: style:inconclusive: Function 'lp_bounded' argument 2 names different: declaration 'lattice' definition 'tmp_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:87:36: note: Function 'lp_bounded' argument 2 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:523:36: note: Function 'lp_bounded' argument 2 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:829:36: style:inconclusive: Function 'lp_weight_l2' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.h:63:36: note: Function 'lp_weight_l2' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:829:36: note: Function 'lp_weight_l2' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:876:36: style:inconclusive: Function 'lp_weight_l1' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.h:57:36: note: Function 'lp_weight_l1' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:876:36: note: Function 'lp_weight_l1' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:1247:36: style:inconclusive: Function 'compute_ray' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:110:36: note: Function 'compute_ray' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:1247:36: note: Function 'compute_ray' argument 1 names different: declaration 'lattice' definition 'tmp_lattice'. 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:1230:11: style: Variable 'index' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Bounded.cpp:1307:22: style: Variable 'feasible' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:55:9: warning: Class 'GeneratingSet' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:55:9: warning: Class 'GeneratingSet' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.h:46:18: style: Virtual function 'compute' is called from constructor 'GeneratingSet(Feasible&feasible,VectorArray*gens)' at line 56. Dynamic binding is not used. [virtualCallInConstructor] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:56:9: note: Calling compute 4ti2-1.6.9+ds/src/groebner/GeneratingSet.h:46:18: note: compute is a virtual function 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:48:27: style:inconclusive: Function 'GeneratingSet' argument 1 names different: declaration 'feasible' definition '_feasible'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.h:34:35: note: Function 'GeneratingSet' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:48:27: note: Function 'GeneratingSet' argument 1 names different: declaration 'feasible' definition '_feasible'. 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:49:30: style:inconclusive: Function 'GeneratingSet' argument 2 names different: declaration 'gens' definition '_gens'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/GeneratingSet.h:35:38: note: Function 'GeneratingSet' argument 2 names different: declaration 'gens' definition '_gens'. 4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp:49:30: note: Function 'GeneratingSet' argument 2 names different: declaration 'gens' definition '_gens'. 4ti2-1.6.9+ds/src/groebner/Minimize.h:41:10: performance:inconclusive: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Minimize.cpp:40:11: note: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Minimize.h:41:10: note: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Markov.cpp:42:21: warning: Class 'Markov' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/Minimize.h:48:10: performance:inconclusive: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Minimize.cpp:58:11: note: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Minimize.h:48:10: note: Technically the member function '_4ti2_::Minimize::minimize' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Markov.cpp:42:21: warning: Class 'Markov' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/Minimize.cpp:44:25: style:inconclusive: Function 'minimize' argument 4 names different: declaration 'p' definition 'v'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Minimize.h:45:29: note: Function 'minimize' argument 4 names different: declaration 'p' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Minimize.cpp:44:25: note: Function 'minimize' argument 4 names different: declaration 'p' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:39:28: style:inconclusive: Function 'Markov' argument 1 names different: declaration 'gen' definition '_gen'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Markov.h:39:24: note: Function 'Markov' argument 1 names different: declaration 'gen' definition '_gen'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:39:28: note: Function 'Markov' argument 1 names different: declaration 'gen' definition '_gen'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:120:38: style:inconclusive: Function 'algorithm' argument 1 names different: declaration 'bc' definition 'v'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Markov.h:55:42: note: Function 'algorithm' argument 1 names different: declaration 'bc' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:120:38: note: Function 'algorithm' argument 1 names different: declaration 'bc' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:121:30: style:inconclusive: Function 'algorithm' argument 2 names different: declaration 'bs' definition 'gens'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Markov.h:56:34: note: Function 'algorithm' argument 2 names different: declaration 'bs' definition 'gens'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:121:30: note: Function 'algorithm' argument 2 names different: declaration 'bs' definition 'gens'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:190:38: style:inconclusive: Function 'fast_algorithm' argument 1 names different: declaration 'bc' definition 'v'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Markov.h:58:42: note: Function 'fast_algorithm' argument 1 names different: declaration 'bc' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:190:38: note: Function 'fast_algorithm' argument 1 names different: declaration 'bc' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:191:30: style:inconclusive: Function 'fast_algorithm' argument 2 names different: declaration 'bs' definition 'gens'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Markov.h:59:34: note: Function 'fast_algorithm' argument 2 names different: declaration 'bs' definition 'gens'. 4ti2-1.6.9+ds/src/groebner/Markov.cpp:191:30: note: Function 'fast_algorithm' argument 2 names different: declaration 'bs' definition 'gens'. 4ti2-1.6.9+ds/src/groebner/MinimizeOptions.h:46:10: performance:inconclusive: Technically the member function '_4ti2_::MinimizeOptions::print_usage' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/MinimizeOptions.cpp:162:18: note: Technically the member function '_4ti2_::MinimizeOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MinimizeOptions.h:46:10: note: Technically the member function '_4ti2_::MinimizeOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MinimizeOptions.cpp:52:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:90:39: warning: Assert statement calls a function which may have desired side effects: 'get_dimension'. [assertWithSideEffect] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:290:13: warning: Assert statement calls a function which may have desired side effects: 'is_saturated'. [assertWithSideEffect] 4ti2-1.6.9+ds/src/groebner/OnesReduction.h:40:10: style:inconclusive: Technically the member function '_4ti2_::OnesReduction::remove' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/OnesReduction.cpp:82:16: note: Technically the member function '_4ti2_::OnesReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/OnesReduction.h:40:10: note: Technically the member function '_4ti2_::OnesReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/OnesReduction.cpp:45:5: warning: Class 'OnesReduction' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/OnesReduction.cpp:45:5: warning: Class 'OnesReduction' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:52:10: performance:inconclusive: Technically the member function '_4ti2_::MaxMinGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:242:15: note: Technically the member function '_4ti2_::MaxMinGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:52:10: note: Technically the member function '_4ti2_::MaxMinGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:72:9: performance:inconclusive: Technically the member function '_4ti2_::MaxMinGenSet::add_support' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:327:15: note: Technically the member function '_4ti2_::MaxMinGenSet::add_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:72:9: note: Technically the member function '_4ti2_::MaxMinGenSet::add_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:77:10: performance:inconclusive: Technically the member function '_4ti2_::MaxMinGenSet::support_count' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:347:15: note: Technically the member function '_4ti2_::MaxMinGenSet::support_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:77:10: note: Technically the member function '_4ti2_::MaxMinGenSet::support_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:89:10: performance:inconclusive: Technically the member function '_4ti2_::MaxMinGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:369:15: note: Technically the member function '_4ti2_::MaxMinGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.h:89:10: note: Technically the member function '_4ti2_::MaxMinGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:209:9: style: The scope of the variable 'index' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/Options.h:46:10: performance:inconclusive: Technically the member function '_4ti2_::Options::print_usage' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Options.cpp:166:10: note: Technically the member function '_4ti2_::Options::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Options.h:46:10: note: Technically the member function '_4ti2_::Options::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Options.cpp:52:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:148:21: style: Local variable 'cost' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:132:17: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:148:21: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:152:16: style: Local variable 'fin_union_urs' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:123:12: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:152:16: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:154:18: style: Local variable 'projection' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:130:14: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:154:18: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:173:21: style: Local variable 'cost' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:132:17: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp:173:21: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/QSolveAPI.cpp:166:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp:241:32: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp:256:32: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp:323:32: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp:339:32: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/Optimise.h:66:9: performance:inconclusive: Technically the member function '_4ti2_::Optimise::next_support' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:676:11: note: Technically the member function '_4ti2_::Optimise::next_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.h:66:9: note: Technically the member function '_4ti2_::Optimise::next_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.h:75:9: performance:inconclusive: Technically the member function '_4ti2_::Optimise::positive_count' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:663:11: note: Technically the member function '_4ti2_::Optimise::positive_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.h:75:9: note: Technically the member function '_4ti2_::Optimise::positive_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.h:79:10: performance:inconclusive: Technically the member function '_4ti2_::Optimise::make_feasible' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:717:11: note: Technically the member function '_4ti2_::Optimise::make_feasible' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.h:79:10: note: Technically the member function '_4ti2_::Optimise::make_feasible' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:208:20: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:145:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:208:20: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:185:24: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:145:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:185:24: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:435:20: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:361:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:435:20: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:418:24: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:361:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:418:24: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:614:20: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:534:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:614:20: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:590:24: style: Local variable 'algorithm' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:534:16: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:590:24: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:129:31: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:227:25: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:389:31: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:453:25: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:562:31: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Optimise.cpp:632:25: style: Variable 'next_projection' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/Statistics.h:40:10: performance:inconclusive: Technically the member function '_4ti2_::Statistics::finalise' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/Statistics.cpp:47:13: note: Technically the member function '_4ti2_::Statistics::finalise' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Statistics.h:40:10: note: Technically the member function '_4ti2_::Statistics::finalise' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/Statistics.h:41:10: style:inconclusive: Technically the member function '_4ti2_::Statistics::print' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/Statistics.cpp:52:13: note: Technically the member function '_4ti2_::Statistics::print' can be const. 4ti2-1.6.9+ds/src/groebner/Statistics.h:41:10: note: Technically the member function '_4ti2_::Statistics::print' can be const. 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:90:39: warning: Assert statement calls a function which may have desired side effects: 'get_dimension'. [assertWithSideEffect] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:318:13: warning: Assert statement calls a function which may have desired side effects: 'is_saturated'. [assertWithSideEffect] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:52:10: performance:inconclusive: Technically the member function '_4ti2_::SaturationGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:235:19: note: Technically the member function '_4ti2_::SaturationGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:52:10: note: Technically the member function '_4ti2_::SaturationGenSet::is_saturated' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:77:9: performance:inconclusive: Technically the member function '_4ti2_::SaturationGenSet::add_support' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:355:19: note: Technically the member function '_4ti2_::SaturationGenSet::add_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:77:9: note: Technically the member function '_4ti2_::SaturationGenSet::add_support' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:82:10: performance:inconclusive: Technically the member function '_4ti2_::SaturationGenSet::support_count' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:375:19: note: Technically the member function '_4ti2_::SaturationGenSet::support_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:82:10: note: Technically the member function '_4ti2_::SaturationGenSet::support_count' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:94:10: performance:inconclusive: Technically the member function '_4ti2_::SaturationGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:397:19: note: Technically the member function '_4ti2_::SaturationGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.h:94:10: note: Technically the member function '_4ti2_::SaturationGenSet::is_column_zero' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:198:9: style: The scope of the variable 'index' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:38:5: style: Class 'RaySupportAlgorithm < ShortDenseIndexSet >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:38:5: style: Class 'RaySupportAlgorithm < BitSet >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:38:5: style: Class 'RayMatrixAlgorithm < ShortDenseIndexSet >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:38:5: style: Class 'RayMatrixAlgorithm < BitSet >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:41:22: style: The function 'compute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/RayImplementation.h:45:22: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:41:22: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:45:22: style: The function 'compute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/RayImplementation.h:49:22: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.h:45:22: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:41:22: style: The function 'compute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/RayImplementation.h:45:22: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:41:22: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:45:22: style: The function 'compute' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride] 4ti2-1.6.9+ds/src/groebner/RayImplementation.h:49:22: note: Virtual function in base class 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.h:45:22: note: Function in derived class 4ti2-1.6.9+ds/src/groebner/VectorArray.h:247:33: style:inconclusive: Function 'lift' argument 2 names different: declaration 'lift' definition 'proj'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:93:37: note: Function 'lift' argument 2 names different: declaration 'lift' definition 'proj'. 4ti2-1.6.9+ds/src/groebner/VectorArray.h:247:33: note: Function 'lift' argument 2 names different: declaration 'lift' definition 'proj'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:35:5: performance: Variable 'number' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:36:5: performance: Variable 'size' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:45:5: performance: Variable 'number' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:46:5: performance: Variable 'size' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:55:5: performance: Variable 'number' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:56:5: performance: Variable 'size' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:33:31: style:inconclusive: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:39:22: note: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:33:31: note: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:33:45: style:inconclusive: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:39:35: note: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:33:45: note: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:43:31: style:inconclusive: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:40:22: note: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:43:31: note: Function 'VectorArray' argument 1 names different: declaration 'number' definition '_number'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:43:45: style:inconclusive: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:40:35: note: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:43:45: note: Function 'VectorArray' argument 2 names different: declaration 'size' definition '_size'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:131:27: style:inconclusive: Function 'remove' argument 1 names different: declaration 'i' definition 'index'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:126:23: note: Function 'remove' argument 1 names different: declaration 'i' definition 'index'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:131:27: note: Function 'remove' argument 1 names different: declaration 'i' definition 'index'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:152:36: warning: Function 'dot' argument order different: declaration 'vs1, v2, v' definition 'vs1, v, r' [funcArgOrderDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:51:40: note: Function 'dot' argument order different: declaration 'vs1, v2, v' definition 'vs1, v, r' 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:152:36: note: Function 'dot' argument order different: declaration 'vs1, v2, v' definition 'vs1, v, r' 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:170:30: style:inconclusive: Function 'dot' argument 3 names different: declaration 'vs' definition 'rs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:56:34: note: Function 'dot' argument 3 names different: declaration 'vs' definition 'rs'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:170:30: note: Function 'dot' argument 3 names different: declaration 'vs' definition 'rs'. 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:184:36: warning: Function 'transpose' argument order different: declaration 'vs1, vs' definition 'vs, t' [funcArgOrderDifferent] 4ti2-1.6.9+ds/src/groebner/VectorArray.h:58:40: note: Function 'transpose' argument order different: declaration 'vs1, vs' definition 'vs, t' 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:184:36: note: Function 'transpose' argument order different: declaration 'vs1, vs' definition 'vs, t' 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:119:16: style: Local variable 'i' shadows outer argument [shadowArgument] 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:115:50: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/VectorArray.cpp:119:16: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/Vector.cpp:40:21: style:inconclusive: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Vector.h:46:26: note: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. 4ti2-1.6.9+ds/src/groebner/Vector.cpp:40:21: note: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. 4ti2-1.6.9+ds/src/groebner/Vector.cpp:47:21: style:inconclusive: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Vector.h:47:17: note: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. 4ti2-1.6.9+ds/src/groebner/Vector.cpp:47:21: note: Function 'Vector' argument 1 names different: declaration 'size' definition 's'. 4ti2-1.6.9+ds/src/groebner/Vector.cpp:47:36: style:inconclusive: Function 'Vector' argument 2 names different: declaration 'value' definition 'v'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/Vector.h:47:35: note: Function 'Vector' argument 2 names different: declaration 'value' definition 'v'. 4ti2-1.6.9+ds/src/groebner/Vector.cpp:47:36: note: Function 'Vector' argument 2 names different: declaration 'value' definition 'v'. 4ti2-1.6.9+ds/src/groebner/WalkOptions.h:46:10: performance:inconclusive: Technically the member function '_4ti2_::WalkOptions::print_usage' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/WalkOptions.cpp:133:14: note: Technically the member function '_4ti2_::WalkOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/WalkOptions.h:46:10: note: Technically the member function '_4ti2_::WalkOptions::print_usage' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/WalkOptions.cpp:52:9: style: The scope of the variable 'c' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.cpp:138:31: style:inconclusive: Function 'violates_urs' argument 2 names different: declaration 'mask' definition 'urs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.h:59:61: note: Function 'violates_urs' argument 2 names different: declaration 'mask' definition 'urs'. 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.cpp:138:31: note: Function 'violates_urs' argument 2 names different: declaration 'mask' definition 'urs'. 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.cpp:173:25: style:inconclusive: Function 'strip_weights' argument 2 names different: declaration 'max_weight' definition 'max_weights'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.h:51:25: note: Function 'strip_weights' argument 2 names different: declaration 'max_weight' definition 'max_weights'. 4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.cpp:173:25: note: Function 'strip_weights' argument 2 names different: declaration 'max_weight' definition 'max_weights'. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:51:17: style:inconclusive: Technically the member function '_4ti2_::WalkAlgorithm::compare' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp:136:16: note: Technically the member function '_4ti2_::WalkAlgorithm::compare' can be const. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:51:17: note: Technically the member function '_4ti2_::WalkAlgorithm::compare' can be const. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:52:18: style:inconclusive: Technically the member function '_4ti2_::WalkAlgorithm::tvalue' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp:171:16: note: Technically the member function '_4ti2_::WalkAlgorithm::tvalue' can be const. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:52:18: note: Technically the member function '_4ti2_::WalkAlgorithm::tvalue' can be const. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:53:10: performance:inconclusive: Technically the member function '_4ti2_::WalkAlgorithm::tvector' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp:180:16: note: Technically the member function '_4ti2_::WalkAlgorithm::tvector' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:53:10: note: Technically the member function '_4ti2_::WalkAlgorithm::tvector' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp:58:30: style:inconclusive: Function 'compute' argument 3 names different: declaration 'vs1' definition 'vs'. [funcArgNamesDifferent] 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.h:47:34: note: Function 'compute' argument 3 names different: declaration 'vs1' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp:58:30: note: Function 'compute' argument 3 names different: declaration 'vs1' definition 'vs'. 4ti2-1.6.9+ds/src/groebner/WeightedReduction.h:40:10: style:inconclusive: Technically the member function '_4ti2_::WeightedReduction::remove' can be const. [functionConst] 4ti2-1.6.9+ds/src/groebner/WeightedReduction.cpp:83:20: note: Technically the member function '_4ti2_::WeightedReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/WeightedReduction.h:40:10: note: Technically the member function '_4ti2_::WeightedReduction::remove' can be const. 4ti2-1.6.9+ds/src/groebner/WeightedReduction.cpp:46:5: warning: Class 'WeightedReduction' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/groebner/WeightedReduction.cpp:46:5: warning: Class 'WeightedReduction' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/util/genmodel.c:81:70: style: Parameter 'face' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:82:13: style: Parameter 'levels' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:24: style: Parameter 'x' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:34: style: Parameter 'y' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:44: style: Parameter 'positions' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:563:62: portability: Undefined behaviour, pointer arithmetic 'node->Children-1' is out of bounds. [pointerOutOfBounds] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:93:3: warning: Member variable 'VectorAux::Attribute' is not initialized in the constructor. [uninitMemberVar] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:93:3: warning: Member variable 'VectorAux::Stuff' is not initialized in the constructor. [uninitMemberVar] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:112:3: warning: Member variable 'Vector::hash' is not initialized in the constructor. [uninitMemberVar] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:112:3: warning: Member variable 'Vector::next' is not initialized in the constructor. [uninitMemberVar] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:417:3: warning: Member variable 'LeafNode::vec' is not initialized in the constructor. [uninitMemberVar] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:90:8: style:inconclusive: Technically the member function 'VectorAux::operatordelete' can be const. [functionConst] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:332:12: performance:inconclusive: Technically the member function 'VerySimpleVectorSet::end' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:400:8: style:inconclusive: Technically the member function 'Node::operatordelete' can be const. [functionConst] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:441:5: warning: Class 'DigitalTree' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:441:5: warning: Class 'DigitalTree' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:93:3: style: Struct 'VectorAux' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:113:3: style: Class 'Vector' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:201:3: style: Class 'SimpleVectorSet' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:308:3: style: Class 'VerySimpleVectorSetIterator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:395:3: style: Class 'Node' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:410:3: style: Class 'InnerNode' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:440:3: style: Class 'DigitalTree' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:640:3: style: Class 'VectorSet' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:465:13: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:478:13: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:490:36: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:492:18: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:493:22: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:496:12: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:504:27: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:506:27: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:507:19: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:508:17: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:512:16: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:597:17: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:433:18: style: The scope of the variable 'null' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:791:7: style: The scope of the variable 'LastNonzeroPos' can be reduced. [variableScope] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:529:6: style: Local variable 'count' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:509:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/ppi/ppi.cpp:529:6: note: Shadow variable 4ti2-1.6.9+ds/src/ppi/ppi.cpp:700:21: performance: Function parameter 'z' should be passed by const reference. [passedByValue] 4ti2-1.6.9+ds/src/util/orbit.c:644:31: style: Condition 'numOfVectorsConsidered==1*(numOfVectorsConsidered/1)' is always true [knownConditionTrueFalse] 4ti2-1.6.9+ds/src/util/orbit.c:86:15: warning: Either the condition 'orb==0' is redundant or there is possible null pointer dereference: orb. [nullPointerRedundantCheck] 4ti2-1.6.9+ds/src/util/orbit.c:85:10: note: Assuming that condition 'orb==0' is not redundant 4ti2-1.6.9+ds/src/util/orbit.c:86:15: note: Null pointer dereference 4ti2-1.6.9+ds/src/util/orbit.c:87:29: warning: Either the condition 'orb==0' is redundant or there is possible null pointer dereference: orb. [nullPointerRedundantCheck] 4ti2-1.6.9+ds/src/util/orbit.c:85:10: note: Assuming that condition 'orb==0' is not redundant 4ti2-1.6.9+ds/src/util/orbit.c:87:29: note: Null pointer dereference 4ti2-1.6.9+ds/src/util/orbit.c:88:27: warning: Either the condition 'orb==0' is redundant or there is possible null pointer dereference: orb. [nullPointerRedundantCheck] 4ti2-1.6.9+ds/src/util/orbit.c:85:10: note: Assuming that condition 'orb==0' is not redundant 4ti2-1.6.9+ds/src/util/orbit.c:88:27: note: Null pointer dereference 4ti2-1.6.9+ds/src/util/orbit.c:89:27: warning: Either the condition 'orb==0' is redundant or there is possible null pointer dereference: orb. [nullPointerRedundantCheck] 4ti2-1.6.9+ds/src/util/orbit.c:85:10: note: Assuming that condition 'orb==0' is not redundant 4ti2-1.6.9+ds/src/util/orbit.c:89:27: note: Null pointer dereference 4ti2-1.6.9+ds/src/util/orbit.c:495:13: style: Local variable 'canonicalRepresentative' shadows outer function [shadowFunction] 4ti2-1.6.9+ds/src/util/orbit.c:462:8: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/orbit.c:495:13: note: Shadow variable 4ti2-1.6.9+ds/src/util/orbit.c:491:16: style: Parameter 'normIndices' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/orbit.c:611:4: style: Variable 'v' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/zsolve/BitSet.h:46:12: performance:inconclusive: Technically the member function '_4ti2_zsolve_::BitSet::needed_blocks' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/zsolve/BitSet.cpp:41:16: note: Technically the member function '_4ti2_zsolve_::BitSet::needed_blocks' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/zsolve/BitSet.h:46:12: note: Technically the member function '_4ti2_zsolve_::BitSet::needed_blocks' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/zsolve/BitSet.h:55:10: style:inconclusive: Technically the member function '_4ti2_zsolve_::BitSet::operator[]' can be const. [functionConst] 4ti2-1.6.9+ds/src/zsolve/BitSet.cpp:67:14: note: Technically the member function '_4ti2_zsolve_::BitSet::operator[]' can be const. 4ti2-1.6.9+ds/src/zsolve/BitSet.h:55:10: note: Technically the member function '_4ti2_zsolve_::BitSet::operator[]' can be const. 4ti2-1.6.9+ds/src/zsolve/BitSet.cpp:31:5: warning: Class 'BitSet' does not have a copy constructor which is recommended since it has dynamic memory/resource allocation(s). [noCopyConstructor] 4ti2-1.6.9+ds/src/zsolve/BitSet.cpp:31:5: warning: Class 'BitSet' does not have a operator= which is recommended since it has dynamic memory/resource allocation(s). [noOperatorEq] 4ti2-1.6.9+ds/src/zsolve/BitSet.h:50:5: style: Class 'BitSet' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 4ti2-1.6.9+ds/src/util/vector.c:1214:11: style: Condition 'jnext()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.tpp:350:14: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.tpp:671:21: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.tpp:125:14: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.tpp:322:14: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.tpp:541:14: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.tpp:1022:14: debug: Wrong data detected by condition !tok->next()->astOperand1() [DacaWrongData] 4ti2-1.6.9+ds/src/util/output.c:723:8: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf] 4ti2-1.6.9+ds/src/util/output.c:871:8: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf] 4ti2-1.6.9+ds/src/util/output.c:61:24: error: Resource leak: in [resourceLeak] 4ti2-1.6.9+ds/src/util/output.c:466:8: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:466:8: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:512:8: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:512:8: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:542:8: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:542:8: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:709:6: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:709:6: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:842:6: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:842:6: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:856:6: style: Local variable 'i' shadows outer variable [shadowVariable] 4ti2-1.6.9+ds/src/util/output.c:409:7: note: Shadowed declaration 4ti2-1.6.9+ds/src/util/output.c:856:6: note: Shadow variable 4ti2-1.6.9+ds/src/util/output.c:168:26: style: Parameter 'v' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:168:36: style: Parameter 'fix' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:177:33: style: Parameter 'v' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:177:43: style: Parameter 'fix' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:224:38: style: Parameter 'v' can be declared with const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:224:48: style: Parameter 'w' can be declared with const [constParameter] diff: head 4ti2-1.6.9+ds/src/util/orbit.c:644:31: style: Condition 'numOfVectorsConsidered==1*(numOfVectorsConsidered/1)' is always true [knownConditionTrueFalse] 2.6 4ti2-1.6.9+ds/src/util/print.c:297:14: style: Condition 'negNorm==0' is always true [knownConditionTrueFalse] 4ti2-1.6.9+ds/src/util/print.c:265:31: note: Assignment 'negNorm=0', assigned value is 0 4ti2-1.6.9+ds/src/util/print.c:297:14: note: Condition 'negNorm==0' is always true head 4ti2-1.6.9+ds/src/util/vector.c:1214:11: style: Condition 'j