2022-06-26 05:25 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 -j1 platform: Linux-5.4.0-121-generic-x86_64-with-glibc2.29 python: 3.8.10 client-version: 1.3.24 compiler: g++ (Ubuntu 10.3.0-1ubuntu1~20.04) 10.3.0 cppcheck: head 2.8 head-info: 242afc3 (2022-06-25 21:42:55 +0200) count: 326 324 elapsed-time: 154.9 231.3 head-timing-info: Tokenizer::simplifyTokens1: 50.3759s (avg. 0.457962s - 110 result(s)) Tokenizer::simplifyTokens1::ValueFlow: 49.5373s (avg. 0.490469s - 101 result(s)) Tokenizer::simplifyTokens1::createSymbolDatabase: 0.40061s (avg. 0.00396644s - 101 result(s)) Tokenizer::createTokens: 0.163599s (avg. 0.00148726s - 110 result(s)) Tokenizer::simplifyTokens1::setValueType: 0.087192s (avg. 0.000863287s - 101 result(s)) Overall time: 101.034s old-timing-info: Tokenizer::simplifyTokens1: 75.6305s (avg. 0.68755s - 110 result(s)) Tokenizer::simplifyTokens1::ValueFlow: 74.8374s (avg. 0.740965s - 101 result(s)) Tokenizer::simplifyTokens1::createSymbolDatabase: 0.385996s (avg. 0.00382174s - 101 result(s)) Tokenizer::createTokens: 0.152738s (avg. 0.00138853s - 110 result(s)) Tokenizer::simplifyTokens1::setValueType: 0.078726s (avg. 0.000779465s - 101 result(s)) Overall time: 151.509s 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/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/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/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/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/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/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/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/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/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/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/BinomialSet.cpp:333:29: style: Variable 'ptr' is assigned a value that is never used. [unreadVariable] 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/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/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/CircuitImplementation.tpp:137:32: style: Variable 'next_pos_count' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/groebner/CircuitImplementation.tpp:138:32: style: Variable 'next_neg_count' is assigned a value that is never used. [unreadVariable] 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/CircuitsAPI.cpp:67:5: 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/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/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/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/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/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/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.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/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/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/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/Markov.h:39:5: style: Class 'Markov' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] 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/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/LatticeBasis.cpp:65:17: style: Variable 'tempi' can be declared as reference to const [constVariable] 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:638:9: style: Local variable 'count' shadows outer function [shadowFunction] 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:94:10: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:638:9: note: Shadow variable 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:644:28: error: Uninitialized variable: *byte [uninitvar] 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:640:33: note: Assignment 'byte=(const unsigned char*)&tmp', assigned value is 4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.h:644:28: note: Uninitialized variable: *byte 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/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/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/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/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/MaxMinGenSet.cpp:69:18: style: Local variable 'bounded' shadows outer function [shadowFunction] 4ti2-1.6.9+ds/src/groebner/Bounded.h:31:6: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp:69:18: note: Shadow variable 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/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/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/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/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/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/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:76:5: 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/QSolveAPI.cpp:136:5: 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/QSolveAlgorithm.cpp:182: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/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/RayMatrixAlgorithm.tpp:103:5: 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/RaySupportAlgorithm.tpp:100:5: 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/RaysAPI.cpp:66:5: 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/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/SaturationGenSet.cpp:69:18: style: Local variable 'bounded' shadows outer function [shadowFunction] 4ti2-1.6.9+ds/src/groebner/Bounded.h:31:6: note: Shadowed declaration 4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp:69:18: note: Shadow variable 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/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/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/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: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/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/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/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:431:10: performance:inconclusive: Technically the member function 'DigitalTree::Put' can be static (but you may consider moving to unnamed namespace). [functionStatic] 4ti2-1.6.9+ds/src/ppi/ppi.cpp:459:21: note: Technically the member function 'DigitalTree::Put' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/ppi/ppi.cpp:431:10: note: Technically the member function 'DigitalTree::Put' can be static (but you may consider moving to unnamed namespace). 4ti2-1.6.9+ds/src/ppi/ppi.cpp:432:10: performance:inconclusive: Technically the member function 'DigitalTree::Get' can be static (but you may consider moving to unnamed namespace). [functionStatic] 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:205:15: style: C-style pointer casting [cstyleCast] 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/genmodel.c:82:13: style: Parameter 'levels' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:81:70: style: Parameter 'face' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:44: style: Parameter 'positions' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:24: style: Parameter 'x' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/genmodel.c:95:34: style: Parameter 'y' can be declared as pointer to const [constParameter] 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 as pointer to 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/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 as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:168:36: style: Parameter 'fix' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:177:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:177:43: style: Parameter 'fix' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:224:38: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/output.c:224:48: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/print.c:82:13: style: Variable 'multiplier' is reassigned a value before the old one has been used. [redundantAssignment] 4ti2-1.6.9+ds/src/util/print.c:80:54: note: multiplier is assigned 4ti2-1.6.9+ds/src/util/print.c:82:13: note: multiplier is overwritten 4ti2-1.6.9+ds/src/util/print.c:257:13: style: Variable 'multiplier' is reassigned a value before the old one has been used. [redundantAssignment] 4ti2-1.6.9+ds/src/util/print.c:255:54: note: multiplier is assigned 4ti2-1.6.9+ds/src/util/print.c:257:13: note: multiplier is overwritten 4ti2-1.6.9+ds/src/util/print.c:767:10: style: Parameter 'basisType' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:84:23: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:84:33: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:93:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:105:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:138:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:184:39: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:220:39: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:256:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:271:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:278:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:285:28: style: Parameter 'x' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:285:38: style: Parameter 'y' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:361:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:368:27: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:375:34: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:375:44: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:383:42: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:383:52: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:390:26: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:415:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:424:35: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:431:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:447:35: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:511:39: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:539:41: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:539:51: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:593:41: style: Parameter 'upperBounds' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:615:50: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:622:50: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:629:39: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:642:49: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:657:25: style: Parameter 'mat' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:686:40: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:686:30: style: Parameter 'u' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:720:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:720:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:857:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:864:43: style: Parameter 'c' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:864:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1148:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1239:28: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1239:38: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1250:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1250:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1261:34: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1269:42: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1269:52: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1277:50: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1277:60: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1284:58: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1284:68: style: Parameter 'p' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1292:45: style: Parameter 'w' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:1407:38: style: Parameter 'v' can be declared as pointer to const [constParameter] 4ti2-1.6.9+ds/src/util/vector.c:528:4: style: Variable 'v' is assigned a value that is never used. [unreadVariable] 4ti2-1.6.9+ds/src/util/vector.c:533:6: 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/zsolve/Options.cpp:394:53: style: Parameter 'options' can be declared as reference to const [constParameter] 4ti2-1.6.9+ds/src/zsolve/main.cpp:62:5: style: Exception should be caught by reference. [catchExceptionByValue] 4ti2-1.6.9+ds/src/zsolve/main.cpp:68:5: style: Exception should be caught by reference. [catchExceptionByValue] 4ti2-1.6.9+ds/test/qsolve/api/circuits_main.cpp:45:22: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/test/qsolve/api/qsolve_main.cpp:51:22: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/test/qsolve/api/rays_main.cpp:51:22: style: C-style pointer casting [cstyleCast] 4ti2-1.6.9+ds/test/zsolve/api/test_zsolve_api.cpp:51:22: style: C-style pointer casting [cstyleCast] diff: head 4ti2-1.6.9+ds/src/groebner/LatticeBasis.cpp:65:17: style: Variable 'tempi' can be declared as reference to const [constVariable] head 4ti2-1.6.9+ds/src/groebner/Markov.h:39:5: style: Class 'Markov' has a constructor with 1 argument that is not explicit. [noExplicitConstructor] head 4ti2-1.6.9+ds/src/util/genmodel.c:81:70: style: Parameter 'face' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/genmodel.c:81:70: style: Parameter 'face' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/genmodel.c:82:13: style: Parameter 'levels' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/genmodel.c:82:13: style: Parameter 'levels' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/genmodel.c:95:24: style: Parameter 'x' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/genmodel.c:95:24: style: Parameter 'x' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/genmodel.c:95:34: style: Parameter 'y' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/genmodel.c:95:34: style: Parameter 'y' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/genmodel.c:95:44: style: Parameter 'positions' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/genmodel.c:95:44: style: Parameter 'positions' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/orbit.c:491:16: style: Parameter 'normIndices' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/orbit.c:491:16: style: Parameter 'normIndices' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:168:26: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:168:26: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:168:36: style: Parameter 'fix' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:168:36: style: Parameter 'fix' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:177:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:177:33: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:177:43: style: Parameter 'fix' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:177:43: style: Parameter 'fix' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:224:38: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:224:38: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/output.c:224:48: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/output.c:224:48: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/print.c:767:10: style: Parameter 'basisType' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/print.c:767:10: style: Parameter 'basisType' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:105:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:105:25: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1148:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1148:32: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1239:28: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1239:28: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1239:38: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1239:38: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1250:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1250:32: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1250:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1250:42: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1261:34: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1261:34: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1269:42: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1269:42: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1269:52: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1269:52: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1277:50: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1277:50: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1277:60: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1277:60: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1284:58: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1284:58: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1284:68: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1284:68: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1292:45: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1292:45: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:138:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:138:31: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:1407:38: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:1407:38: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:184:39: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:184:39: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:220:39: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:220:39: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:256:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:256:31: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:271:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:271:33: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:278:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:278:33: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:285:28: style: Parameter 'x' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:285:28: style: Parameter 'x' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:285:38: style: Parameter 'y' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:285:38: style: Parameter 'y' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:361:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:361:25: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:368:27: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:368:27: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:375:34: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:375:34: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:375:44: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:375:44: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:383:42: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:383:42: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:383:52: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:383:52: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:390:26: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:390:26: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:415:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:415:32: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:424:35: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:424:35: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:431:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:431:42: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:447:35: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:447:35: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:511:39: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:511:39: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:539:41: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:539:41: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:539:51: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:539:51: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:593:41: style: Parameter 'upperBounds' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:593:41: style: Parameter 'upperBounds' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:615:50: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:615:50: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:622:50: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:622:50: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:629:39: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:629:39: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:642:49: style: Parameter 'p' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:642:49: style: Parameter 'p' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:657:25: style: Parameter 'mat' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:657:25: style: Parameter 'mat' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:686:30: style: Parameter 'u' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:686:30: style: Parameter 'u' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:686:40: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:686:40: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:720:32: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:720:32: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:720:42: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:720:42: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:84:23: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:84:23: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:84:33: style: Parameter 'w' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:84:33: style: Parameter 'w' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:857:31: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:857:31: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:864:33: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:864:33: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:864:43: style: Parameter 'c' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:864:43: style: Parameter 'c' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/util/vector.c:93:25: style: Parameter 'v' can be declared as pointer to const [constParameter] 2.8 4ti2-1.6.9+ds/src/util/vector.c:93:25: style: Parameter 'v' can be declared with const [constParameter] head 4ti2-1.6.9+ds/src/zsolve/Options.cpp:394:53: style: Parameter 'options' can be declared as reference to const [constParameter] 2.8 4ti2-1.6.9+ds/src/zsolve/Options.cpp:394:53: style: Parameter 'options' can be declared with const [constParameter] DONE