2026-05-02 00:14
ftp://ftp.de.debian.org/debian/pool/main/g/gappa/gappa_1.6.0.orig.tar.bz2
cppcheck-options: --library=posix --library=gnu --library=bsd --library=boost  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j6
platform: Linux-7.0.3+deb14-amd64-x86_64-with-glibc2.42
python: 3.13.12
client-version: 1.4.0
compiler: g++ (Debian 15.2.0-17) 15.2.0
cppcheck: head 2.20.0
head-info: e5c4a734 (2026-05-01 11:10:43 +0200)
count: 524 445
elapsed-time: 0.4 0.3
head-timing-info:

old-timing-info:

head results:
gappa-gappa-1.6.0/src/backends/coq.cpp:31:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq.cpp:36:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq.cpp:57:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_NZ [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq_lambda.cpp:31:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq_lambda.cpp:41:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq_lambda.cpp:48:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq_lambda.cpp:32:8: style: Either there is a missing 'override', or the member function 'coq_lambda_backend::finalize' can be static. [functionStatic]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:46:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_functions [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:54:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:72:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:87:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_ARGL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:130:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:157:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:190:76: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:202:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roundUP [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:213:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:232:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:252:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/coq.cpp:42:50: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/backends/coq.cpp:42:71: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/backends/coq.cpp:43:59: style:inconclusive: Function 'rewrite' argument 3 names different: declaration '<unnamed>' definition 'pc'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:25:3: warning:inconclusive: Member variable 'fixed_format::min_exp' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:26:3: style: Struct 'fixed_format' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:45:54: style:inconclusive: Function 'round' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:45:70: style:inconclusive: Function 'round' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:53:60: style:inconclusive: Function 'absolute_error' argument 1 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:59:78: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:59:94: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:64:79: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:64:95: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:86:73: style:inconclusive: Function 'generate' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:86:80: style:inconclusive: Function 'generate' argument 2 names different: declaration '<unnamed>' definition 'min_exp'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:97:83: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:110:81: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:98:7: style: Local variable 'min_exp' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:140:8: note: Shadowed declaration
gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:98:7: note: Shadow variable
gappa-gappa-1.6.0/src/backends/coq_common.cpp:347:1: error: syntax error [syntaxError]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:125:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_ARGL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:139:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable roundUP [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:146:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_functions [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:171:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:186:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v2 [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:215:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:223:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:231:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:238:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:248:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:258:73: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:268:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:285:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:306:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:336:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:362:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:387:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable direction_names [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:403:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:425:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:30:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:94:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_RND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:200:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:290:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:27:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:81:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_RND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:160:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:235:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:293:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:295:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/latex.cpp:305:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:27:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:81:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:95:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:110:6: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:169:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:289:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:333:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOGIC [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:399:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOGIC [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:489:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:376:8: style: Either there is a missing 'override', or the member function 'd2_backend::initialize' can be static. [functionStatic]
gappa-gappa-1.6.0/src/backends/d2.cpp:377:8: style: Either there is a missing 'override', or the member function 'd2_backend::finalize' can be static. [functionStatic]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:32:3: warning:inconclusive: Member variable 'float_format::min_exp' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:32:3: warning:inconclusive: Member variable 'float_format::prec' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/backends/d2.cpp:335:17: style: Local variable 'name' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/backends/d2.cpp:309:15: note: Shadowed declaration
gappa-gappa-1.6.0/src/backends/d2.cpp:335:17: note: Shadow variable
gappa-gappa-1.6.0/src/backends/d2.cpp:319:10: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/parser/ast.hpp:33:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:36:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:39:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_LIN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:42:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:45:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:48:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:51:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/main.cpp:56:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:126:49: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:100:83: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:138:56: style:inconclusive: Function 'enforce' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:138:72: style:inconclusive: Function 'enforce' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:145:54: style:inconclusive: Function 'round' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:145:70: style:inconclusive: Function 'round' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:184:78: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:184:94: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:202:78: style:inconclusive: Function 'absolute_error_from_exact_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:202:94: style:inconclusive: Function 'absolute_error_from_exact_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:219:79: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:219:95: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:228:79: style:inconclusive: Function 'absolute_error_from_approx_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:228:95: style:inconclusive: Function 'absolute_error_from_approx_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:236:60: style:inconclusive: Function 'relative_error' argument 1 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:243:78: style:inconclusive: Function 'relative_error_from_exact_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:243:94: style:inconclusive: Function 'relative_error_from_exact_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:253:79: style:inconclusive: Function 'relative_error_from_approx_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:253:95: style:inconclusive: Function 'relative_error_from_approx_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:335:14: style: Local variable 'needed' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:317:14: note: Shadowed declaration
gappa-gappa-1.6.0/src/arithmetic/float.cpp:335:14: note: Shadow variable
gappa-gappa-1.6.0/src/arithmetic/float.cpp:361:14: style: Local variable 'needed' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/arithmetic/float.cpp:317:14: note: Shadowed declaration
gappa-gappa-1.6.0/src/arithmetic/float.cpp:361:14: note: Shadow variable
gappa-gappa-1.6.0/src/utils.hpp:47:1: style: The class 'static_ptr' does not declare a constructor although it has private member variables which likely require initialization. [noConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:59:3: warning: Member variable 'ast_prop::lhs' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:59:3: warning: Member variable 'ast_prop::rhs' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:60:3: warning: Member variable 'ast_prop::rhs' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:60:3: warning: Member variable 'ast_prop::atom' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:61:3: warning: Member variable 'ast_prop::atom' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:102:3: warning: Member variable 'ast_ident::fun' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/parser/ast.hpp:102:3: warning: Member variable 'ast_ident::var' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:94:3: warning: Member variable 'logic_node::index' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/utils.hpp:51:26: warning: Class 'static_ptr' does not have a copy constructor which is recommended since it has dynamic memory/resource management. [noCopyConstructor]
gappa-gappa-1.6.0/src/utils.hpp:51:26: warning: Class 'static_ptr' does not have a operator= which is recommended since it has dynamic memory/resource management. [noOperatorEq]
gappa-gappa-1.6.0/src/numbers/interval.hpp:21:3: style: Struct 'interval' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/numbers/interval_utility.hpp:37:3: style: Struct 'change_io_format' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:59:3: style: Struct 'ast_prop' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:60:3: style: Struct 'ast_prop' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:88:3: style: Struct 'default_function_generator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:102:3: style: Struct 'ast_ident' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:94:3: style: Struct 'logic_node' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:122:3: style: Class 'dependent_node' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:138:3: style: Class 'modus_node' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:195:3: style: Struct 'graph_loader' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/schemes.hpp:100:3: style: Struct 'factory_creator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/schemes.hpp:101:3: style: Struct 'factory_creator' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ast.hpp:90:33: style: The function 'operator()' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/parser/ast.hpp:82:33: note: Virtual function in base class
gappa-gappa-1.6.0/src/parser/ast.hpp:90:33: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:96:12: style: The destructor '~logic_node' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:73:12: note: Virtual destructor in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:96:12: note: Destructor in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:97:27: style: The function 'get_result' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:70:27: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:97:27: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:98:28: style: The function 'get_subproofs' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:72:28: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:98:28: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:99:20: style: The function 'maximal_for' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:78:20: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:99:20: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:100:16: style: The function 'enlarge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:79:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:100:16: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:110:12: style: The destructor '~logicp_node' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:73:12: note: Virtual destructor in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:110:12: note: Destructor in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:111:27: style: The function 'get_result' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:70:27: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:111:27: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:112:28: style: The function 'get_subproofs' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:72:28: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:112:28: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:113:20: style: The function 'maximal_for' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:78:20: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:113:20: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:114:16: style: The function 'enlarge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:79:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:114:16: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:126:28: style: The function 'get_subproofs' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:72:28: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:126:28: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:127:12: style: The destructor '~dependent_node' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:73:12: note: Virtual destructor in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:127:12: note: Destructor in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:128:16: style: The function 'subst_subproof' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:81:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:128:16: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:140:27: style: The function 'get_result' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:70:27: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:140:27: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:141:12: style: The destructor '~modus_node' overrides a destructor in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:127:12: note: Virtual destructor in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:141:12: note: Destructor in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:142:20: style: The function 'maximal_for' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:78:20: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:142:20: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:143:16: style: The function 'enlarge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:79:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/proof_graph.hpp:143:16: note: Function in derived class
gappa-gappa-1.6.0/src/backends/latex.cpp:300:52: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/backends/latex.cpp:300:73: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/numbers/io.cpp:43:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/io.cpp:95:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable current [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/real.cpp:27:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/real.cpp:35:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/real.cpp:44:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/real.cpp:50:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nb [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/real.cpp:75:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pos_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:31:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:32:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:35:75: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:36:75: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:37:77: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:38:77: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:44:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:44:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:45:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:45:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:46:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:46:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:47:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:47:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:50:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:61:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pos_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:62:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:84:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nb [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:93:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:97:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:104:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:139:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pos_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:156:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:181:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable parameter_internal_precision [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:195:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:201:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:248:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:286:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uu [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:297:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uu [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:312:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wu [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:37:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable e [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:103:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:128:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_UP [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:143:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_ARGL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:148:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_DN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:154:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_ZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:162:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_DN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:170:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ROUND_ZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:236:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_add_ui [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/round.cpp:266:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parameters.cpp:94:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parameters.cpp:162:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/numbers/interval.cpp:77:3: style: Class 'interval_base' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/backends/holl.cpp:491:8: style: Either there is a missing 'override', or the member function 'holl_backend::finalize' can be static. [functionStatic]
gappa-gappa-1.6.0/src/parser/ast.cpp:87:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:92:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:98:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:105:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:111:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_SUB [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:154:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_RND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:225:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_RND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:326:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:496:51: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/ast.cpp:364:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ID_NONE [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/backends/holl.cpp:496:72: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/backends/holl.cpp:49:28: style: Local variable 'p1' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/backends/holl.cpp:29:26: note: Shadowed declaration
gappa-gappa-1.6.0/src/backends/holl.cpp:49:28: note: Shadow variable
gappa-gappa-1.6.0/src/backends/holl.cpp:427:24: style: Local variable 'ln' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/backends/holl.cpp:398:21: note: Shadowed declaration
gappa-gappa-1.6.0/src/backends/holl.cpp:427:24: note: Shadow variable
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:42:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:83:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:122:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PROP_IMPL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:167:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:196:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:124:34: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
gappa-gappa-1.6.0/src/parser/parser_aux.cpp:216:21: style: The scope of the variable 'ops' can be reduced. [variableScope]
gappa-gappa-1.6.0/src/parser/pattern.cpp:53:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ast_real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:255:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:256:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:257:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:258:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:259:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:262:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:263:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_SQRT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:268:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:277:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_DIV [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:287:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_SUB [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:296:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ast.cpp:58:30: style:inconclusive: Function 'find' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/ast.cpp:58:39: style:inconclusive: Function 'find' argument 2 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/ast.cpp:71:28: style:inconclusive: Function 'test' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/ast.cpp:199:12: style: Variable 'o' can be declared as pointer to const [constVariablePointer]
gappa-gappa-1.6.0/src/parser/ast.cpp:112:3: style: Consider using std::all_of or std::none_of algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/parser/ast.cpp:120:3: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/parser/ring.cpp:228:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ring.cpp:292:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable first [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ring.cpp:304:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/pattern.cpp:141:29: style:inconclusive: Either there is a missing 'override', or the member function 'missing_visitor::operator()' can be const. [functionConst]
gappa-gappa-1.6.0/src/parser/pattern.cpp:72:3: style: Struct 'rewrite_visitor' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/pattern.cpp:180:3: style: Struct 'unknown_visitor' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/pattern.cpp:205:3: style: Struct 'occurrence_visitor' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/pattern.cpp:183:49: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/pattern.cpp:188:45: style:inconclusive: Function 'visit' argument 1 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/pattern.cpp:208:52: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/parser/pattern.cpp:221:48: style:inconclusive: Function 'visit' argument 1 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:783:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:791:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:912:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:940:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:985:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1442:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1506:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1546:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1581:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1633:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1781:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1875:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:1895:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2040:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable endl [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2140:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2183:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2261:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2388:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2455:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MSG_NOSIGNAL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2597:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2650:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_BLOCK [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2722:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2867:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WNOHANG [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2916:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:2960:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_UNIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:3027:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/remake.cpp:3091:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable npos [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:80:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pos_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:110:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pt [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:154:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable second [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:186:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pos_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:308:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:361:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:398:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable top_graph [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:37:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable visited [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:60:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nb_good [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:71:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nb_good [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:82:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nb_good [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:106:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable succ [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:140:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:197:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable target [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:205:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:218:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable target [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:242:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable before [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:257:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable before [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:277:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable before [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:294:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTERSECTION [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:311:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res2 [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:341:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:371:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable known_reals [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:398:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trees [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:409:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable contradiction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:427:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable contradiction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:467:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable contradiction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:522:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable contradiction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:539:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable known_reals [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:555:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nodes [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:588:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trees [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:671:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOGIC [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:27:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:31:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:39:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:50:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:56:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _int [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:60:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:71:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:81:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable store [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:95:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:112:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:128:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:143:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:159:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:170:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:196:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:212:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:234:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:241:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:248:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:257:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:266:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:295:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:331:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:371:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:380:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conjunction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:409:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:432:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/property.cpp:445:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:223:3: warning: Member variable 'dichotomy_helper::iter_max' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:225:5: warning: Struct 'dichotomy_helper' does not have a copy constructor which is recommended since it has dynamic memory/resource management. [noCopyConstructor]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:225:5: warning: Struct 'dichotomy_helper' does not have a operator= which is recommended since it has dynamic memory/resource management. [noOperatorEq]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:70:18: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:48:18: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:70:18: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:98:18: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:48:18: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:98:18: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:130:16: style: The function 'split' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:41:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:130:16: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:131:18: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:48:18: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:131:18: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:132:16: style: The function 'merge' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:54:16: note: Virtual function in base class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:132:16: note: Function in derived class
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:424:35: style: C-style pointer casting [cstyleCast]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:77:34: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:105:34: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:140:53: style:inconclusive: Function 'best_splitter' argument 2 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:164:35: style:inconclusive: Function 'split' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:164:45: style:inconclusive: Function 'split' argument 2 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:181:33: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:275:65: style:inconclusive: Function 'try_hypothesis' argument 1 names different: declaration '<unnamed>' definition 'exn'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:297:46: style:inconclusive: Function 'try_graph' argument 1 names different: declaration '<unnamed>' definition 'g2'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:331:65: style:inconclusive: Function 'generate_node' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:445:23: style: Local variable 'h' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:440:20: note: Shadowed declaration
gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:445:23: note: Shadow variable
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:338:53: style:inconclusive: Function 'maximal_for' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:642:11: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/parser/ring.cpp:32:3: style: Struct 'mpz_class' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ring.cpp:34:3: style: Struct 'mpz_class' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/parser/ring.cpp:38:3: style: Struct 'mpz_class' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:25:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:31:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:55:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:75:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ABS_EXA_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:95:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ABS_EXA_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:115:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ABS_APX_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:135:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ABS_APX_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:154:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:173:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_REL_EXA_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:192:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_REL_EXA_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:211:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_REL_APX_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:230:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_REL_APX_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:249:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_RND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:268:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_ENF [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ring.cpp:69:17: style: Local variable 'p' shadows outer argument [shadowArgument]
gappa-gappa-1.6.0/src/parser/ring.cpp:66:41: note: Shadowed declaration
gappa-gappa-1.6.0/src/parser/ring.cpp:69:17: note: Shadow variable
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:287:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:307:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:328:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:351:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:374:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:397:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:422:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:445:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:468:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_LIN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:545:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_LIN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:585:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_LIN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:604:78: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:620:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:661:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:670:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:710:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_SUB [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:753:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:803:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_ADD [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:823:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:880:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_LIN [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:917:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_MUL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:937:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:957:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:970:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ia [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:982:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/parser/ring.cpp:177:25: style: Parameter 's' can be declared as reference to const [constParameterReference]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1003:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1023:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UOP_ABS [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1070:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1092:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1112:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1122:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1143:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1152:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1172:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1181:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1212:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FIX [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1239:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_FLT [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1260:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1284:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1302:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1330:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1354:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1378:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1402:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1424:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1445:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1466:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1489:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1499:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1521:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable token_one [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1540:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable i2 [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1552:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_REL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1565:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable i2 [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1576:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1589:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable i2 [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1603:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1621:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1638:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1656:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1674:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_DIV [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1691:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BOP_DIV [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1707:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1724:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1743:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/basic_proof.cpp:1762:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_NZR [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/updater.cpp:31:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/updater.cpp:53:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable neg_inf [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:54:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_NZ [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:67:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COND_NZ [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:162:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable real [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:194:92: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_EQL [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:205:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:68:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRED_BND [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:118:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable visited [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:226:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable first [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:563:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable contradiction [valueFlowBailoutIncompleteVar]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:50:66: style:inconclusive: Function 'needed_reals' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:50:94: style:inconclusive: Function 'needed_reals' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:47: style:inconclusive: Function 'compute' argument 1 names different: declaration '<unnamed>' definition 'hyps'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:65: style:inconclusive: Function 'compute' argument 2 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:83: style:inconclusive: Function 'compute' argument 3 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:125:68: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:126:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:143:72: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:144:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:159:53: style:inconclusive: Function 'compute' argument 1 names different: declaration '<unnamed>' definition 'hyps'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:159:71: style:inconclusive: Function 'compute' argument 2 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:178:74: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:179:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:107:21: style: Local variable 'c' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:276:28: note: Shadowed declaration
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:107:21: note: Shadow variable
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:147:19: style: Local variable 'd' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:276:34: note: Shadowed declaration
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:147:19: note: Shadow variable
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:233:27: style: Local variable 'c' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:276:28: note: Shadowed declaration
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:233:27: note: Shadow variable
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:228:84: style: Parameter 'hc' can be declared as pointer to const [constParameterPointer]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:54:9: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:103:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/proofs/rewriting.cpp:186:0: style: Consider using std::any_of algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:65:3: style: Struct 'factory_wrapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:74:3: style: Struct 'factorz_wrapper' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:146:45: style:inconclusive: Function 'push' argument 1 names different: declaration 'a' definition 's'. [funcArgNamesDifferent]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:138:33: note: Function 'push' argument 1 names different: declaration 'a' definition 's'.
gappa-gappa-1.6.0/src/proofs/schemes.cpp:146:45: note: Function 'push' argument 1 names different: declaration 'a' definition 's'.
gappa-gappa-1.6.0/src/proofs/schemes.cpp:418:24: style: Variable 'r' can be declared as reference to const [constVariableReference]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:482:84: style: Parameter 'excluded' can be declared as pointer to const [constParameterPointer]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:407:23: style: Consider using std::copy_if algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/src/proofs/schemes.cpp:652:51: style: Consider using std::count_if algorithm instead of a raw loop. [useStlAlgorithm]
gappa-gappa-1.6.0/remake.cpp:2344:18: style: Obsolescent function 'vfork' called. It is recommended to use 'fork' instead. [prohibitedvforkCalled]
gappa-gappa-1.6.0/remake.cpp:2660:16: portability: Non reentrant function 'tempnam' called. For threadsafe applications it is recommended to use the reentrant replacement function 'tempnam_r'. [prohibitedtempnamCalled]
gappa-gappa-1.6.0/remake.cpp:1318:22: warning: Member variable 'addprefix_generator::prei' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/remake.cpp:1374:22: warning: Member variable 'addsuffix_generator::sufi' is not initialized in the constructor. [uninitMemberVar]
gappa-gappa-1.6.0/remake.cpp:493:11: warning: 'operator=' should check for assignment to self to avoid problems with dynamic memory. [operatorEqToSelf]
gappa-gappa-1.6.0/remake.cpp:491:29: warning: Value of pointer 'ptr', which points to allocated memory, is copied in copy constructor instead of allocating new memory. [copyCtorPointerCopying]
gappa-gappa-1.6.0/remake.cpp:827:2: style: Struct 'escape_string' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/remake.cpp:490:2: style: Struct 'ref_ptr < dependency_t >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/remake.cpp:486:3: style: Struct 'content' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/remake.cpp:490:2: style: Struct 'ref_ptr < rule_t >' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
gappa-gappa-1.6.0/remake.cpp:1196:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/remake.cpp:1185:23: note: Virtual function in base class
gappa-gappa-1.6.0/remake.cpp:1196:15: note: Function in derived class
gappa-gappa-1.6.0/remake.cpp:1315:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/remake.cpp:1185:23: note: Virtual function in base class
gappa-gappa-1.6.0/remake.cpp:1315:15: note: Function in derived class
gappa-gappa-1.6.0/remake.cpp:1371:15: style: The function 'next' overrides a function in a base class but is not marked with a 'override' specifier. [missingOverride]
gappa-gappa-1.6.0/remake.cpp:1185:23: note: Virtual function in base class
gappa-gappa-1.6.0/remake.cpp:1371:15: note: Function in derived class
gappa-gappa-1.6.0/remake.cpp:2366:20: style: C-style pointer casting [cstyleCast]
gappa-gappa-1.6.0/remake.cpp:2679:22: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
gappa-gappa-1.6.0/remake.cpp:2962:25: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
gappa-gappa-1.6.0/remake.cpp:2974:22: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast]
gappa-gappa-1.6.0/remake.cpp:1199:59: style:inconclusive: Function 'variable_generator' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1200:22: style:inconclusive: Function 'variable_generator' argument 2 names different: declaration '<unnamed>' definition 'local_variables'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1218:52: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1246:49: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1318:65: style:inconclusive: Function 'addprefix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1318:76: style:inconclusive: Function 'addprefix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1328:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1374:65: style:inconclusive: Function 'addsuffix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1374:76: style:inconclusive: Function 'addsuffix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1384:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1414:55: style:inconclusive: Function 'get_function' argument 1 names different: declaration '<unnamed>' definition 'in'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:1414:78: style:inconclusive: Function 'get_function' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
gappa-gappa-1.6.0/remake.cpp:2228:18: style: Local variable 's' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/remake.cpp:2175:21: note: Shadowed declaration
gappa-gappa-1.6.0/remake.cpp:2228:18: note: Shadow variable
gappa-gappa-1.6.0/remake.cpp:2866:7: style: Local variable 'status' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/remake.cpp:627:19: note: Shadowed declaration
gappa-gappa-1.6.0/remake.cpp:2866:7: note: Shadow variable
gappa-gappa-1.6.0/remake.cpp:2983:11: style: Local variable 'len' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/remake.cpp:2956:9: note: Shadowed declaration
gappa-gappa-1.6.0/remake.cpp:2983:11: note: Shadow variable
gappa-gappa-1.6.0/remake.cpp:2994:11: style: Local variable 'len' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/remake.cpp:2956:9: note: Shadowed declaration
gappa-gappa-1.6.0/remake.cpp:2994:11: note: Shadow variable
gappa-gappa-1.6.0/remake.cpp:3000:16: style: Local variable 's' shadows outer variable [shadowVariable]
gappa-gappa-1.6.0/remake.cpp:2993:15: note: Shadowed declaration
gappa-gappa-1.6.0/remake.cpp:3000:16: note: Shadow variable
gappa-gappa-1.6.0/remake.cpp:1004:41: style: Parameter 'l' can be declared as reference to const [constParameterReference]
gappa-gappa-1.6.0/remake.cpp:1557:26: style: Variable 'dep' can be declared as reference to const [constVariableReference]
gappa-gappa-1.6.0/remake.cpp:878:8: style: Variable 'res' can be declared as pointer to const [constVariablePointer]
gappa-gappa-1.6.0/remake.cpp:2933:31: style: Parameter 'socket_name' can be declared as pointer to const [constParameterPointer]
gappa-gappa-1.6.0/remake.cpp:2972:8: style: Variable 'id' can be declared as pointer to const [constVariablePointer]
gappa-gappa-1.6.0/remake.cpp:3052:26: style: Parameter 'argv' can be declared as const array [constParameter]
gappa-gappa-1.6.0/remake.cpp:1369:14: style: struct member 'addsuffix_generator::pre' is never used. [unusedStructMember]
diff:
head gappa-gappa-1.6.0/remake.cpp:1199:59: style:inconclusive: Function 'variable_generator' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1200:22: style:inconclusive: Function 'variable_generator' argument 2 names different: declaration '<unnamed>' definition 'local_variables'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1218:52: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1246:49: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1318:65: style:inconclusive: Function 'addprefix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1318:76: style:inconclusive: Function 'addprefix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1328:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1374:65: style:inconclusive: Function 'addsuffix_generator' argument 1 names different: declaration '<unnamed>' definition 'top'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1374:76: style:inconclusive: Function 'addsuffix_generator' argument 2 names different: declaration '<unnamed>' definition 'ok'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1384:53: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1414:55: style:inconclusive: Function 'get_function' argument 1 names different: declaration '<unnamed>' definition 'in'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/remake.cpp:1414:78: style:inconclusive: Function 'get_function' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:110:81: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:45:54: style:inconclusive: Function 'round' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:45:70: style:inconclusive: Function 'round' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:53:60: style:inconclusive: Function 'absolute_error' argument 1 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:59:78: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:59:94: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:64:79: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:64:95: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:86:73: style:inconclusive: Function 'generate' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:86:80: style:inconclusive: Function 'generate' argument 2 names different: declaration '<unnamed>' definition 'min_exp'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/fixed.cpp:97:83: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:100:83: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:138:56: style:inconclusive: Function 'enforce' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:138:72: style:inconclusive: Function 'enforce' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:145:54: style:inconclusive: Function 'round' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:145:70: style:inconclusive: Function 'round' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:184:78: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:184:94: style:inconclusive: Function 'absolute_error_from_exact_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:202:78: style:inconclusive: Function 'absolute_error_from_exact_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:202:94: style:inconclusive: Function 'absolute_error_from_exact_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:219:79: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:219:95: style:inconclusive: Function 'absolute_error_from_approx_bnd' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:228:79: style:inconclusive: Function 'absolute_error_from_approx_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:228:95: style:inconclusive: Function 'absolute_error_from_approx_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:236:60: style:inconclusive: Function 'relative_error' argument 1 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:243:78: style:inconclusive: Function 'relative_error_from_exact_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:243:94: style:inconclusive: Function 'relative_error_from_exact_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:253:79: style:inconclusive: Function 'relative_error_from_approx_abs' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/arithmetic/float.cpp:253:95: style:inconclusive: Function 'relative_error_from_approx_abs' argument 2 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/coq.cpp:42:50: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/coq.cpp:42:71: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/coq.cpp:43:59: style:inconclusive: Function 'rewrite' argument 3 names different: declaration '<unnamed>' definition 'pc'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/holl.cpp:496:51: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/holl.cpp:496:72: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/latex.cpp:300:52: style:inconclusive: Function 'rewrite' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/backends/latex.cpp:300:73: style:inconclusive: Function 'rewrite' argument 2 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/ast.cpp:58:30: style:inconclusive: Function 'find' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/ast.cpp:58:39: style:inconclusive: Function 'find' argument 2 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/ast.cpp:71:28: style:inconclusive: Function 'test' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/pattern.cpp:183:49: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/pattern.cpp:188:45: style:inconclusive: Function 'visit' argument 1 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/pattern.cpp:208:52: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/parser/pattern.cpp:221:48: style:inconclusive: Function 'visit' argument 1 names different: declaration '<unnamed>' definition 'dst'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:105:34: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:140:53: style:inconclusive: Function 'best_splitter' argument 2 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:164:35: style:inconclusive: Function 'split' argument 1 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:164:45: style:inconclusive: Function 'split' argument 2 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:181:33: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:275:65: style:inconclusive: Function 'try_hypothesis' argument 1 names different: declaration '<unnamed>' definition 'exn'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:297:46: style:inconclusive: Function 'try_graph' argument 1 names different: declaration '<unnamed>' definition 'g2'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:331:65: style:inconclusive: Function 'generate_node' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/dichotomy.cpp:77:34: style:inconclusive: Function 'next' argument 1 names different: declaration '<unnamed>' definition 'max'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/proof_graph.cpp:338:53: style:inconclusive: Function 'maximal_for' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:125:68: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:126:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:143:72: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:144:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:159:53: style:inconclusive: Function 'compute' argument 1 names different: declaration '<unnamed>' definition 'hyps'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:159:71: style:inconclusive: Function 'compute' argument 2 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:178:74: style:inconclusive: Function 'operator()' argument 1 names different: declaration '<unnamed>' definition 'src'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:179:24: style:inconclusive: Function 'operator()' argument 2 names different: declaration '<unnamed>' definition 'holders'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:50:66: style:inconclusive: Function 'needed_reals' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:50:94: style:inconclusive: Function 'needed_reals' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:54:9: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:47: style:inconclusive: Function 'compute' argument 1 names different: declaration '<unnamed>' definition 'hyps'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:65: style:inconclusive: Function 'compute' argument 2 names different: declaration '<unnamed>' definition 'res'. [funcArgNamesDifferentUnnamed]
head gappa-gappa-1.6.0/src/proofs/rewriting.cpp:60:83: style:inconclusive: Function 'compute' argument 3 names different: declaration '<unnamed>' definition 'name'. [funcArgNamesDifferentUnnamed]


DONE