2025-05-08 02:45
ftp://ftp.de.debian.org/debian/pool/main/s/sollya/sollya_8.0+ds.orig.tar.xz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-59-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: ebc80c0 (2025-05-07 18:59:31 +0200)
count: 1651 1651
elapsed-time: 166.8 167.3
head-timing-info:

old-timing-info:

head results:
sollya-8.0+ds/assignment.c:84:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:98:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:120:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:178:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:336:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:453:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/assignment.c:430:46: style:inconclusive: Function 'performListPrependOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'. [funcArgNamesDifferent]
sollya-8.0+ds/assignment.h:80:46: note: Function 'performListPrependOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'.
sollya-8.0+ds/assignment.c:430:46: note: Function 'performListPrependOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'.
sollya-8.0+ds/assignment.c:430:64: style:inconclusive: Function 'performListPrependOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'. [funcArgNamesDifferent]
sollya-8.0+ds/assignment.h:80:60: note: Function 'performListPrependOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'.
sollya-8.0+ds/assignment.c:430:64: note: Function 'performListPrependOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'.
sollya-8.0+ds/assignment.c:552:43: style:inconclusive: Function 'performListTailOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'. [funcArgNamesDifferent]
sollya-8.0+ds/assignment.h:82:43: note: Function 'performListTailOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'.
sollya-8.0+ds/assignment.c:552:43: note: Function 'performListTailOnDeclaredEntry' argument 1 names different: declaration 'symTbl' definition 'declSymTbl'.
sollya-8.0+ds/assignment.c:552:61: style:inconclusive: Function 'performListTailOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'. [funcArgNamesDifferent]
sollya-8.0+ds/assignment.h:82:57: note: Function 'performListTailOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'.
sollya-8.0+ds/assignment.c:552:61: note: Function 'performListTailOnDeclaredEntry' argument 2 names different: declaration 'ident' definition 'name'.
sollya-8.0+ds/assignment.c:79:40: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/assignment.c:91:37: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/assignment.c:115:41: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/assignment.c:321:52: style: Parameter 'ident' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/assignment.c:442:49: style: Parameter 'ident' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/expression.h:323:18: portability: 'ptr' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
sollya-8.0+ds/assignment.c:329:14: style: Variable 'newChecked' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/autodiff.c:200:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/autodiff.c:544:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/autodiff.c:230:59: style:inconclusive: Function 'constantPower_diff' argument 2 names different: declaration 'x0' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/autodiff.h:73:59: note: Function 'constantPower_diff' argument 2 names different: declaration 'x0' definition 'x'.
sollya-8.0+ds/autodiff.c:230:59: note: Function 'constantPower_diff' argument 2 names different: declaration 'x0' definition 'x'.
sollya-8.0+ds/autodiff.c:267:69: style:inconclusive: Function 'powerFunction_diff' argument 3 names different: declaration 'x0' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/autodiff.h:72:69: note: Function 'powerFunction_diff' argument 3 names different: declaration 'x0' definition 'x'.
sollya-8.0+ds/autodiff.c:267:69: note: Function 'powerFunction_diff' argument 3 names different: declaration 'x0' definition 'x'.
sollya-8.0+ds/autodiff.c:91:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/autodiff.c:240:21: error: Uninitialized variable: expo [uninitvar]
sollya-8.0+ds/autodiff.c:241:21: error: Uninitialized variable: acc [uninitvar]
sollya-8.0+ds/autodiff.c:275:21: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/autodiff.c:276:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/autodiff.c:313:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/autodiff.c:333:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/autodiff.c:334:21: error: Uninitialized variable: acc [uninitvar]
sollya-8.0+ds/autodiff.c:356:21: error: Uninitialized variable: fact [uninitvar]
sollya-8.0+ds/autodiff.c:358:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/autodiff.c:370:38: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/autodiff.c:387:21: error: Uninitialized variable: fact [uninitvar]
sollya-8.0+ds/autodiff.c:490:25: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/autodiff.c:492:25: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/autodiff.c:560:21: error: Uninitialized variable: fact [uninitvar]
sollya-8.0+ds/base-functions.c:1054:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:1098:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:1120:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2380:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2412:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2492:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2536:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2595:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2653:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2691:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2752:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2801:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2886:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3221:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3222:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3223:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3224:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3225:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3226:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3227:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3228:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3229:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3230:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3231:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3232:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3233:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3234:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3235:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3236:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3237:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3238:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3239:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3240:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3241:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3242:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3243:89: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3244:91: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:3245:108: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/base-functions.c:2878:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:2878:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:2959:23: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:2959:23: note: Shadow variable
sollya-8.0+ds/base-functions.c:3010:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3010:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3027:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3027:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3069:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3069:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3082:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3082:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3114:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3114:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3128:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3128:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3155:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3155:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:3182:22: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/base-functions.c:3182:22: note: Shadow variable
sollya-8.0+ds/base-functions.c:1068:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1117:23: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1138:21: error: Uninitialized variable: log2 [uninitvar]
sollya-8.0+ds/base-functions.c:1155:21: error: Uninitialized variable: log10 [uninitvar]
sollya-8.0+ds/base-functions.c:1255:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1312:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1391:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1392:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1474:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1475:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1559:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1560:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1658:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1659:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1742:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1743:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:1823:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/base-functions.c:1824:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/base-functions.c:3512:23: error: Uninitialized variable: aI [uninitvar]
sollya-8.0+ds/base-functions.c:3542:21: error: Uninitialized variable: rI [uninitvar]
sollya-8.0+ds/base-functions.c:3515:23: error: Uninitialized variable: aI [legacyUninitvar]
sollya-8.0+ds/chain.c:181:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chain.c:214:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chain.c:97:20: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/chain.c:101:20: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/chain.c:164:24: style: Parameter 'oldString' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/chain.c:458:31: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/chain.c:458:40: style: Parameter 's2' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/chebyshevform.c:689:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chebyshevform.c:1103:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chebyshevform.c:1188:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chebyshevform.c:328:21: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/chebyshevform.c:329:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/chebyshevform.c:446:21: error: Uninitialized variable: z [uninitvar]
sollya-8.0+ds/chebyshevform.c:447:21: error: Uninitialized variable: zz [uninitvar]
sollya-8.0+ds/chebyshevform.c:448:21: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevform.c:449:21: error: Uninitialized variable: doi [uninitvar]
sollya-8.0+ds/chebyshevform.c:450:21: error: Uninitialized variable: minusOne [uninitvar]
sollya-8.0+ds/chebyshevform.c:451:21: error: Uninitialized variable: one [uninitvar]
sollya-8.0+ds/chebyshevform.c:571:21: error: Uninitialized variable: xinf [uninitvar]
sollya-8.0+ds/chebyshevform.c:571:53: error: Uninitialized variable: xsup [uninitvar]
sollya-8.0+ds/chebyshevform.c:573:21: error: Uninitialized variable: bound1 [uninitvar]
sollya-8.0+ds/chebyshevform.c:574:21: error: Uninitialized variable: bound2 [uninitvar]
sollya-8.0+ds/chebyshevform.c:576:21: error: Uninitialized variable: boundf1 [uninitvar]
sollya-8.0+ds/chebyshevform.c:577:21: error: Uninitialized variable: boundf2 [uninitvar]
sollya-8.0+ds/chebyshevform.c:579:21: error: Uninitialized variable: p_interv [uninitvar]
sollya-8.0+ds/chebyshevform.c:729:23: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevform.c:732:23: error: Uninitialized variable: pow [uninitvar]
sollya-8.0+ds/chebyshevform.c:845:25: error: Uninitialized variable: minusOne [uninitvar]
sollya-8.0+ds/chebyshevform.c:981:27: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/chebyshevform.c:983:27: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/chebyshevform.c:1062:27: error: Uninitialized variable: rangef [uninitvar]
sollya-8.0+ds/chebyshevform.c:1199:21: error: Uninitialized variable: zero [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:344:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chebyshevformaux.c:604:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/chebyshevformaux.c:925:3: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
sollya-8.0+ds/chebyshevformaux.c:926:3: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/chebyshevformaux.c:925:3: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/chebyshevformaux.c:79:21: error: Uninitialized variable: rr [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:80:21: error: Uninitialized variable: dummy [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:121:21: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:122:21: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:123:21: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:124:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:125:21: error: Uninitialized variable: mpfiPi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:126:21: error: Uninitialized variable: mpfiPiArg [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:187:21: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:188:21: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:189:21: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:190:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:191:21: error: Uninitialized variable: mpfiPi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:192:21: error: Uninitialized variable: mpfiPiArg [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:251:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:258:21: error: Uninitialized variable: intrval [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:351:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:383:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:384:21: error: Uninitialized variable: pow [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:385:21: error: Uninitialized variable: alpha [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:386:21: error: Uninitialized variable: evalP [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:453:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:536:23: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:537:23: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:543:23: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:544:23: error: Uninitialized variable: z2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:602:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:632:21: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:633:21: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:638:21: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:639:21: error: Uninitialized variable: z2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:765:21: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:766:21: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:772:21: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:773:21: error: Uninitialized variable: z2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:852:21: error: Uninitialized variable: ui [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:853:21: error: Uninitialized variable: vi [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:859:21: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:860:21: error: Uninitialized variable: z2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:906:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:907:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:908:21: error: Uninitialized variable: intrval [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:940:21: error: Uninitialized variable: z [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:941:21: error: Uninitialized variable: zz [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:942:21: error: Uninitialized variable: z1 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:943:21: error: Uninitialized variable: b0 [uninitvar]
sollya-8.0+ds/chebyshevformaux.c:944:21: error: Uninitialized variable: b1 [uninitvar]
sollya-8.0+ds/double.c:161:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:174:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:193:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:203:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:229:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:304:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:319:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:435:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:446:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:498:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:564:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:600:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:705:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:810:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:925:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1013:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1048:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1122:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1377:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1440:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1492:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1550:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1587:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1753:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1761:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1769:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1777:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:1786:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/double.c:557:5: style: Variable 'x' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/double.c:525:5: note: x is assigned
sollya-8.0+ds/double.c:557:5: note: x is overwritten
sollya-8.0+ds/double.c:593:5: style: Variable 'x' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/double.c:576:5: note: x is assigned
sollya-8.0+ds/double.c:593:5: note: x is overwritten
sollya-8.0+ds/double.c:1358:105: style:inconclusive: Function 'round_constant_expr_to_format_or_expansion_format' argument 4 names different: declaration 'op' definition 'func'. [funcArgNamesDifferent]
sollya-8.0+ds/double.h:69:105: note: Function 'round_constant_expr_to_format_or_expansion_format' argument 4 names different: declaration 'op' definition 'func'.
sollya-8.0+ds/double.c:1358:105: note: Function 'round_constant_expr_to_format_or_expansion_format' argument 4 names different: declaration 'op' definition 'func'.
sollya-8.0+ds/double.c:1737:62: style:inconclusive: Function 'sollya_mpfr_round_to_single_mode' argument 2 names different: declaration 'op' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/double.c:1020:62: note: Function 'sollya_mpfr_round_to_single_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1737:62: note: Function 'sollya_mpfr_round_to_single_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1752:57: style:inconclusive: Function 'sollya_mpfr_round_to_single' argument 2 names different: declaration 'op' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/double.h:71:57: note: Function 'sollya_mpfr_round_to_single' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1752:57: note: Function 'sollya_mpfr_round_to_single' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1756:60: style:inconclusive: Function 'sollya_mpfr_round_to_quad_mode' argument 2 names different: declaration 'op' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/double.c:1018:60: note: Function 'sollya_mpfr_round_to_quad_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1756:60: note: Function 'sollya_mpfr_round_to_quad_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1764:69: style:inconclusive: Function 'sollya_mpfr_round_to_halfprecision_mode' argument 2 names different: declaration 'op' definition 'x'. [funcArgNamesDifferent]
sollya-8.0+ds/double.c:1019:69: note: Function 'sollya_mpfr_round_to_halfprecision_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:1764:69: note: Function 'sollya_mpfr_round_to_halfprecision_mode' argument 2 names different: declaration 'op' definition 'x'.
sollya-8.0+ds/double.c:634:40: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/double.c:634:40: note: Shadow variable
sollya-8.0+ds/double.c:891:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/double.c:891:9: note: Shadow variable
sollya-8.0+ds/double.c:1101:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/double.c:1106:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/double.c:1478:21: error: Uninitialized variable: xprime [uninitvar]
sollya-8.0+ds/double.c:1542:21: error: Uninitialized variable: xprime [uninitvar]
sollya-8.0+ds/double.c:1077:6: style: Variable 'tb' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/double.c:1246:8: style: Variable 'ta' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/double.c:1247:8: style: Variable 'tb' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:316:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:857:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:1302:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:1330:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:2157:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:3319:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:3393:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:4986:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:5203:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:5548:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:5686:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:5831:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:5994:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:6071:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:6136:99: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:6275:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:8003:97: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:8768:117: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:8860:112: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:8927:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:8931:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:9213:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:9350:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:9678:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:9965:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:10003:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:10128:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:10743:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:16619:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:16663:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:16709:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:17229:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:18063:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:18877:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19324:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19353:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19545:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19559:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19715:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19752:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:19935:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable procedure [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:20133:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:20280:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:21290:81: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:21440:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:22577:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:22766:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:23283:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:23528:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:20263:18: style: The if condition is the same as the previous if condition [duplicateCondition]
sollya-8.0+ds/execute.c:20235:18: note: First condition
sollya-8.0+ds/execute.c:20263:18: note: Second condition
sollya-8.0+ds/execute.c:6742:9: style: Condition 's<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/execute.c:6741:9: note: Assignment 's=l+((unsigned long)1)', assigned value is greater than 0
sollya-8.0+ds/execute.c:6742:9: note: Condition 's<((unsigned long)1)' is always false
sollya-8.0+ds/execute.c:6762:22: style: Condition 's<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/execute.c:6761:9: note: Assignment 's=t+((unsigned long)1)', assigned value is greater than 0
sollya-8.0+ds/execute.c:6762:22: note: Condition 's<((unsigned long)1)' is always false
sollya-8.0+ds/execute.c:10078:60: warning: Possible null pointer dereference: curr [nullPointer]
sollya-8.0+ds/execute.c:10071:20: note: Assignment 'revertedIdents=NULL', assigned value is 0
sollya-8.0+ds/execute.c:10072:24: note: Assuming condition is false
sollya-8.0+ds/execute.c:10076:8: note: curr is assigned 'revertedIdents' here.
sollya-8.0+ds/execute.c:10078:60: note: Null pointer dereference
sollya-8.0+ds/execute.c:10079:38: warning: Possible null pointer dereference: curr [nullPointer]
sollya-8.0+ds/execute.c:10071:20: note: Assignment 'revertedIdents=NULL', assigned value is 0
sollya-8.0+ds/execute.c:10072:24: note: Assuming condition is false
sollya-8.0+ds/execute.c:10076:8: note: curr is assigned 'revertedIdents' here.
sollya-8.0+ds/execute.c:10079:38: note: Null pointer dereference
sollya-8.0+ds/execute.c:10083:10: warning: Possible null pointer dereference: curr [nullPointer]
sollya-8.0+ds/execute.c:10071:20: note: Assignment 'revertedIdents=NULL', assigned value is 0
sollya-8.0+ds/execute.c:10072:24: note: Assuming condition is false
sollya-8.0+ds/execute.c:10076:8: note: curr is assigned 'revertedIdents' here.
sollya-8.0+ds/execute.c:10083:10: note: Null pointer dereference
sollya-8.0+ds/execute.c:20220:53: warning: Possible null pointer dereference: args [nullPointer]
sollya-8.0+ds/execute.c:25745:92: note: Calling function 'executeExternalProcedure', 3rd argument 'NULL' value is 0
sollya-8.0+ds/execute.c:20976:58: note: Calling function 'executeExternalProcedureInner', 3rd argument 'args' value is 0
sollya-8.0+ds/execute.c:20220:53: note: Null pointer dereference
sollya-8.0+ds/execute.c:25442:7: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
sollya-8.0+ds/execute.c:25445:9: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/execute.c:25442:7: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/execute.c:28145:15: style: Variable 'pTemp2' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/execute.c:28144:15: note: pTemp2 is assigned
sollya-8.0+ds/execute.c:28145:15: note: pTemp2 is overwritten
sollya-8.0+ds/execute.c:5884:33: style:inconclusive: Function 'evaluateThingToInteger' argument 1 names different: declaration 'res' definition 'result'. [funcArgNamesDifferent]
sollya-8.0+ds/execute.h:606:33: note: Function 'evaluateThingToInteger' argument 1 names different: declaration 'res' definition 'result'.
sollya-8.0+ds/execute.c:5884:33: note: Function 'evaluateThingToInteger' argument 1 names different: declaration 'res' definition 'result'.
sollya-8.0+ds/execute.c:421:31: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:421:31: note: Shadow variable
sollya-8.0+ds/execute.c:8996:9: style: Local variable 'temp_node' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:143:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:8996:9: note: Shadow variable
sollya-8.0+ds/execute.c:9311:9: style: Local variable 'temp_node' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:143:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:9311:9: note: Shadow variable
sollya-8.0+ds/execute.c:9825:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:9825:9: note: Shadow variable
sollya-8.0+ds/execute.c:9858:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:9858:9: note: Shadow variable
sollya-8.0+ds/execute.c:10226:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:10226:9: note: Shadow variable
sollya-8.0+ds/execute.c:10230:9: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:10230:9: note: Shadow variable
sollya-8.0+ds/execute.c:10230:22: style: Local variable 'tempString2' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:158:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:10230:22: note: Shadow variable
sollya-8.0+ds/execute.c:10235:8: style: Local variable 'tempIntPtr' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:166:13: note: Shadowed declaration
sollya-8.0+ds/execute.c:10235:8: note: Shadow variable
sollya-8.0+ds/execute.c:13113:9: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:13113:9: note: Shadow variable
sollya-8.0+ds/execute.c:19421:21: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:19421:21: note: Shadow variable
sollya-8.0+ds/execute.c:19921:9: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:19921:9: note: Shadow variable
sollya-8.0+ds/execute.c:19966:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:19966:9: note: Shadow variable
sollya-8.0+ds/execute.c:20218:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:20218:9: note: Shadow variable
sollya-8.0+ds/execute.c:21311:28: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:21311:28: note: Shadow variable
sollya-8.0+ds/execute.c:23469:16: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:23469:16: note: Shadow variable
sollya-8.0+ds/execute.c:23473:9: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:23473:9: note: Shadow variable
sollya-8.0+ds/execute.c:23473:22: style: Local variable 'tempString2' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:158:14: note: Shadowed declaration
sollya-8.0+ds/execute.c:23473:22: note: Shadow variable
sollya-8.0+ds/execute.c:294:33: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:4226:9: style: Variable 'constString' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:6105:71: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6146:58: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6171:56: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6195:67: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6223:62: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6261:65: style: Parameter 'defaultVal' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6736:37: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:6877:56: style: Parameter 'sizes' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:10105:9: style: Variable 'myIdent' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:10107:9: style: Variable 'otherIdent' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:10227:20: style: Variable 'tempLibraryFunction' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:10228:21: style: Variable 'tempLibraryProcedure' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:10229:16: style: Variable 'tempLibraryData' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:12779:21: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:12792:23: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13111:24: style: Parameter 'string1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13111:39: style: Parameter 'string2' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13138:28: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13151:33: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13165:30: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13179:30: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13192:32: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:13204:40: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14113:24: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14125:29: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14137:25: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14150:43: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14163:43: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14189:33: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14201:34: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14214:32: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14226:29: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14238:37: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14251:32: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:14474:36: style: Parameter 'string1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:19921:9: style: Variable 'tempString' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/execute.c:22274:37: style: Parameter 'ident' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/execute.c:176:21: error: Uninitialized variable: aI [uninitvar]
sollya-8.0+ds/execute.c:177:21: error: Uninitialized variable: bI [uninitvar]
sollya-8.0+ds/execute.c:20197:21: error: Uninitialized variable: opI [uninitvar]
sollya-8.0+ds/execute.c:20198:21: error: Uninitialized variable: ropI [uninitvar]
sollya-8.0+ds/execute.c:23121:21: error: Uninitialized variable: I [uninitvar]
sollya-8.0+ds/execute.c:23122:21: error: Uninitialized variable: deltaI [uninitvar]
sollya-8.0+ds/execute.c:23212:25: error: Uninitialized variable: tempIA [uninitvar]
sollya-8.0+ds/execute.c:23213:25: error: Uninitialized variable: tempIB [uninitvar]
sollya-8.0+ds/execute.c:5736:6: style: Variable 'res' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:9410:11: style: Variable 'shown' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:9476:15: style: Variable 'shown' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:10810:41: style: Variable 'resE' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:10811:40: style: Variable 'resD' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:10813:40: style: Variable 'resD' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:19485:27: style: Variable 'last_element_is_int' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:24542:10: style: Variable 'resJ' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:24600:11: style: Variable 'resB' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/execute.c:26038:25: style: Variable 'undoVariableTrick' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:167:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:290:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:434:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:559:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:719:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:871:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:955:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:1021:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:1114:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:1178:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:1545:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2096:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2381:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2397:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2585:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2607:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2653:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:2934:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3144:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3176:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3310:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3336:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3353:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3813:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:3852:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:4383:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:5245:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:5271:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:5830:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:5911:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6251:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6527:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6643:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6773:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6897:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:6956:74: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7098:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7269:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7307:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7428:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7613:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:7879:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8079:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8226:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8287:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8340:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8434:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8507:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8804:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:8999:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9098:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9203:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9461:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9584:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9824:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9847:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9878:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:9932:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10113:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10330:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10616:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10674:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10734:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10780:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10955:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:10982:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11148:90: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11315:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11356:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11474:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11623:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11766:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11778:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11790:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11809:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11821:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11834:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:11917:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/expression.c:5866:8: warning: Either the condition 'tree!=NULL' is redundant or there is possible null pointer dereference: tree. [nullPointerRedundantCheck]
sollya-8.0+ds/expression.c:5846:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:5844:39: note: Calling function 'simplifyTreeInnerst', 1st argument 'tree' value is 0
sollya-8.0+ds/expression.c:5866:8: note: Null pointer dereference
sollya-8.0+ds/expression.c:6230:7: warning: Either the condition 'tree!=NULL' is redundant or there is possible null pointer dereference: tree. [nullPointerRedundantCheck]
sollya-8.0+ds/expression.c:6213:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:6211:49: note: Calling function 'simplifyAllButDivisionInnerst', 1st argument 'tree' value is 0
sollya-8.0+ds/expression.c:6230:7: note: Null pointer dereference
sollya-8.0+ds/expression.c:9320:7: warning: Either the condition 'tree!=NULL' is redundant or there is possible null pointer dereference: tree. [nullPointerRedundantCheck]
sollya-8.0+ds/expression.c:9360:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:9358:31: note: Calling function 'hornerInner', 1st argument 'tree' value is 0
sollya-8.0+ds/expression.c:9416:16: note: Calling function 'isHorner', 1st argument 'tree' value is 0
sollya-8.0+ds/expression.c:9320:7: note: Null pointer dereference
sollya-8.0+ds/expression.c:9367:9: warning: Either the condition 'tree!=NULL' is redundant or there is possible null pointer dereference: tree. [nullPointerRedundantCheck]
sollya-8.0+ds/expression.c:9360:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:9367:9: note: Null pointer dereference
sollya-8.0+ds/expression.c:10312:12: warning: Either the condition 'copy!=NULL' is redundant or there is possible null pointer dereference: copy. [nullPointerRedundantCheck]
sollya-8.0+ds/expression.c:10291:17: note: Assuming that condition 'copy!=NULL' is not redundant
sollya-8.0+ds/expression.c:10312:12: note: Null pointer dereference
sollya-8.0+ds/expression.c:7283:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
sollya-8.0+ds/expression.c:7574:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
sollya-8.0+ds/expression.c:2266:27: style:inconclusive: Function 'sprintValue' argument 1 names different: declaration 'value' definition 'valPtr'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:456:27: note: Function 'sprintValue' argument 1 names different: declaration 'value' definition 'valPtr'.
sollya-8.0+ds/expression.c:2266:27: note: Function 'sprintValue' argument 1 names different: declaration 'value' definition 'valPtr'.
sollya-8.0+ds/expression.c:5590:20: warning: Function 'bezout' argument order different: declaration 'g, r, a, b, p, q' definition 'g, r, u, v, a, b' [funcArgOrderDifferent]
sollya-8.0+ds/expression.h:483:20: note: Function 'bezout' argument order different: declaration 'g, r, a, b, p, q' definition 'g, r, u, v, a, b'
sollya-8.0+ds/expression.c:5590:20: note: Function 'bezout' argument order different: declaration 'g, r, a, b, p, q' definition 'g, r, u, v, a, b'
sollya-8.0+ds/expression.c:10656:28: style:inconclusive: Function 'readHexadecimal' argument 1 names different: declaration 'res' definition 'rop'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:436:28: note: Function 'readHexadecimal' argument 1 names different: declaration 'res' definition 'rop'.
sollya-8.0+ds/expression.c:10656:28: note: Function 'readHexadecimal' argument 1 names different: declaration 'res' definition 'rop'.
sollya-8.0+ds/expression.c:11581:27: style:inconclusive: Function 'makeCanonical' argument 1 names different: declaration 'func' definition 'tree'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:454:27: note: Function 'makeCanonical' argument 1 names different: declaration 'func' definition 'tree'.
sollya-8.0+ds/expression.c:11581:27: note: Function 'makeCanonical' argument 1 names different: declaration 'func' definition 'tree'.
sollya-8.0+ds/expression.c:11761:33: style:inconclusive: Function 'makeConstantDouble' argument 1 names different: declaration 'x' definition 'd'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:489:33: note: Function 'makeConstantDouble' argument 1 names different: declaration 'x' definition 'd'.
sollya-8.0+ds/expression.c:11761:33: note: Function 'makeConstantDouble' argument 1 names different: declaration 'x' definition 'd'.
sollya-8.0+ds/expression.c:11773:27: style:inconclusive: Function 'makeConstantInt' argument 1 names different: declaration 'x' definition 'a'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:490:27: note: Function 'makeConstantInt' argument 1 names different: declaration 'x' definition 'a'.
sollya-8.0+ds/expression.c:11773:27: note: Function 'makeConstantInt' argument 1 names different: declaration 'x' definition 'a'.
sollya-8.0+ds/expression.c:11785:44: style:inconclusive: Function 'makeConstantUnsignedInt' argument 1 names different: declaration 'x' definition 'a'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:491:44: note: Function 'makeConstantUnsignedInt' argument 1 names different: declaration 'x' definition 'a'.
sollya-8.0+ds/expression.c:11785:44: note: Function 'makeConstantUnsignedInt' argument 1 names different: declaration 'x' definition 'a'.
sollya-8.0+ds/expression.c:11860:48: style:inconclusive: Function 'makeUnary' argument 2 names different: declaration 'baseFun' definition 'f'. [funcArgNamesDifferent]
sollya-8.0+ds/expression.h:500:48: note: Function 'makeUnary' argument 2 names different: declaration 'baseFun' definition 'f'.
sollya-8.0+ds/expression.c:11860:48: note: Function 'makeUnary' argument 2 names different: declaration 'baseFun' definition 'f'.
sollya-8.0+ds/expression.c:5253:11: style: Local variable 'mpfr_temp' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:144:16: note: Shadowed declaration
sollya-8.0+ds/expression.c:5253:11: note: Shadow variable
sollya-8.0+ds/expression.c:5254:9: style: Local variable 'temp_node' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:143:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:5254:9: note: Shadow variable
sollya-8.0+ds/expression.c:7165:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:7165:9: note: Shadow variable
sollya-8.0+ds/expression.c:7299:38: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:7299:38: note: Shadow variable
sollya-8.0+ds/expression.c:7300:22: style: Local variable 'mpfr_temp' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:144:16: note: Shadowed declaration
sollya-8.0+ds/expression.c:7300:22: note: Shadow variable
sollya-8.0+ds/expression.c:7598:31: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:7598:31: note: Shadow variable
sollya-8.0+ds/expression.c:7710:31: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:7710:31: note: Shadow variable
sollya-8.0+ds/expression.c:11299:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:11299:9: note: Shadow variable
sollya-8.0+ds/expression.c:11349:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:11349:9: note: Shadow variable
sollya-8.0+ds/expression.c:11444:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/expression.c:11444:9: note: Shadow variable
sollya-8.0+ds/expression.c:360:9: style: Variable 'temp' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/expression.c:552:27: style: Variable 'temp1' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/expression.c:10656:39: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/expression.c:10705:31: style: Variable 'curr' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/expression.c:175:21: error: Uninitialized variable: opI [uninitvar]
sollya-8.0+ds/expression.c:176:21: error: Uninitialized variable: ropItemp [uninitvar]
sollya-8.0+ds/expression.c:183:36: error: Uninitialized variable: ropI [uninitvar]
sollya-8.0+ds/expression.c:195:21: error: Uninitialized variable: opI [uninitvar]
sollya-8.0+ds/expression.c:196:21: error: Uninitialized variable: ropItemp [uninitvar]
sollya-8.0+ds/expression.c:203:36: error: Uninitialized variable: ropI [uninitvar]
sollya-8.0+ds/expression.c:2271:29: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/expression.c:3965:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/expression.c:3967:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/expression.c:4098:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/expression.c:4100:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/expression.c:6192:23: error: Uninitialized variable: tempI [uninitvar]
sollya-8.0+ds/expression.c:6474:23: error: Uninitialized variable: tempI [uninitvar]
sollya-8.0+ds/expression.c:6522:25: error: Uninitialized variable: X [uninitvar]
sollya-8.0+ds/expression.c:6517:47: note: Assuming condition is false
sollya-8.0+ds/expression.c:6522:25: note: Uninitialized variable: X
sollya-8.0+ds/expression.c:6524:25: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/expression.c:6517:47: note: Assuming condition is false
sollya-8.0+ds/expression.c:6524:25: note: Uninitialized variable: Y
sollya-8.0+ds/expression.c:6601:23: error: Uninitialized variable: stackI [uninitvar]
sollya-8.0+ds/expression.c:10239:23: error: Uninitialized variable: tEval [uninitvar]
sollya-8.0+ds/expression.c:10240:23: error: Uninitialized variable: treeEval [uninitvar]
sollya-8.0+ds/expression.c:10253:25: error: Uninitialized variable: aPrioriBoundForConstantExpr [uninitvar]
sollya-8.0+ds/expression.c:10460:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/expression.c:2758:15: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2775:15: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2792:15: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2809:15: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2840:15: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2861:12: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2875:12: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2904:12: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:2920:12: style: Variable 'tempBuf' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:10268:34: style: Variable 'haveAPrioriBoundForConstantExpr' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:10344:39: style: Variable 'haveAPrioriBoundForConstantExpr' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/expression.c:10447:37: style: Variable 'haveAPrioriBoundForConstantExpr' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/external.c:351:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/external.c:320:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/external.c:324:5: error: Resource leak: descr [resourceLeak]
sollya-8.0+ds/external.c:352:5: error: Resource leak: descr [resourceLeak]
sollya-8.0+ds/external.c:369:5: error: Resource leak: descr [resourceLeak]
sollya-8.0+ds/external.c:100:23: style: Parameter 'command' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/external.c:110:56: style: Parameter 'input' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/external.c:293:139: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/fplll_wrapper.cpp:176:38: style: Parameter 'reducedVect' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/fplll_wrapper.cpp:176:58: style: Parameter 'exactMatrix' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/fpminimax.c:280:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/fpminimax.c:357:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/fpminimax.c:422:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/fpminimax.c:650:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/general.c:2787:50: error: syntax error [syntaxError]
sollya-8.0+ds/hash.c:265:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:162:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:340:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:397:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:496:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:916:76: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:1114:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:1413:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/hooks.c:244:11: style: Condition 'deg<=0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/hooks.c:240:11: note: Assuming that condition 'deg<0' is not redundant
sollya-8.0+ds/hooks.c:243:3: note: deg is incremented', new value is 0
sollya-8.0+ds/hooks.c:244:11: note: Condition 'deg<=0' is always false
sollya-8.0+ds/hooks.c:292:10: style: Condition 'deg<=0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/hooks.c:288:10: note: Assuming that condition 'deg<0' is not redundant
sollya-8.0+ds/hooks.c:291:2: note: deg is incremented', new value is 0
sollya-8.0+ds/hooks.c:292:10: note: Condition 'deg<=0' is always false
sollya-8.0+ds/hooks.c:1011:18: style: Condition 'degree==0' is always true [knownConditionTrueFalse]
sollya-8.0+ds/hooks.c:977:15: note: Assuming that condition 'degree>=0' is not redundant
sollya-8.0+ds/hooks.c:979:16: note: Assuming that condition 'degree>=1' is not redundant
sollya-8.0+ds/hooks.c:1011:18: note: Condition 'degree==0' is always true
sollya-8.0+ds/hooks.c:163:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/hooks.c:164:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/hooks.c:394:23: error: Uninitialized variable: domA [uninitvar]
sollya-8.0+ds/hooks.c:395:23: error: Uninitialized variable: domB [uninitvar]
sollya-8.0+ds/hooks.c:490:21: error: Uninitialized variable: d [uninitvar]
sollya-8.0+ds/hooks.c:491:21: error: Uninitialized variable: dd [uninitvar]
sollya-8.0+ds/hooks.c:492:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/hooks.c:493:21: error: Uninitialized variable: yy [uninitvar]
sollya-8.0+ds/hooks.c:774:21: error: Uninitialized variable: redX [uninitvar]
sollya-8.0+ds/hooks.c:783:21: error: Uninitialized variable: myY [uninitvar]
sollya-8.0+ds/hooks.c:798:21: error: Uninitialized variable: myYRnd [uninitvar]
sollya-8.0+ds/hooks.c:799:21: error: Uninitialized variable: myYRndWithDelta [uninitvar]
sollya-8.0+ds/hooks.c:1040:25: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/hooks.c:1427:21: error: Uninitialized variable: globalDelta [uninitvar]
sollya-8.0+ds/hooks.c:1431:21: error: Uninitialized variable: shiftedDom [uninitvar]
sollya-8.0+ds/hooks.c:1434:21: error: Uninitialized variable: c [uninitvar]
sollya-8.0+ds/implement.c:240:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implement.c:434:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implement.c:2226:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implement.c:6006:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implement.c:6053:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implement.c:6181:7: style: Condition '!determinePowers(fpCoefficients,degree,mulPrec,powPrec)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/implement.c:6181:23: note: Calling function 'determinePowers' returns 1
sollya-8.0+ds/implement.c:6181:7: note: Condition '!determinePowers(fpCoefficients,degree,mulPrec,powPrec)' is always false
sollya-8.0+ds/implement.c:235:13: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/implement.c:235:13: note: Shadow variable
sollya-8.0+ds/implement.c:204:60: style: Parameter 'mulPrec' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implement.c:385:52: style: Parameter 'coeffsAutoRound' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implement.c:530:26: style: Parameter 'powPrec' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implement.c:2299:48: style: Parameter 'addPrec' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implement.c:2299:62: style: Parameter 'mulPrec' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implementconst.c:111:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable var [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:313:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:569:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:609:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable var [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:708:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_exp_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:764:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:964:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:1100:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:1169:105: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:1236:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/implementconst.c:1238:5: style: Statements following noreturn function 'exit()' will never be executed. [unreachableCode]
sollya-8.0+ds/implementconst.c:366:35: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implementconst.c:383:32: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implementconst.c:400:33: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implementconst.c:545:33: style: Parameter 'cond' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/implementconst.c:731:21: error: Uninitialized variable: a [uninitvar]
sollya-8.0+ds/implementconst.c:732:21: error: Uninitialized variable: b [uninitvar]
sollya-8.0+ds/implementconst.c:733:21: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/implementconst.c:734:21: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/implementconst.c:735:21: error: Uninitialized variable: tmp [uninitvar]
sollya-8.0+ds/implementconst.c:939:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/implementconst.c:940:21: error: Uninitialized variable: a [uninitvar]
sollya-8.0+ds/implementconst.c:941:21: error: Uninitialized variable: b [uninitvar]
sollya-8.0+ds/implementconst.c:942:21: error: Uninitialized variable: tmp [uninitvar]
sollya-8.0+ds/implementconst.c:943:21: error: Uninitialized variable: tmp2 [uninitvar]
sollya-8.0+ds/infnorm.c:118:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:147:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:169:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:320:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:342:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:502:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:1861:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2377:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2440:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2643:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2758:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2825:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3070:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3312:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3380:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3471:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3588:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3613:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3680:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3743:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3924:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:3971:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4044:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4112:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4434:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4709:91: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4833:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:4939:91: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:5023:89: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:5434:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:5673:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:5771:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:5974:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:6076:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:6332:98: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:6466:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:6957:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:7004:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:7046:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:7080:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:7339:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:7369:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/infnorm.c:2041:15: style: Condition 'deriv!=NULL' is always true [knownConditionTrueFalse]
sollya-8.0+ds/infnorm.c:2795:64: style:inconclusive: Function 'uncertifiedInfnorm' argument 3 names different: declaration 'tree' definition 'f'. [funcArgNamesDifferent]
sollya-8.0+ds/infnorm.h:78:64: note: Function 'uncertifiedInfnorm' argument 3 names different: declaration 'tree' definition 'f'.
sollya-8.0+ds/infnorm.c:2795:64: note: Function 'uncertifiedInfnorm' argument 3 names different: declaration 'tree' definition 'f'.
sollya-8.0+ds/infnorm.c:7402:32: style:inconclusive: Function 'evaluateSign' argument 2 names different: declaration 'rawFunc' definition 'func'. [funcArgNamesDifferent]
sollya-8.0+ds/infnorm.h:102:32: note: Function 'evaluateSign' argument 2 names different: declaration 'rawFunc' definition 'func'.
sollya-8.0+ds/infnorm.c:7402:32: note: Function 'evaluateSign' argument 2 names different: declaration 'rawFunc' definition 'func'.
sollya-8.0+ds/infnorm.c:410:45: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:410:45: note: Shadow variable
sollya-8.0+ds/infnorm.c:2344:34: style: Local variable 'mpfr_temp' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:144:16: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:2344:34: note: Shadow variable
sollya-8.0+ds/infnorm.c:2407:34: style: Local variable 'mpfr_temp' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:144:16: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:2407:34: note: Shadow variable
sollya-8.0+ds/infnorm.c:6953:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:6953:9: note: Shadow variable
sollya-8.0+ds/infnorm.c:7058:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:7058:9: note: Shadow variable
sollya-8.0+ds/infnorm.c:7235:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/infnorm.c:7235:9: note: Shadow variable
sollya-8.0+ds/infnorm.c:370:54: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/infnorm.c:4323:47: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/infnorm.c:340:21: error: Uninitialized variable: xI [uninitvar]
sollya-8.0+ds/infnorm.c:494:22: error: Uninitialized variable: tempInterval [uninitvar]
sollya-8.0+ds/infnorm.c:768:21: error: Uninitialized variable: stack1 [uninitvar]
sollya-8.0+ds/infnorm.c:769:21: error: Uninitialized variable: stack2 [uninitvar]
sollya-8.0+ds/infnorm.c:770:21: error: Uninitialized variable: stack3 [uninitvar]
sollya-8.0+ds/infnorm.c:1493:25: error: Uninitialized variable: newExcludeTemp [uninitvar]
sollya-8.0+ds/infnorm.c:1751:23: error: Uninitialized variable: resultNumerator [uninitvar]
sollya-8.0+ds/infnorm.c:1752:23: error: Uninitialized variable: resultDenominator [uninitvar]
sollya-8.0+ds/infnorm.c:1753:23: error: Uninitialized variable: resultIndirect [uninitvar]
sollya-8.0+ds/infnorm.c:1853:20: error: Uninitialized variable: tempInterval [uninitvar]
sollya-8.0+ds/infnorm.c:1957:21: error: Uninitialized variable: xZI [uninitvar]
sollya-8.0+ds/infnorm.c:1958:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/infnorm.c:1959:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/infnorm.c:1960:21: error: Uninitialized variable: constantTerm [uninitvar]
sollya-8.0+ds/infnorm.c:1961:21: error: Uninitialized variable: linearTerm [uninitvar]
sollya-8.0+ds/infnorm.c:1962:21: error: Uninitialized variable: resultTaylor [uninitvar]
sollya-8.0+ds/infnorm.c:1963:21: error: Uninitialized variable: resultDirect [uninitvar]
sollya-8.0+ds/infnorm.c:1997:23: error: Uninitialized variable: xZI2 [uninitvar]
sollya-8.0+ds/infnorm.c:2159:23: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/infnorm.c:2170:25: error: Uninitialized variable: lI [uninitvar]
sollya-8.0+ds/infnorm.c:2171:25: error: Uninitialized variable: rI [uninitvar]
sollya-8.0+ds/infnorm.c:2628:21: error: Uninitialized variable: evalFuncOnInterval [uninitvar]
sollya-8.0+ds/infnorm.c:2635:21: error: Uninitialized variable: rInterv [uninitvar]
sollya-8.0+ds/infnorm.c:2636:21: error: Uninitialized variable: lInterv [uninitvar]
sollya-8.0+ds/infnorm.c:3121:21: error: Uninitialized variable: rangeI [uninitvar]
sollya-8.0+ds/infnorm.c:3122:21: error: Uninitialized variable: resI [uninitvar]
sollya-8.0+ds/infnorm.c:3245:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/infnorm.c:3246:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/infnorm.c:3292:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/infnorm.c:3309:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/infnorm.c:3319:23: error: Uninitialized variable: myY [uninitvar]
sollya-8.0+ds/infnorm.c:3320:23: error: Uninitialized variable: myY2 [uninitvar]
sollya-8.0+ds/infnorm.c:3469:21: error: Uninitialized variable: rangeI [uninitvar]
sollya-8.0+ds/infnorm.c:3520:21: error: Uninitialized variable: evaluateOnRange [uninitvar]
sollya-8.0+ds/infnorm.c:3546:21: error: Uninitialized variable: rangeLeft [uninitvar]
sollya-8.0+ds/infnorm.c:3547:21: error: Uninitialized variable: rangeRight [uninitvar]
sollya-8.0+ds/infnorm.c:3582:21: error: Uninitialized variable: rangeI [uninitvar]
sollya-8.0+ds/infnorm.c:3583:21: error: Uninitialized variable: infnormvalI [uninitvar]
sollya-8.0+ds/infnorm.c:4148:21: error: Uninitialized variable: rangeI [uninitvar]
sollya-8.0+ds/infnorm.c:4149:21: error: Uninitialized variable: resI [uninitvar]
sollya-8.0+ds/infnorm.c:6456:21: error: Uninitialized variable: dummyI [uninitvar]
sollya-8.0+ds/infnorm.c:6465:21: error: Uninitialized variable: cutoffI [uninitvar]
sollya-8.0+ds/infnorm.c:6491:21: error: Uninitialized variable: yI [uninitvar]
sollya-8.0+ds/infnorm.c:6501:23: error: Uninitialized variable: xI [uninitvar]
sollya-8.0+ds/infnorm.c:6933:84: error: Uninitialized variable: dummy [uninitvar]
sollya-8.0+ds/infnorm.c:7211:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/infnorm.c:3332:23: error: Uninitialized variable: myY [legacyUninitvar]
sollya-8.0+ds/infnorm.c:6509:23: error: Uninitialized variable: xI [legacyUninitvar]
sollya-8.0+ds/integral.c:80:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/integral.c:176:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/integral.c:71:42: style:inconclusive: Function 'integral' argument 2 names different: declaration 'range' definition 'interval'. [funcArgNamesDifferent]
sollya-8.0+ds/integral.h:58:42: note: Function 'integral' argument 2 names different: declaration 'range' definition 'interval'.
sollya-8.0+ds/integral.c:71:42: note: Function 'integral' argument 2 names different: declaration 'range' definition 'interval'.
sollya-8.0+ds/integral.c:112:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/integral.c:113:21: error: Uninitialized variable: val [uninitvar]
sollya-8.0+ds/library.c:533:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable functionList [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:567:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable functionList [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:601:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable functionList [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:630:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable functionList [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:831:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:893:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/library.c:391:2: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:483:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:911:5: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:914:7: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:988:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1204:2: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1245:7: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1281:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1495:2: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1536:7: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1569:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1810:2: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1848:7: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1881:3: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:2059:2: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:2092:7: warning: Return value of function dlerror() is not used. [ignoredReturnValue]
sollya-8.0+ds/library.c:1084:19: style: The statement 'if (res->dealloc!=dealloc) res->dealloc=dealloc' is logically equivalent to 'res->dealloc=dealloc'. [duplicateConditionalAssign]
sollya-8.0+ds/library.c:1085:17: note: Assignment 'res->dealloc=dealloc'
sollya-8.0+ds/library.c:1084:19: note: Condition 'res->dealloc!=dealloc' is redundant
sollya-8.0+ds/library.c:1374:19: style: The statement 'if (res->dealloc!=dealloc) res->dealloc=dealloc' is logically equivalent to 'res->dealloc=dealloc'. [duplicateConditionalAssign]
sollya-8.0+ds/library.c:1375:17: note: Assignment 'res->dealloc=dealloc'
sollya-8.0+ds/library.c:1374:19: note: Condition 'res->dealloc!=dealloc' is redundant
sollya-8.0+ds/library.c:1668:19: style: The statement 'if (res->dealloc!=dealloc) res->dealloc=dealloc' is logically equivalent to 'res->dealloc=dealloc'. [duplicateConditionalAssign]
sollya-8.0+ds/library.c:1669:17: note: Assignment 'res->dealloc=dealloc'
sollya-8.0+ds/library.c:1668:19: note: Condition 'res->dealloc!=dealloc' is redundant
sollya-8.0+ds/library.c:1963:22: style: The statement 'if (res->dealloc!=dealloc) res->dealloc=dealloc' is logically equivalent to 'res->dealloc=dealloc'. [duplicateConditionalAssign]
sollya-8.0+ds/library.c:1964:20: note: Assignment 'res->dealloc=dealloc'
sollya-8.0+ds/library.c:1963:22: note: Condition 'res->dealloc!=dealloc' is redundant
sollya-8.0+ds/library.c:404:52: style: Parameter 'lh' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:424:57: style: Parameter 'hdl' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:723:33: style: Parameter 'func' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:723:76: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:777:30: style: Parameter 'basename' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:787:31: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:846:39: style: Parameter 'libraryName' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1022:36: style: Parameter 'functionName' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1049:41: style: Parameter 'func' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1049:66: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1312:44: style: Parameter 'functionName' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1339:49: style: Parameter 'func' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1339:74: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1595:38: style: Parameter 'procedureName' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1622:43: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1622:67: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1649:69: style: Parameter 'argTypes' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1903:28: style: Parameter 'symbolName' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:1930:33: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/library.c:995:21: error: Uninitialized variable: rop [uninitvar]
sollya-8.0+ds/library.c:996:21: error: Uninitialized variable: op [uninitvar]
sollya-8.0+ds/match.c:99:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:145:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:207:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:526:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:599:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:630:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:807:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:1300:88: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:1488:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/match.c:760:8: style: Variable 'okay' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/match.c:740:8: note: okay is assigned
sollya-8.0+ds/match.c:760:8: note: okay is overwritten
sollya-8.0+ds/match.c:71:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:71:9: note: Shadow variable
sollya-8.0+ds/match.c:216:85: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:216:85: note: Shadow variable
sollya-8.0+ds/match.c:536:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:536:9: note: Shadow variable
sollya-8.0+ds/match.c:873:20: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:873:20: note: Shadow variable
sollya-8.0+ds/match.c:1237:47: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:1237:47: note: Shadow variable
sollya-8.0+ds/match.c:1344:47: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/match.c:1344:47: note: Shadow variable
sollya-8.0+ds/match.c:94:48: style: Parameter 'identifier' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/match.c:1020:26: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/match.c:1476:9: style: Variable 'currPossibleMatcherName' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/match.c:1476:35: style: Variable 'currThingToMatchName' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/mpfi-compat.c:122:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_INEXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:169:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:212:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:221:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:230:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:370:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:471:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:491:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:500:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:509:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:520:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:582:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:583:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:584:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:619:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:620:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:621:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:622:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:801:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:903:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1000:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1152:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1195:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1277:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1425:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFI_FLAGS_BOTH_ENDPOINTS_EXACT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1453:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1780:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1818:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1857:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1883:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1909:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/mpfi-compat.c:1480:21: error: Uninitialized variable: res [uninitvar]
sollya-8.0+ds/mpfi-compat.c:633:12: style: Variable 'sign' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/mpfi-compat.c:667:12: style: Variable 'sign' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/plot.c:107:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/plot.c:142:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/plot.c:470:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/plot.c:104:31: style: Parameter 'fd' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/plot.c:113:100: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/polynomials.c:267:91: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:351:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:381:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:411:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:561:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:577:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1096:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1220:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1815:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1884:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1955:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2024:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2089:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2098:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2152:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2211:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2501:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2516:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:2559:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:3499:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:3690:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:4614:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:4725:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:4869:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:4929:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:5052:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:5106:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:5359:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:6952:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:7702:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:10290:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:10364:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:10460:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:10585:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:10858:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:11353:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:11675:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:11791:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:11868:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:12432:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable right [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:12607:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:12691:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:12814:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:13264:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:13443:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:13883:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:13954:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:15661:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:15889:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/polynomials.c:1359:10: style: Condition 'rM>0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1355:9: note: Assuming that condition 'r<0' is not redundant
sollya-8.0+ds/polynomials.c:1357:11: note: Assuming condition is false
sollya-8.0+ds/polynomials.c:1358:8: note: Assignment 'rM=-r', assigned value is less than 1
sollya-8.0+ds/polynomials.c:1359:10: note: Condition 'rM>0' is always false
sollya-8.0+ds/polynomials.c:1531:12: style: Condition 'cT>0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1530:10: note: Assignment 'cT=-cAbs', assigned value is less than 1
sollya-8.0+ds/polynomials.c:1531:12: note: Condition 'cT>0' is always false
sollya-8.0+ds/polynomials.c:1577:12: style: Condition 'cT>0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1576:10: note: Assignment 'cT=-cAbs', assigned value is less than 1
sollya-8.0+ds/polynomials.c:1577:12: note: Condition 'cT>0' is always false
sollya-8.0+ds/polynomials.c:1645:10: style: Condition 'aa!=a' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1643:7: note: a64 is assigned 'a' here.
sollya-8.0+ds/polynomials.c:1644:6: note: aa is assigned 'a64' here.
sollya-8.0+ds/polynomials.c:1645:10: note: Condition 'aa!=a' is always false
sollya-8.0+ds/polynomials.c:1649:10: style: Condition 'bb!=b' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1647:7: note: b64 is assigned 'b' here.
sollya-8.0+ds/polynomials.c:1648:6: note: bb is assigned 'b64' here.
sollya-8.0+ds/polynomials.c:1649:10: note: Condition 'bb!=b' is always false
sollya-8.0+ds/polynomials.c:1684:12: style: Condition 'cT>0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1683:10: note: Assignment 'cT=-cAbs', assigned value is less than 1
sollya-8.0+ds/polynomials.c:1684:12: note: Condition 'cT>0' is always false
sollya-8.0+ds/polynomials.c:1729:12: style: Condition 'cT>0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1728:10: note: Assignment 'cT=-cAbs', assigned value is less than 1
sollya-8.0+ds/polynomials.c:1729:12: note: Condition 'cT>0' is always false
sollya-8.0+ds/polynomials.c:1757:9: style: Condition 'r==0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:1766:10: style: Condition 'aa==0' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:4767:12: style: Condition 'bAbs>=1' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:4764:61: note: Assuming that condition 'b->value.integer>=1' is not redundant
sollya-8.0+ds/polynomials.c:4765:17: note: Assignment 'bAbs=b->value.integer', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:4767:12: note: Condition 'bAbs>=1' is always true
sollya-8.0+ds/polynomials.c:4767:25: style: Condition 'bb==b->value.integer' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:4765:7: note: bAbs is assigned 'b->value.integer' here.
sollya-8.0+ds/polynomials.c:4766:5: note: bb is assigned 'bAbs' here.
sollya-8.0+ds/polynomials.c:4767:25: note: Condition 'bb==b->value.integer' is always true
sollya-8.0+ds/polynomials.c:5893:17: style: Condition 'startSize==0u' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:5892:19: note: Assignment 'startSize=deg+1u', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:5893:17: note: Condition 'startSize==0u' is always false
sollya-8.0+ds/polynomials.c:5942:17: style: Condition 'startSize==0u' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:5941:19: note: Assignment 'startSize=deg+1u', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:5942:17: note: Condition 'startSize==0u' is always false
sollya-8.0+ds/polynomials.c:5994:17: style: Condition 'startSize==0u' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:5993:19: note: Assignment 'startSize=deg+1u', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:5994:17: note: Condition 'startSize==0u' is always false
sollya-8.0+ds/polynomials.c:7074:9: style: Condition 'w<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:7065:10: note: Assuming that condition 'w==((unsigned long)0)' is not redundant
sollya-8.0+ds/polynomials.c:7074:9: note: Condition 'w<((unsigned long)1)' is always false
sollya-8.0+ds/polynomials.c:7102:50: style: Condition 'll<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:7102:26: note: Assuming that condition 'll==((unsigned long)0)' is not redundant
sollya-8.0+ds/polynomials.c:7102:50: note: Condition 'll<((unsigned long)1)' is always false
sollya-8.0+ds/polynomials.c:7138:9: style: Condition 'm==0u' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:7137:15: note: Assignment 'm=d[k-1u]+1u', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:7138:9: note: Condition 'm==0u' is always false
sollya-8.0+ds/polynomials.c:7355:9: style: Condition 'w<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:7352:15: note: Assignment 'w=wp+wq+(((((unsigned long)8)*sizeof(unsigned int))+((unsigned long)(64-1)))/((unsigned long)64))', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:7355:9: note: Condition 'w<((unsigned long)1)' is always false
sollya-8.0+ds/polynomials.c:8069:42: style: Condition 'ww!=((unsigned long)0)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8069:14: note: Assuming that condition 'ww<((unsigned long)1)' is not redundant
sollya-8.0+ds/polynomials.c:8069:42: note: Condition 'ww!=((unsigned long)0)' is always false
sollya-8.0+ds/polynomials.c:8189:9: style: Condition 's<((uint64_t)130u)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8186:11: note: Assignment 's=saa+sbb', assigned value is greater than -1
sollya-8.0+ds/polynomials.c:8187:9: note: Assuming condition is false
sollya-8.0+ds/polynomials.c:8188:3: note: Compound assignment '+=', assigned value is 129
sollya-8.0+ds/polynomials.c:8189:9: note: Condition 's<((uint64_t)130u)' is always false
sollya-8.0+ds/polynomials.c:8297:10: style: Condition 'tt<((uint64_t)1u)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8295:13: note: Assignment 'tt=degA-degB', assigned value is greater than -1
sollya-8.0+ds/polynomials.c:8296:3: note: tt is incremented', new value is 0
sollya-8.0+ds/polynomials.c:8297:10: note: Condition 'tt<((uint64_t)1u)' is always false
sollya-8.0+ds/polynomials.c:8340:10: style: Condition 'ss<((uint64_t)130u)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8337:12: note: Assignment 'ss=saa+sbb', assigned value is greater than -1
sollya-8.0+ds/polynomials.c:8338:10: note: Assuming condition is false
sollya-8.0+ds/polynomials.c:8339:3: note: Compound assignment '+=', assigned value is 129
sollya-8.0+ds/polynomials.c:8340:10: note: Condition 'ss<((uint64_t)130u)' is always false
sollya-8.0+ds/polynomials.c:8346:10: style: Condition 's<((unsigned long)1)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8337:12: note: Assignment 'ss=saa+sbb', assigned value is greater than -1
sollya-8.0+ds/polynomials.c:8338:10: note: Assuming condition is false
sollya-8.0+ds/polynomials.c:8339:3: note: Compound assignment '+=', assigned value is 129
sollya-8.0+ds/polynomials.c:8341:7: note: Assignment 's=(unsigned long)ss', assigned value is greater than 129
sollya-8.0+ds/polynomials.c:8346:10: note: Condition 's<((unsigned long)1)' is always false
sollya-8.0+ds/polynomials.c:8346:37: style: Condition 's!=((unsigned long)0)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8346:10: note: Assuming that condition 's<((unsigned long)1)' is not redundant
sollya-8.0+ds/polynomials.c:8346:37: note: Condition 's!=((unsigned long)0)' is always false
sollya-8.0+ds/polynomials.c:8501:9: style: Condition 't!=ttttt' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8492:11: note: Assuming that condition 'ttt!=t' is not redundant
sollya-8.0+ds/polynomials.c:8498:9: note: Assuming condition is false
sollya-8.0+ds/polynomials.c:8499:10: note: Assignment 'tttt=(uint64_t)t', assigned value is symbolic=ttt
sollya-8.0+ds/polynomials.c:8500:11: note: Assignment 'ttttt=(unsigned int)tttt', assigned value is symbolic=ttt
sollya-8.0+ds/polynomials.c:8501:9: note: Condition 't!=ttttt' is always false
sollya-8.0+ds/polynomials.c:8600:9: style: Condition 't==((unsigned int)0u)' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:8598:12: note: Assignment 't=degA-degB', assigned value is greater than -1
sollya-8.0+ds/polynomials.c:8599:3: note: t is incremented', new value is 0
sollya-8.0+ds/polynomials.c:8600:9: note: Condition 't==((unsigned int)0u)' is always false
sollya-8.0+ds/polynomials.c:10199:12: style: Condition 'size==0u' is always false [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:10198:17: note: Assignment 'size=degree+1u', assigned value is greater than 0
sollya-8.0+ds/polynomials.c:10199:12: note: Condition 'size==0u' is always false
sollya-8.0+ds/polynomials.c:11824:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:11828:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:11995:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:12383:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:12387:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:12497:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:13124:25: style: Condition '(j+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:13156:21: style: Condition '(i+1u)>0u' is always true [knownConditionTrueFalse]
sollya-8.0+ds/polynomials.c:16256:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/polynomials.c:16210:11: note: res is assigned
sollya-8.0+ds/polynomials.c:16256:7: note: res is overwritten
sollya-8.0+ds/polynomials.c:16256:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/polynomials.c:16217:11: note: res is assigned
sollya-8.0+ds/polynomials.c:16256:7: note: res is overwritten
sollya-8.0+ds/polynomials.c:16256:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/polynomials.c:16224:11: note: res is assigned
sollya-8.0+ds/polynomials.c:16256:7: note: res is overwritten
sollya-8.0+ds/polynomials.c:16256:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/polynomials.c:16236:11: note: res is assigned
sollya-8.0+ds/polynomials.c:16256:7: note: res is overwritten
sollya-8.0+ds/polynomials.c:5408:68: style: Parameter 'expr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/polynomials.c:5439:69: style: Parameter 'expr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/polynomials.c:5467:76: style: Parameter 'expr' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/polynomials.c:7111:108: style: Parameter 'd' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/polynomials.c:627:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:655:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:668:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:689:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:721:26: error: Uninitialized variable: yhi [uninitvar]
sollya-8.0+ds/polynomials.c:722:26: error: Uninitialized variable: ylo [uninitvar]
sollya-8.0+ds/polynomials.c:730:26: error: Uninitialized variable: xylo [uninitvar]
sollya-8.0+ds/polynomials.c:731:26: error: Uninitialized variable: xyhi [uninitvar]
sollya-8.0+ds/polynomials.c:732:26: error: Uninitialized variable: xt14 [uninitvar]
sollya-8.0+ds/polynomials.c:765:26: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/polynomials.c:766:26: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:780:26: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/polynomials.c:781:26: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:831:26: error: Uninitialized variable: aa [uninitvar]
sollya-8.0+ds/polynomials.c:878:26: error: Uninitialized variable: aa [uninitvar]
sollya-8.0+ds/polynomials.c:1007:26: error: Uninitialized variable: r [uninitvar]
sollya-8.0+ds/polynomials.c:1010:26: error: Uninitialized variable: p [uninitvar]
sollya-8.0+ds/polynomials.c:1011:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:1095:28: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:1101:26: error: Uninitialized variable: r [uninitvar]
sollya-8.0+ds/polynomials.c:1102:26: error: Uninitialized variable: z [uninitvar]
sollya-8.0+ds/polynomials.c:1133:26: error: Uninitialized variable: rPrime [uninitvar]
sollya-8.0+ds/polynomials.c:1134:26: error: Uninitialized variable: one [uninitvar]
sollya-8.0+ds/polynomials.c:1156:26: error: Uninitialized variable: rest [uninitvar]
sollya-8.0+ds/polynomials.c:1158:26: error: Uninitialized variable: num [uninitvar]
sollya-8.0+ds/polynomials.c:1159:26: error: Uninitialized variable: den [uninitvar]
sollya-8.0+ds/polynomials.c:1174:26: error: Uninitialized variable: delta [uninitvar]
sollya-8.0+ds/polynomials.c:1219:28: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:1241:26: error: Uninitialized variable: r [uninitvar]
sollya-8.0+ds/polynomials.c:1245:28: error: Uninitialized variable: tmp [uninitvar]
sollya-8.0+ds/polynomials.c:1276:26: error: Uninitialized variable: u [uninitvar]
sollya-8.0+ds/polynomials.c:1277:26: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:1347:26: error: Uninitialized variable: aAbs [uninitvar]
sollya-8.0+ds/polynomials.c:1393:31: error: Uninitialized variable: eaZ [uninitvar]
sollya-8.0+ds/polynomials.c:1394:31: error: Uninitialized variable: nZ [uninitvar]
sollya-8.0+ds/polynomials.c:1408:26: error: Uninitialized variable: num [uninitvar]
sollya-8.0+ds/polynomials.c:1409:26: error: Uninitialized variable: den [uninitvar]
sollya-8.0+ds/polynomials.c:1462:31: error: Uninitialized variable: eaZ [uninitvar]
sollya-8.0+ds/polynomials.c:1463:31: error: Uninitialized variable: nZ [uninitvar]
sollya-8.0+ds/polynomials.c:1477:26: error: Uninitialized variable: num [uninitvar]
sollya-8.0+ds/polynomials.c:1478:26: error: Uninitialized variable: den [uninitvar]
sollya-8.0+ds/polynomials.c:2515:30: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:2542:26: error: Uninitialized variable: num [uninitvar]
sollya-8.0+ds/polynomials.c:2543:26: error: Uninitialized variable: den [uninitvar]
sollya-8.0+ds/polynomials.c:2558:30: error: Uninitialized variable: mpfrval [uninitvar]
sollya-8.0+ds/polynomials.c:2604:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:2617:26: error: Uninitialized variable: bin [uninitvar]
sollya-8.0+ds/polynomials.c:2628:26: error: Uninitialized variable: nz [uninitvar]
sollya-8.0+ds/polynomials.c:2634:26: error: Uninitialized variable: bin [uninitvar]
sollya-8.0+ds/polynomials.c:2738:26: error: Uninitialized variable: rational [uninitvar]
sollya-8.0+ds/polynomials.c:3213:28: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:3637:28: error: Uninitialized variable: mant [uninitvar]
sollya-8.0+ds/polynomials.c:3659:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:3719:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:3746:26: error: Uninitialized variable: z [uninitvar]
sollya-8.0+ds/polynomials.c:3762:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:3768:26: error: Uninitialized variable: n [uninitvar]
sollya-8.0+ds/polynomials.c:3805:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:3843:26: error: Uninitialized variable: q [uninitvar]
sollya-8.0+ds/polynomials.c:4112:26: error: Uninitialized variable: aS [uninitvar]
sollya-8.0+ds/polynomials.c:4113:26: error: Uninitialized variable: bS [uninitvar]
sollya-8.0+ds/polynomials.c:4116:28: error: Uninitialized variable: cS [uninitvar]
sollya-8.0+ds/polynomials.c:4302:26: error: Uninitialized variable: aS [uninitvar]
sollya-8.0+ds/polynomials.c:4303:26: error: Uninitialized variable: bS [uninitvar]
sollya-8.0+ds/polynomials.c:4306:28: error: Uninitialized variable: cS [uninitvar]
sollya-8.0+ds/polynomials.c:4375:35: error: Uninitialized variable: cZ [uninitvar]
sollya-8.0+ds/polynomials.c:4485:26: error: Uninitialized variable: aS [uninitvar]
sollya-8.0+ds/polynomials.c:4486:26: error: Uninitialized variable: bS [uninitvar]
sollya-8.0+ds/polynomials.c:4489:28: error: Uninitialized variable: cS [uninitvar]
sollya-8.0+ds/polynomials.c:4613:32: error: Uninitialized variable: cR [uninitvar]
sollya-8.0+ds/polynomials.c:4633:26: error: Uninitialized variable: aS [uninitvar]
sollya-8.0+ds/polynomials.c:4634:26: error: Uninitialized variable: bS [uninitvar]
sollya-8.0+ds/polynomials.c:4637:28: error: Uninitialized variable: cS [uninitvar]
sollya-8.0+ds/polynomials.c:4713:30: error: Uninitialized variable: cZ [uninitvar]
sollya-8.0+ds/polynomials.c:4812:26: error: Uninitialized variable: aS [uninitvar]
sollya-8.0+ds/polynomials.c:4813:26: error: Uninitialized variable: bS [uninitvar]
sollya-8.0+ds/polynomials.c:4816:28: error: Uninitialized variable: cS [uninitvar]
sollya-8.0+ds/polynomials.c:4855:33: error: Uninitialized variable: cZ [uninitvar]
sollya-8.0+ds/polynomials.c:4868:30: error: Uninitialized variable: cM [uninitvar]
sollya-8.0+ds/polynomials.c:4875:28: error: Uninitialized variable: cQ [uninitvar]
sollya-8.0+ds/polynomials.c:4927:30: error: Uninitialized variable: qM [uninitvar]
sollya-8.0+ds/polynomials.c:4928:30: error: Uninitialized variable: rM [uninitvar]
sollya-8.0+ds/polynomials.c:4939:28: error: Uninitialized variable: qQ [uninitvar]
sollya-8.0+ds/polynomials.c:4940:28: error: Uninitialized variable: rQ [uninitvar]
sollya-8.0+ds/polynomials.c:4965:26: error: Uninitialized variable: aq [uninitvar]
sollya-8.0+ds/polynomials.c:4967:28: error: Uninitialized variable: bq [uninitvar]
sollya-8.0+ds/polynomials.c:4969:30: error: Uninitialized variable: cq [uninitvar]
sollya-8.0+ds/polynomials.c:5000:26: error: Uninitialized variable: aq [uninitvar]
sollya-8.0+ds/polynomials.c:5002:28: error: Uninitialized variable: bq [uninitvar]
sollya-8.0+ds/polynomials.c:5004:30: error: Uninitialized variable: gq [uninitvar]
sollya-8.0+ds/polynomials.c:5005:30: error: Uninitialized variable: uq [uninitvar]
sollya-8.0+ds/polynomials.c:5006:30: error: Uninitialized variable: vq [uninitvar]
sollya-8.0+ds/polynomials.c:5051:30: error: Uninitialized variable: cM [uninitvar]
sollya-8.0+ds/polynomials.c:5058:28: error: Uninitialized variable: cQ [uninitvar]
sollya-8.0+ds/polynomials.c:5110:30: error: Uninitialized variable: cutoff [uninitvar]
sollya-8.0+ds/polynomials.c:5114:32: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/polynomials.c:5177:28: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/polynomials.c:5196:28: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:5221:28: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:5246:28: error: Uninitialized variable: v [uninitvar]
sollya-8.0+ds/polynomials.c:5344:28: error: Uninitialized variable: tI [uninitvar]
sollya-8.0+ds/polynomials.c:5348:28: error: Uninitialized variable: t1 [uninitvar]
sollya-8.0+ds/polynomials.c:5349:28: error: Uninitialized variable: t2 [uninitvar]
sollya-8.0+ds/polynomials.c:6851:26: error: Uninitialized variable: lcm [uninitvar]
sollya-8.0+ds/polynomials.c:6911:26: error: Uninitialized variable: oneOverLcmSquared [uninitvar]
sollya-8.0+ds/polynomials.c:6992:26: error: Uninitialized variable: g [uninitvar]
sollya-8.0+ds/polynomials.c:7149:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:7227:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:7310:26: error: Uninitialized variable: fp [uninitvar]
sollya-8.0+ds/polynomials.c:7315:26: error: Uninitialized variable: fq [uninitvar]
sollya-8.0+ds/polynomials.c:7389:26: error: Uninitialized variable: a [uninitvar]
sollya-8.0+ds/polynomials.c:7390:26: error: Uninitialized variable: b [uninitvar]
sollya-8.0+ds/polynomials.c:7391:26: error: Uninitialized variable: c [uninitvar]
sollya-8.0+ds/polynomials.c:7392:26: error: Uninitialized variable: d [uninitvar]
sollya-8.0+ds/polynomials.c:7457:26: error: Uninitialized variable: r [uninitvar]
sollya-8.0+ds/polynomials.c:7458:26: error: Uninitialized variable: s [uninitvar]
sollya-8.0+ds/polynomials.c:7459:26: error: Uninitialized variable: t1 [uninitvar]
sollya-8.0+ds/polynomials.c:7460:26: error: Uninitialized variable: t2 [uninitvar]
sollya-8.0+ds/polynomials.c:7977:26: error: Uninitialized variable: c [uninitvar]
sollya-8.0+ds/polynomials.c:8003:26: error: Uninitialized variable: cc [uninitvar]
sollya-8.0+ds/polynomials.c:8050:26: error: Uninitialized variable: f [uninitvar]
sollya-8.0+ds/polynomials.c:8104:26: error: Uninitialized variable: a [uninitvar]
sollya-8.0+ds/polynomials.c:8105:26: error: Uninitialized variable: b [uninitvar]
sollya-8.0+ds/polynomials.c:8219:26: error: Uninitialized variable: aa [uninitvar]
sollya-8.0+ds/polynomials.c:8220:26: error: Uninitialized variable: bb [uninitvar]
sollya-8.0+ds/polynomials.c:8238:26: error: Uninitialized variable: qq [uninitvar]
sollya-8.0+ds/polynomials.c:8515:26: error: Uninitialized variable: gt [uninitvar]
sollya-8.0+ds/polynomials.c:8620:26: error: Uninitialized variable: cc [uninitvar]
sollya-8.0+ds/polynomials.c:8669:26: error: Uninitialized variable: lcm [uninitvar]
sollya-8.0+ds/polynomials.c:9226:26: error: Uninitialized variable: t [uninitvar]
sollya-8.0+ds/polynomials.c:9280:26: error: Uninitialized variable: g [uninitvar]
sollya-8.0+ds/polynomials.c:9282:26: error: Uninitialized variable: c [uninitvar]
sollya-8.0+ds/polynomials.c:9283:26: error: Uninitialized variable: scratch [uninitvar]
sollya-8.0+ds/polynomials.c:9284:26: error: Uninitialized variable: scratch2 [uninitvar]
sollya-8.0+ds/polynomials.c:9346:26: error: Uninitialized variable: lcm [uninitvar]
sollya-8.0+ds/polynomials.c:9406:26: error: Uninitialized variable: zeta [uninitvar]
sollya-8.0+ds/polynomials.c:9411:26: error: Uninitialized variable: alpha [uninitvar]
sollya-8.0+ds/polynomials.c:9412:26: error: Uninitialized variable: beta [uninitvar]
sollya-8.0+ds/polynomials.c:9413:26: error: Uninitialized variable: gamma [uninitvar]
sollya-8.0+ds/polynomials.c:10370:30: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:10382:30: error: Uninitialized variable: scratch [uninitvar]
sollya-8.0+ds/polynomials.c:10520:30: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:10532:30: error: Uninitialized variable: scratch [uninitvar]
sollya-8.0+ds/polynomials.c:10648:28: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:10656:26: error: Uninitialized variable: scratch [uninitvar]
sollya-8.0+ds/polynomials.c:11352:28: error: Uninitialized variable: deltaCoeff [uninitvar]
sollya-8.0+ds/polynomials.c:11372:28: error: Uninitialized variable: IpowDeg [uninitvar]
sollya-8.0+ds/polynomials.c:11378:28: error: Uninitialized variable: deg [uninitvar]
sollya-8.0+ds/polynomials.c:11379:28: error: Uninitialized variable: degI [uninitvar]
sollya-8.0+ds/polynomials.c:11687:26: error: Uninitialized variable: t1 [uninitvar]
sollya-8.0+ds/polynomials.c:11688:26: error: Uninitialized variable: t2 [uninitvar]
sollya-8.0+ds/polynomials.c:12325:28: error: Uninitialized variable: t1 [uninitvar]
sollya-8.0+ds/polynomials.c:12326:28: error: Uninitialized variable: t2 [uninitvar]
sollya-8.0+ds/polynomials.c:12495:28: error: Uninitialized variable: J [uninitvar]
sollya-8.0+ds/polynomials.c:12600:28: error: Uninitialized variable: D [uninitvar]
sollya-8.0+ds/polynomials.c:12682:28: error: Uninitialized variable: D [uninitvar]
sollya-8.0+ds/polynomials.c:12758:28: error: Uninitialized variable: Delta [uninitvar]
sollya-8.0+ds/polynomials.c:13252:28: error: Uninitialized variable: s1 [uninitvar]
sollya-8.0+ds/polynomials.c:13253:28: error: Uninitialized variable: s2 [uninitvar]
sollya-8.0+ds/polynomials.c:13481:28: error: Uninitialized variable: deltaHalf [uninitvar]
sollya-8.0+ds/polynomials.c:14554:30: error: Uninitialized variable: deg [uninitvar]
sollya-8.0+ds/polynomials.c:15184:26: error: Uninitialized variable: degz [uninitvar]
sollya-8.0+ds/polynomials.c:15435:26: error: Uninitialized variable: deg [uninitvar]
sollya-8.0+ds/polynomials.c:15668:30: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:15682:28: error: Uninitialized variable: scratch [uninitvar]
sollya-8.0+ds/polynomials.c:15756:30: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:15776:30: error: Uninitialized variable: scr [uninitvar]
sollya-8.0+ds/polynomials.c:15883:28: error: Uninitialized variable: X [uninitvar]
sollya-8.0+ds/polynomials.c:15884:28: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/polynomials.c:15888:30: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/printf.c:329:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/printf.c:1849:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_srcptr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/printf.c:428:8: style: Local variable 'tempIntPtr' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:166:13: note: Shadowed declaration
sollya-8.0+ds/printf.c:428:8: note: Shadow variable
sollya-8.0+ds/printf.c:436:9: style: Local variable 'tempString' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:157:14: note: Shadowed declaration
sollya-8.0+ds/printf.c:436:9: note: Shadow variable
sollya-8.0+ds/printf.c:440:9: style: Local variable 'tempNode' shadows outer variable [shadowVariable]
sollya-8.0+ds/general.h:159:14: note: Shadowed declaration
sollya-8.0+ds/printf.c:440:9: note: Shadow variable
sollya-8.0+ds/printf.c:94:19: style: Variable 'myEnd' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/printf.c:94:27: style: Variable 'endBufBeforeNull' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/printf.c:168:22: style: Variable 'myEndBuf' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/printf.c:1863:26: error: Uninitialized variable: tempMpfi [uninitvar]
sollya-8.0+ds/printf.c:1873:21: error: Uninitialized variable: tempMpqOrig [uninitvar]
sollya-8.0+ds/printf.c:1878:21: error: Uninitialized variable: tempMpzOrig [uninitvar]
sollya-8.0+ds/proof.c:674:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable x [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:817:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable x [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1080:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1130:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1156:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1395:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1492:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1573:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1625:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:1703:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/proof.c:980:49: style: Parameter 'resultVariable' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/proof.c:981:60: style: Parameter 'operand1Variable' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/proof.c:982:60: style: Parameter 'operand2Variable' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/proof.c:1018:57: style: Parameter 'resultVariable' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/remez.c:97:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:157:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:246:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:440:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:782:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:806:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:827:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:946:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:1058:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:1238:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:1451:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:1778:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:1859:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2436:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2669:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2702:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2773:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2821:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2853:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2879:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/remez.c:2915:133: style: Same expression on both sides of '-'. [duplicateExpression]
sollya-8.0+ds/remez.c:2869:9: note: 'n' is assigned value '1' here.
sollya-8.0+ds/remez.c:2915:133: note: Same expression on both sides of '-'.
sollya-8.0+ds/remez.c:2648:58: style:inconclusive: Function 'constructPolynomialFromArray' argument 2 names different: declaration 'monomials' definition 'monomials_tree'. [funcArgNamesDifferent]
sollya-8.0+ds/remez.h:78:58: note: Function 'constructPolynomialFromArray' argument 2 names different: declaration 'monomials' definition 'monomials_tree'.
sollya-8.0+ds/remez.c:2648:58: note: Function 'constructPolynomialFromArray' argument 2 names different: declaration 'monomials' definition 'monomials_tree'.
sollya-8.0+ds/remez.c:2695:82: style: Parameter 'currentPrec' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/remez.c:1212:14: style: int result is assigned to long variable. If the variable is long to avoid loss of information, then you have loss of information. [truncLongCastAssignment]
sollya-8.0+ds/remez.c:2403:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/remez.c:2405:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/remez.c:2896:23: error: Uninitialized variable: tmp1 [uninitvar]
sollya-8.0+ds/remez.c:2897:23: error: Uninitialized variable: tmp2 [uninitvar]
sollya-8.0+ds/remez.c:570:18: style: Variable 'sgnfepsa' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/remez.c:933:18: style: Variable 'left_bound' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/remez.c:934:23: style: Variable 'new_right_bound' is assigned a value that is never used. [unreadVariable]
sollya-8.0+ds/signalhandling.c:128:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/signalhandling.c:214:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:144:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:311:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:321:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2800:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2812:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2845:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2884:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2903:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2915:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:2927:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3067:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3206:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3262:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3298:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3345:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3399:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3478:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3562:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3606:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3645:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3682:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3827:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5202:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5254:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5304:87: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5357:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5554:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:5761:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sollya-library-wrappers.c:3821:12: warning: Identical condition 'n<0', second condition is always false [identicalConditionAfterEarlyExit]
sollya-8.0+ds/sollya-library-wrappers.c:3809:9: note: If condition 'n<0' is true, the function will return/exit
sollya-8.0+ds/sollya-library-wrappers.c:3821:12: note: Testing identical condition 'n<0'
sollya-8.0+ds/sollya-library-wrappers.c:4236:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/sollya-library-wrappers.c:4243:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/sollya-library-wrappers.c:4564:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/sollya-library-wrappers.c:4512:12: style: Local variable 'arity' shadows outer function [shadowFunction]
sollya-8.0+ds/expression.h:440:5: note: Shadowed declaration
sollya-8.0+ds/sollya-library-wrappers.c:4512:12: note: Shadow variable
sollya-8.0+ds/sollya-library-wrappers.c:433:9: style: Variable 'staticName' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/sollya-library-wrappers.c:5796:1: style: Parameter 'arg_types' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/sollya-library-wrappers.c:5927:1: style: Parameter 'arg_types' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/sollya-library-wrappers.c:6576:1: style: Parameter 'obj1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/sollya-library-wrappers.c:6605:1: style: Parameter 'obj1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/sollya-library-wrappers.c:2767:36: error: Uninitialized variable: myInterval [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:3010:23: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5415:21: error: Uninitialized variable: xInt [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5418:21: error: Uninitialized variable: yInt [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5615:21: error: Uninitialized variable: xInt [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5619:21: error: Uninitialized variable: yInt [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5741:36: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5745:21: error: Uninitialized variable: myY [uninitvar]
sollya-8.0+ds/sollya-library-wrappers.c:5746:21: error: Uninitialized variable: myPointY [uninitvar]
sollya-8.0+ds/sollya-messaging.c:72:8: style: Variable 'defaultMessage' can be declared as const array [constVariable]
sollya-8.0+ds/sturm.c:115:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sturm.c:150:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sturm.c:193:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sturm.c:350:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sturm.c:800:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpq_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/sturm.c:564:31: style:inconclusive: Function 'sturm_mpfi' argument 2 names different: declaration 'p' definition 'pMpq'. [funcArgNamesDifferent]
sollya-8.0+ds/sturm.c:89:31: note: Function 'sturm_mpfi' argument 2 names different: declaration 'p' definition 'pMpq'.
sollya-8.0+ds/sturm.c:564:31: note: Function 'sturm_mpfi' argument 2 names different: declaration 'p' definition 'pMpq'.
sollya-8.0+ds/sturm.c:212:21: error: Uninitialized variable: X [uninitvar]
sollya-8.0+ds/sturm.c:213:21: error: Uninitialized variable: Y [uninitvar]
sollya-8.0+ds/sturm.c:214:21: error: Uninitialized variable: C [uninitvar]
sollya-8.0+ds/sturm.c:491:21: error: Uninitialized variable: aux [uninitvar]
sollya-8.0+ds/sturm.c:529:21: error: Uninitialized variable: aux [uninitvar]
sollya-8.0+ds/sturm.c:611:21: error: Uninitialized variable: aq [uninitvar]
sollya-8.0+ds/sturm.c:612:21: error: Uninitialized variable: bq [uninitvar]
sollya-8.0+ds/sturm.c:617:21: error: Uninitialized variable: evalRes [uninitvar]
sollya-8.0+ds/sturm.c:789:21: error: Uninitialized variable: x [uninitvar]
sollya-8.0+ds/supnorm.c:266:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:339:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:394:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:525:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:694:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:971:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:1088:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:1320:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:1513:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:1802:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:1899:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:2039:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:2186:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:2290:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_prec_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:2496:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/supnorm.c:2309:3: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
sollya-8.0+ds/supnorm.c:2309:41: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/supnorm.c:2309:3: note: Found duplicate branches for 'if' and 'else'.
sollya-8.0+ds/supnorm.c:1912:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/supnorm.c:1890:7: note: res is assigned
sollya-8.0+ds/supnorm.c:1912:9: note: res is overwritten
sollya-8.0+ds/supnorm.c:395:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/supnorm.c:452:21: error: Uninitialized variable: xAsInterv [uninitvar]
sollya-8.0+ds/supnorm.c:453:21: error: Uninitialized variable: yAsInterv [uninitvar]
sollya-8.0+ds/supnorm.c:697:21: error: Uninitialized variable: x0AsInterval [uninitvar]
sollya-8.0+ds/supnorm.c:700:21: error: Uninitialized variable: myDom [uninitvar]
sollya-8.0+ds/supnorm.c:712:25: error: Uninitialized variable: lagrangeDelta [uninitvar]
sollya-8.0+ds/supnorm.c:718:25: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/supnorm.c:721:25: error: Uninitialized variable: nAsInterval [uninitvar]
sollya-8.0+ds/supnorm.c:745:25: error: Uninitialized variable: shiftedDom [uninitvar]
sollya-8.0+ds/supnorm.c:811:21: error: Uninitialized variable: computedDelta [uninitvar]
sollya-8.0+ds/supnorm.c:1044:21: error: Uninitialized variable: y [uninitvar]
sollya-8.0+ds/supnorm.c:1208:21: error: Uninitialized variable: x0AsInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1559:21: error: Uninitialized variable: ellInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1560:21: error: Uninitialized variable: accuracyInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1561:21: error: Uninitialized variable: fifthteenThirtySecondInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1562:21: error: Uninitialized variable: FInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1563:21: error: Uninitialized variable: errMaxInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1564:21: error: Uninitialized variable: uInterval [uninitvar]
sollya-8.0+ds/supnorm.c:1565:21: error: Uninitialized variable: onePlusUInterval [uninitvar]
sollya-8.0+ds/supnorm.c:2035:21: error: Uninitialized variable: dom [uninitvar]
sollya-8.0+ds/supnorm.c:2080:21: error: Uninitialized variable: resultLeft [uninitvar]
sollya-8.0+ds/supnorm.c:2094:21: error: Uninitialized variable: resultRight [uninitvar]
sollya-8.0+ds/supnorm.c:719:25: error: Uninitialized variable: lagrangeDelta [legacyUninitvar]
sollya-8.0+ds/taylor.c:82:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/taylorform.c:586:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/taylorform.c:1275:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/taylorform.c:1350:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/taylorform.c:182:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/taylorform.c:220:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/taylorform.c:263:21: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/taylorform.c:264:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/taylorform.c:265:21: error: Uninitialized variable: bound1 [uninitvar]
sollya-8.0+ds/taylorform.c:266:21: error: Uninitialized variable: bound2 [uninitvar]
sollya-8.0+ds/taylorform.c:267:21: error: Uninitialized variable: bound3 [uninitvar]
sollya-8.0+ds/taylorform.c:439:21: error: Uninitialized variable: xinf [uninitvar]
sollya-8.0+ds/taylorform.c:439:53: error: Uninitialized variable: xsup [uninitvar]
sollya-8.0+ds/taylorform.c:441:21: error: Uninitialized variable: bound1 [uninitvar]
sollya-8.0+ds/taylorform.c:441:55: error: Uninitialized variable: bound2 [uninitvar]
sollya-8.0+ds/taylorform.c:441:89: error: Uninitialized variable: boundx0 [uninitvar]
sollya-8.0+ds/taylorform.c:442:21: error: Uninitialized variable: boundf1 [uninitvar]
sollya-8.0+ds/taylorform.c:442:56: error: Uninitialized variable: boundf2 [uninitvar]
sollya-8.0+ds/taylorform.c:442:90: error: Uninitialized variable: boundfx0 [uninitvar]
sollya-8.0+ds/taylorform.c:443:21: error: Uninitialized variable: p_interv [uninitvar]
sollya-8.0+ds/taylorform.c:519:23: error: Uninitialized variable: pow [uninitvar]
sollya-8.0+ds/taylorform.c:621:25: error: Uninitialized variable: pow [uninitvar]
sollya-8.0+ds/taylorform.c:623:25: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/taylorform.c:693:23: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/taylorform.c:738:21: error: Uninitialized variable: temp [uninitvar]
sollya-8.0+ds/taylorform.c:743:21: error: Uninitialized variable: pow [uninitvar]
sollya-8.0+ds/taylorform.c:744:21: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/taylorform.c:909:23: error: Uninitialized variable: minusOne [uninitvar]
sollya-8.0+ds/taylorform.c:1094:25: error: Uninitialized variable: temp1 [uninitvar]
sollya-8.0+ds/taylorform.c:1096:25: error: Uninitialized variable: temp2 [uninitvar]
sollya-8.0+ds/taylorform.c:1333:23: error: Uninitialized variable: myD [uninitvar]
sollya-8.0+ds/taylorform.c:1340:21: error: Uninitialized variable: x0Int [uninitvar]
sollya-8.0+ds/taylorform.c:1336:23: error: Uninitialized variable: myD [legacyUninitvar]
sollya-8.0+ds/tests-lib/libraryexample.c:24:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/libraryexample.c:84:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/libraryexample.c:89:74: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/libraryexample.c:88:22: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/tannotatefunction.c:26:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbezout.c:42:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sollya_obj_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_end_elliptic_list.c:18:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:8:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:14:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:20:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:26:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:32:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:38:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant.c:57:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant_with_data.c:21:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant_with_data.c:34:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryconstant_with_data.c:56:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryfunction.c:25:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryfunction.c:131:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryfunction_with_data.c:37:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryfunction_with_data.c:120:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_libraryfunction_with_data.c:192:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_function_procedurefunction.c:10:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tbuild_list.c:23:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcanonical.c:9:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcheckinfnorm.c:31:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcmp_equal.c:242:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcmp_equal.c:26:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_greater.c:28:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_greater_equal.c:28:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_less.c:28:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_less_equal.c:28:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_not_equal.c:242:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcmp_not_equal.c:26:18: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tcmp_objs_structurally.c:734:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcoeff.c:10:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant.c:8:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_FAITHFUL_ROUNDING_FOR_EXPR_THAT_SHOULD_BE_CONST [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant.c:27:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant_from_double.c:7:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_ROUNDING_OCCURRED_WHILE_READING_A_CONSTANT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant_from_double.c:58:9: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tconstant_from_int64.c:12:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant_from_uint64.c:12:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstant_list_ops.c:7:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstruct_function.c:7:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstruct_function.c:38:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_BASE_FUNC_ASINH [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tconstruct_function.c:40:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:37:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:40:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:54:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:51:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:54:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:68:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:65:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:68:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:82:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:79:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:82:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:96:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:93:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:96:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:110:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:107:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:110:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:124:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:121:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:124:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:137:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:134:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:137:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:151:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:148:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:151:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:164:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:162:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:164:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:178:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:175:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:178:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:192:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:189:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:192:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:206:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:203:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:206:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:220:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:217:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:220:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:234:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:231:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:234:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:250:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:245:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:250:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:266:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:261:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:266:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:280:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:277:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:280:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tconstruct_function.c:293:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tconstruct_function.c:290:56: note: res is assigned
sollya-8.0+ds/tests-lib/tconstruct_function.c:293:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tcopy_obj.c:7:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tcreate_structure.c:16:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_externaldata.c:58:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_EXTERNALPROC_TYPE_OBJECT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_externaldata.c:64:23: error: Memory leak: magic3 [memleak]
sollya-8.0+ds/tests-lib/tdecompose_externaldata.c:34:73: style: Parameter 'name1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/tdecompose_externalprocedure.c:68:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_externalprocedure_with_data.c:159:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_EXTERNALPROC_TYPE_INTEGER [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_function.c:57:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_function.c:107:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:6:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:12:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:35:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:34:7: note: res is assigned
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:35:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:50:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:48:7: note: res is assigned
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:50:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:63:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:61:7: note: res is assigned
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant.c:63:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant_with_data.c:26:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant_with_data.c:32:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryconstant_with_data.c:51:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryfunction.c:43:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryfunction_with_data.c:42:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryfunction_with_data.c:119:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_libraryfunction_with_data.c:192:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdecompose_procedurefunction.c:28:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdegree.c:10:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdiff.c:24:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdirtyinfnorm.c:46:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tdirtyintegral.c:26:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tend_elliptic_list.c:13:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/teuclidian_div.c:42:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sollya_obj_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/teuclidian_mod.c:42:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sollya_obj_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tevaluate_function_at_constant_expression.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tevaluate_function_at_constant_expression.c:60:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tevaluate_function_at_point.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tevaluate_function_at_point.c:58:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/texecute.c:29:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/texpand.c:9:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/texternaldata.c:58:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_EXTERNALPROC_TYPE_OBJECT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/texternaldata.c:64:23: error: Memory leak: magic3 [memleak]
sollya-8.0+ds/tests-lib/texternaldata.c:34:73: style: Parameter 'name1' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/texternalprocedure.c:51:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_EXTERNALPROC_TYPE_INTEGER [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/texternalprocedure_with_data.c:99:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_EXTERNALPROC_TYPE_INTEGER [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tfpminimax.c:8:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tgcd.c:42:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sollya_obj_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_constant_as_int.c:10:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_SHOULD_BE_CONSTANT_AND_IS_NOT_FAITHFUL [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_constant_as_int64.c:11:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_SHOULD_BE_CONSTANT_AND_IS_NOT_FAITHFUL [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_constant_as_int64.c:37:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRId64 [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_constant_as_uint64.c:10:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_SHOULD_BE_CONSTANT_AND_IS_NOT_FAITHFUL [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_constant_as_uint64.c:37:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_element_in_list.c:33:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_element_in_structure.c:14:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_free_variable_name.c:8:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_function_arity.c:7:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_function_arity.c:26:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_head_function.c:57:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_head_function.c:76:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_help_text.c:6:9: style: Variable 't' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/tests-lib/tget_list_elements.c:43:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:7:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:28:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:30:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:29:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:30:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:40:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:39:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:40:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:49:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:48:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:49:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:58:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:57:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:58:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:67:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:66:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:67:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:80:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:79:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:80:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:92:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:91:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:92:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:102:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:101:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:102:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:111:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:110:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:111:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:120:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:119:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:120:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:129:9: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:128:19: note: res is assigned
sollya-8.0+ds/tests-lib/tget_nth_subfunction.c:129:9: note: res is overwritten
sollya-8.0+ds/tests-lib/tget_structure_elements.c:15:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_subfunctions.c:7:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tget_subfunctions.c:27:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/thorner.c:9:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/timplementpoly.c:89:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/timplementpoly.c:36:32: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/tinf.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tinf.c:51:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tinf.c:16:19: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tinit_with_custom_memory_functions.c:83:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tintegral.c:26:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tinterval_list_ops.c:7:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfi_t [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlength.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:8:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:14:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:20:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:26:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:32:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:38:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant.c:58:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant_with_data.c:21:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant_with_data.c:34:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryconstant_with_data.c:56:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryfunction.c:25:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryfunction.c:142:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryfunction_with_data.c:37:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryfunction_with_data.c:120:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDU [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlibraryfunction_with_data.c:197:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlist.c:13:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlogical_and.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlogical_negate.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tlogical_or.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmacros_build_function.c:7:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_ROUNDING_OCCURRED_WHILE_READING_A_CONSTANT [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmacros_build_function.c:19:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmantissa_and_exponent.c:25:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmid.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmid.c:81:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmid.c:16:19: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tmsg_callback_functions.c:74:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tmsg_callback_functions.c:3:45: style: Parameter 'data' can be declared as pointer to const. However it seems that 'hide_everything' is a callback function, if 'data' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
sollya-8.0+ds/tests-lib/tmsg_callback_functions.c:188:40: note: You might need to cast the function pointer here
sollya-8.0+ds/tests-lib/tmsg_callback_functions.c:3:45: note: Parameter 'data' can be declared as pointer to const
sollya-8.0+ds/tests-lib/tname_free_variable.c:7:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tnumberroots.c:39:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tobject_list_ops.c:11:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tprintexpansion.c:27:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tprintf.c:568:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable formats [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tprintf.c:98:7: style: Local variable 'counter' shadows outer variable [shadowVariable]
sollya-8.0+ds/tests-lib/tprintf.c:41:5: note: Shadowed declaration
sollya-8.0+ds/tests-lib/tprintf.c:98:7: note: Shadow variable
sollya-8.0+ds/tests-lib/tprintf.c:95:15: style: Parameter 'r' can be declared as const array [constParameter]
sollya-8.0+ds/tests-lib/tprintf.c:95:51: style: Parameter 'test1' can be declared as const array [constParameter]
sollya-8.0+ds/tests-lib/tprintf.c:95:72: style: Parameter 'test2' can be declared as const array [constParameter]
sollya-8.0+ds/tests-lib/tprintf.c:100:9: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer]
sollya-8.0+ds/tests-lib/tprocedurefunction.c:13:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/trange_from_bounds.c:7:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_RANGE_BOUNDS_IN_INVERSE_ORDER [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/trange_from_bounds.c:29:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDD [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/trange_from_interval.c:7:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_RANGE_BOUNDS_IN_INVERSE_ORDER [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/trange_from_interval.c:71:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/trange_from_interval.c:56:11: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/trationalapprox.c:75:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tremez.c:29:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tsearchgal.c:32:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tstring.c:17:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tstring_list_ops.c:5:44: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/tsubpoly.c:10:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tsubstitute.c:17:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tsup.c:7:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tsup.c:51:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tsup.c:16:19: style: Same expression on both sides of '/'. [duplicateExpression]
sollya-8.0+ds/tests-lib/tv_annotatefunction.c:35:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_annotatefunction.c:30:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:28:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:18:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:23:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:28:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:37:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:48:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_end_elliptic_list.c:60:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_list.c:34:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_build_list.c:18:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_list.c:23:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_list.c:28:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_build_list.c:36:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_construct_function.c:18:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_construct_function.c:49:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_BASE_FUNC_ASINH [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_construct_function.c:51:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:48:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:51:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:65:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:62:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:65:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:79:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:76:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:79:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:93:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:90:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:93:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:107:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:104:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:107:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:121:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:118:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:121:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:135:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:132:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:135:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:149:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:146:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:149:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:163:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:160:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:163:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:176:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:174:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:176:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:190:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:187:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:190:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:204:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:201:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:204:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:218:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:215:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:218:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:232:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:229:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:232:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:246:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:243:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:246:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:262:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:257:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:262:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:278:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:273:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:278:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:292:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:289:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:292:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:305:7: style: Variable 'res' is reassigned a value before the old one has been used. [redundantAssignment]
sollya-8.0+ds/tests-lib/tv_construct_function.c:302:56: note: res is assigned
sollya-8.0+ds/tests-lib/tv_construct_function.c:305:7: note: res is overwritten
sollya-8.0+ds/tests-lib/tv_construct_function.c:176:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:66:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:116:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:120:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:133:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:146:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:159:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:172:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:189:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:205:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:219:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:232:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:245:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:288:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:301:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:314:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:327:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_decompose_function.c:340:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:33:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:34:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:35:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:36:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:37:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_execute_procedure.c:38:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:18:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:25:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:47:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:77:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:109:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:113:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_fpminimax.c:117:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:17:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:37:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_PI [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:40:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:52:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:64:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:76:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:89:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:105:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:120:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:133:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:145:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:157:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:186:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:198:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:210:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:222:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_get_subfunctions.c:234:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_implementpoly.c:99:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_implementpoly.c:120:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_implementpoly.c:164:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_implementpoly.c:226:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_implementpoly.c:46:32: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
sollya-8.0+ds/tests-lib/tv_interpolate.c:58:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_interpolate.c:63:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_interpolate.c:68:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:51:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:56:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:68:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:73:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:87:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:92:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:107:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:112:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:126:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:131:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:144:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:149:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:163:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:168:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:182:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:187:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:201:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:206:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:220:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:225:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:240:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:245:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:257:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:262:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:271:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_max.c:283:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:50:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:55:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:67:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:72:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:86:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:91:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:106:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:111:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:125:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:130:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:143:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:148:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:162:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:167:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:181:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:186:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:200:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:205:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:219:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:224:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:239:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:244:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:256:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:261:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:270:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_min.c:282:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:39:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOLLYA_X_ [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/tests-lib/tv_remez.c:42:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:65:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:85:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:109:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:129:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:153:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:177:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:202:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:229:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:254:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:279:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:305:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:329:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:353:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:379:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:404:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:430:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:458:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:486:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:513:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:540:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:566:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:590:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:613:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:637:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:661:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:685:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:709:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:733:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:757:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:781:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:805:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:829:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:853:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:877:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:901:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:925:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:949:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:973:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:997:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1021:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1045:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1070:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1096:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1121:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/tests-lib/tv_remez.c:1146:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
sollya-8.0+ds/worstcase.c:77:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/worstcase.c:134:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/worstcase.c:274:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_RNDN [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/xml.c:77:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/xml.c:208:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/xml.c:216:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PACKAGE_NAME [valueFlowBailoutIncompleteVar]
sollya-8.0+ds/execute.c:14118:44: warning: Null pointer dereference: string [ctunullpointer]
sollya-8.0+ds/sollya-library-wrappers.c:2748:11: note: Assuming that condition 'str==NULL' is not redundant
sollya-8.0+ds/sollya-library-wrappers.c:2756:29: note: Calling function makeString, 1st argument is null
sollya-8.0+ds/execute.c:14118:44: note: Dereferencing argument string that is null
sollya-8.0+ds/expression.c:5866:8: warning: Null pointer dereference: tree [ctunullpointer]
sollya-8.0+ds/expression.c:5846:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:5844:38: note: Calling function simplifyTreeInnerst, 1st argument is null
sollya-8.0+ds/expression.c:5866:8: note: Dereferencing argument tree that is null
sollya-8.0+ds/expression.c:6230:7: warning: Null pointer dereference: tree [ctunullpointer]
sollya-8.0+ds/expression.c:6213:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:6211:48: note: Calling function simplifyAllButDivisionInnerst, 1st argument is null
sollya-8.0+ds/expression.c:6230:7: note: Dereferencing argument tree that is null
sollya-8.0+ds/expression.c:6710:7: warning: Null pointer dereference: tree [ctunullpointer]
sollya-8.0+ds/supnorm.c:960:18: note: Assuming that condition 'bestPoly!=NULL' is not redundant
sollya-8.0+ds/supnorm.c:955:60: note: Calling function isPolynomialWithConstantDyadicFiniteRealCoefficients, 1st argument is null
sollya-8.0+ds/supnorm.c:867:8: note: Calling function isPolynomial, 1st argument is null
sollya-8.0+ds/expression.c:6710:7: note: Dereferencing argument tree that is null
sollya-8.0+ds/expression.c:9320:7: warning: Null pointer dereference: tree [ctunullpointer]
sollya-8.0+ds/expression.c:9360:13: note: Assuming that condition 'tree!=NULL' is not redundant
sollya-8.0+ds/expression.c:9358:30: note: Calling function hornerInner, 1st argument is null
sollya-8.0+ds/expression.c:9416:7: note: Calling function isHorner, 1st argument is null
sollya-8.0+ds/expression.c:9320:7: note: Dereferencing argument tree that is null
diff:
head sollya-8.0+ds/polynomials.c:4767:12: style: Condition 'bAbs>=1' is always true [knownConditionTrueFalse]
     sollya-8.0+ds/polynomials.c:4764:61: note: Assuming that condition 'b->value.integer>=1' is not redundant
     sollya-8.0+ds/polynomials.c:4765:17: note: Assignment 'bAbs=b->value.integer', assigned value is greater than 0
     sollya-8.0+ds/polynomials.c:4767:12: note: Condition 'bAbs>=1' is always true
2.17.0 sollya-8.0+ds/polynomials.c:4767:12: style: Condition 'bAbs>=1' is always true [knownConditionTrueFalse]
     sollya-8.0+ds/polynomials.c:4764:61: note: Assuming that condition 'b->value.integer>=1' is not redundant
     sollya-8.0+ds/polynomials.c:4765:7: note: bAbs is assigned 'b->value.integer' here.
     sollya-8.0+ds/polynomials.c:4767:12: note: Condition 'bAbs>=1' is always true


DONE