floatConversionOverflow ftp://ftp.de.debian.org/debian/pool/main/a/adlint/adlint_3.2.14.orig.tar.gz adlint-3.2.14/share/demo/overflow/overflow.c:41:31: error: Undefined behaviour: float (256.5) to integer conversion overflow. [floatConversionOverflow] adlint-3.2.14/share/demo/overflow/overflow.c:47:21: error: Undefined behaviour: float (1.5e+10) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/c/cdo/cdo_2.0.5.orig.tar.xz cdo-2.0.5/src/Gradsdes.cc:438:24: error: Undefined behaviour: float (1e+10) to integer conversion overflow. [floatConversionOverflow] cdo-2.0.5/src/Gradsdes.cc:439:24: error: Undefined behaviour: float (1e+10) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/c/cppcheck/cppcheck_2.8.orig.tar.gz cppcheck-2.8/test/synthetic/ub.c:14:28: error: Undefined behaviour: float (1e+100) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz frama-c-25.0-beta-Manganese/tests/rte/float_to_int.c:13:11: error: Undefined behaviour: float (1.5e+255) to integer conversion overflow. [floatConversionOverflow] frama-c-25.0-beta-Manganese/tests/rte/float_to_int.c:14:12: error: Undefined behaviour: float (258) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/i/indi/indi_1.9.6+dfsg.orig.tar.xz indi-1.9.6/libs/webcam/v4l2_colorspace.c:21:25: error: Undefined behaviour: float (278.288) to integer conversion overflow. [floatConversionOverflow] indi-1.9.6/libs/webcam/v4l2_colorspace.c:21:25: warning: Undefined behaviour: float (257.329) to integer conversion overflow. [floatConversionOverflow] indi-1.9.6/libs/webcam/v4l2_colorspace.c:24:28: error: Undefined behaviour: float (290.29) to integer conversion overflow. [floatConversionOverflow] indi-1.9.6/libs/webcam/v4l2_colorspace.c:24:28: warning: Undefined behaviour: float (268.661) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/libi/libindi/libindi_1.7.5+dfsg.orig.tar.xz indi-1.7.5/libindi/libs/webcam/v4l2_colorspace.c:21:25: error: Undefined behaviour: float (278.288) to integer conversion overflow. [floatConversionOverflow] indi-1.7.5/libindi/libs/webcam/v4l2_colorspace.c:21:25: warning: Undefined behaviour: float (257.329) to integer conversion overflow. [floatConversionOverflow] indi-1.7.5/libindi/libs/webcam/v4l2_colorspace.c:24:28: error: Undefined behaviour: float (290.29) to integer conversion overflow. [floatConversionOverflow] indi-1.7.5/libindi/libs/webcam/v4l2_colorspace.c:24:28: warning: Undefined behaviour: float (268.661) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/o/open3d/open3d_0.15.1+ds.orig.tar.xz Open3D-0.15.1/cpp/pybind/geometry/image.cpp:255:63: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/geometry/pointcloud.cpp:217:37: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/pointcloud.cpp:214:29: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/pointcloud.cpp:226:29: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/pointcloud.cpp:242:36: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/pointcloud.cpp:248:36: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/voxel_block_grid.cpp:136:70: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/geometry/voxel_block_grid.cpp:192:29: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/pipelines/odometry/odometry.cpp:200:27: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/pipelines/slam/slam.cpp:92:48: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/pipelines/slam/slam.cpp:101:65: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/t/pipelines/slam/slam.cpp:109:31: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] Open3D-0.15.1/cpp/pybind/visualization/visualizer.cpp:134:57: error: Undefined behaviour: float (1000) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/q/quakespasm/quakespasm_0.94.5+dfsg.orig.tar.xz quakespasm-0.94.5/Quake/mathlib.c:497:9: warning: Undefined behaviour: float (4.29497e+09) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/s/spandsp/spandsp_0.0.6+dfsg.orig.tar.xz spandsp-0.0.6+dfsg/src/v27ter_rx.c:592:20: error: Undefined behaviour: float (4.83184e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v27ter_rx.c:626:22: error: Undefined behaviour: float (6.44245e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:758:70: error: Undefined behaviour: float (6.44245e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:761:32: error: Undefined behaviour: float (7.73611e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:762:32: error: Undefined behaviour: float (6.66237e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:766:32: error: Undefined behaviour: float (6.66237e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:767:32: error: Undefined behaviour: float (7.73611e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:815:20: error: Undefined behaviour: float (5.36871e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v17rx.c:993:19: error: Undefined behaviour: float (5.36871e+09) to integer conversion overflow. [floatConversionOverflow] spandsp-0.0.6+dfsg/src/v29rx.c:636:20: error: Undefined behaviour: float (4.83184e+09) to integer conversion overflow. [floatConversionOverflow] ftp://ftp.de.debian.org/debian/pool/main/v/validns/validns_0.8+git20160720.orig.tar.gz loc.c:43:12: error: Undefined behaviour: float (1000.5) to integer conversion overflow. [floatConversionOverflow] loc.c:43:12: error: Undefined behaviour: float (1e+06) to integer conversion overflow. [floatConversionOverflow]