ftp://ftp.de.debian.org/debian/pool/main/b/bobcat/bobcat_6.11.00.orig.tar.gz 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 bobcat-6.11.00/ldc/compress.cc:19:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bobcat-6.11.00/ldc/init2.cc:11:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/i/icmake/icmake_13.05.01.orig.tar.gz 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 icmake-13.05.01/dep/dependencies/dependencies1.cc:14:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] icmake-13.05.01/dep/dependencies/implieddependencies.cc:21:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] icmake-13.05.01/dep/dependencies/inspectgchages.cc:6:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] icmake-13.05.01/dep/dependencies/setclassidx.cc:10:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] icmake-13.05.01/dep/dependencies/setcount.cc:6:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] icmake-13.05.01/dep/dependencies/useallindicator.cc:8:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/s/signalbackup-tools/signalbackup-tools_20250313.1.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=sqlite3 --library=openssl --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 signalbackup-tools-20250313-1/protobufparser/protobufparser.h:587:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/c/c++-annotations/c++-annotations_13.04.01.orig.tar.gz 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 c++-annotations-13.04.01/yo/overloading/examples/intarray.cc:7:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] c++-annotations-13.04.01/yo/overloading/examples/intarray.cc:58:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/l/ltrace/ltrace_0.7.91~git20230705.8eabf68.orig.tar.xz cppcheck-options: --library=posix --library=gnu --library=bsd --library=selinux --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 ltrace-0.7.91~git20230705.8eabf68/ltrace-elf.c:273:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/s/silly/silly_0.1.0.orig.tar.gz 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 silly-0.1.0/src/SILLYFileDataSource.cpp:64:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] ftp://ftp.de.debian.org/debian/pool/main/b/bitwuzla/bitwuzla_0.8.2.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=googletest --library=python --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 bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:284:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:383:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:490:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:515:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:532:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:552:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:666:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:693:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:728:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:778:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:785:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:793:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:905:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:927:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:942:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:950:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:965:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:991:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1010:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1077:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1083:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1089:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1095:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1125:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1131:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1137:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1149:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1155:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1161:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1167:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1173:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1239:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1245:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1251:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1257:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1263:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1269:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1275:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1281:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1287:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1293:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1299:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1305:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1311:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1317:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1323:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1329:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1335:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1341:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1347:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1353:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1359:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1365:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1371:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1377:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1383:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1389:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1395:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1401:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1407:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:1413:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:3145:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:3227:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:3305:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:3848:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/lib/bv/bitvector.cpp:4052:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:155:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:164:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:181:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:381:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:387:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:393:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:399:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:405:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:411:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:417:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:423:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:429:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:436:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:442:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:449:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:455:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:464:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:473:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:482:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:491:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:500:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:509:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:518:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:529:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar] bitwuzla-0.8.2/src/solver/fp/floating_point.cpp:538:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_size [valueFlowBailoutIncompleteVar]