2025-12-23 03:13 ftp://ftp.de.debian.org/debian/pool/main/m/mpfr4/mpfr4_4.2.2.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 -j90 platform: Linux-6.8.0-90-generic-x86_64-with-glibc2.39 python: 3.12.3 client-version: 1.3.69 compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0 cppcheck: head 2.19.0 head-info: b66f900 (2025-12-21 20:49:38 +0100) count: 110 110 elapsed-time: 0.5 0.5 head-timing-info: old-timing-info: head results: mpfr-4.2.2/examples/can_round.c:45:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/sample.c:37:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDD [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/divworst.c:59:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/rndo-add.c:46:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/threads.c:49:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PREC [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/threads.c:68:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/version.c:42:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/examples/version.c:67:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar] mpfr-4.2.2/src/mpfr-gmp.h:59:3: error: #error "GMP 5.0.0 or newer is required" [preprocessorErrorDirective] mpfr-4.2.2/examples/threads.c:59:27: style: Parameter 'argv' can be declared as const array [constParameter] mpfr-4.2.2/examples/divworst.c:52:27: style: Parameter 'argv' can be declared as const array [constParameter] mpfr-4.2.2/src/jyn_asympt.c:28:4: error: #error "neither MPFR_JN nor MPFR_YN is defined" [preprocessorErrorDirective] mpfr-4.2.2/src/add1sp1_extracted.c:43:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sh [valueFlowBailoutIncompleteVar] mpfr-4.2.2/src/add1sp1_extracted.c:84:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/src/round_raw_generic.c:23:3: error: #error "ERROR: flag must be defined (0 / 1)" [preprocessorErrorDirective] mpfr-4.2.2/src/mul_1_extracted.c:71:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tests/mpfr-test.h:121:2: error: failed to evaluate #if condition, undefined function-like macro invocation: __MPFR_GNUC( ... ) [syntaxError] mpfr-4.2.2/tests/tgeneric.c:408:49: error: There is an unknown macro here somewhere. Configuration is required. If MAKE_STR is a macro then please configure it. [unknownMacro] mpfr-4.2.2/tests/tgeneric_ui.c:59:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RANDS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/src/add1sp1_extracted.c:89:15: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:90:15: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:111:19: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:112:19: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:139:21: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:140:21: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:167:21: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:188:19: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:189:19: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:216:21: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:217:21: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:244:21: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/add1sp1_extracted.c:264:15: style: Variable 'ap' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/sub1sp1_extracted.c:206:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/speed.c:125:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/speed.c:145:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/speed.c:184:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/speed.c:210:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:77:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:116:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:304:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:311:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:317:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:325:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:331:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:345:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:392:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_PREC_MIN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:435:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable speed_params [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/speed.c:229:8: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled] mpfr-4.2.2/tune/speed.c:212:15: style: Variable 'tp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/tools/bench/mpfrbench.c:62:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:63:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:64:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:65:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:66:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:67:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:68:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:69:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:70:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:71:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:72:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_RNDN [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:119:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:130:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_t [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tools/bench/mpfrbench.c:181:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:70:20: style: Parameter 't' can be declared as pointer to const [constParameterPointer] mpfr-4.2.2/tune/bidimensional_sample.c:441:8: style: Variable 'filename' can be declared as const array [constVariable] mpfr-4.2.2/tune/tuneup.c:253:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:264:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:276:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:298:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:303:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:308:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:354:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:376:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:420:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:510:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GMP_NUMB_BITS [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:594:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPFR_SMALL_PRECISION [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:738:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_mulhigh_n [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:744:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpfr_sqrhigh_n [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:762:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:810:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:857:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:986:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/tuneup.c:1006:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] mpfr-4.2.2/tune/bidimensional_sample.c:356:5: style: Variable 'i' is assigned a value that is never used. [unreadVariable] mpfr-4.2.2/tune/bidimensional_sample.c:403:5: style: Variable 'i' is assigned a value that is never used. [unreadVariable] mpfr-4.2.2/src/mul_1_extracted.c:67:13: style: Variable 'bp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/mul_1_extracted.c:68:13: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/mul_1_extracted.c:107:13: style: Variable 'ap1' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/mul_1_extracted.c:124:17: style: Variable 'ap2' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/mul_1_extracted.c:231:15: style: Variable 'ap2' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/tune/tuneup.c:1026:8: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled] mpfr-4.2.2/tune/tuneup.c:315:23: style: Parameter 'dat' can be declared as pointer to const [constParameterPointer] mpfr-4.2.2/tune/tuneup.c:340:73: style: Parameter 'm' can be declared as pointer to const [constParameterPointer] mpfr-4.2.2/tune/tuneup.c:999:15: style: Variable 'tp' can be declared as pointer to const [constVariablePointer] mpfr-4.2.2/src/sub1sp1_extracted.c:338:20: style: Condition 'sb_1==(uint64_t)0U' is always false [knownConditionTrueFalse] mpfr-4.2.2/src/sub1sp1_extracted.c:336:79: note: Assignment 'sb_1=~(cp0ul1<<(uint32_t)(GMP_NUMB_BITS-d))+(uint64_t)1U', assigned value is greater than 1 mpfr-4.2.2/src/sub1sp1_extracted.c:338:20: note: Condition 'sb_1==(uint64_t)0U' is always false mpfr-4.2.2/src/sub1sp1_extracted.c:452:61: style: Condition 'ap[0U]+((uint64_t)1U<<(uint32_t)st.sh)==(uint64_t)0U' is always false [knownConditionTrueFalse] mpfr-4.2.2/src/sub1sp1_extracted.c:491:61: style: Condition 'ap[0U]+((uint64_t)1U<<(uint32_t)st.sh)==(uint64_t)0U' is always false [knownConditionTrueFalse] mpfr-4.2.2/tools/bench/mpfrbench.c:62:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:63:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:64:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:65:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:66:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:67:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:68:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:69:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:70:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:71:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:72:1: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] mpfr-4.2.2/tools/bench/mpfrbench.c:266:24: error: Uninitialized variable: globalscore [uninitvar] mpfr-4.2.2/tools/bench/mpfrbench.c:264:27: error: Uninitialized variable: score[i] [legacyUninitvar] diff: DONE