floatConversionOverflow
ftp://ftp.de.debian.org/debian/pool/main/3/3depict/3depict_0.0.23.orig.tar.gz
3Depict-0.0.23/src/common/colourmap.cpp:139:11: warning: Undefined behaviour: float (510) to integer conversion overflow. [floatConversionOverflow]
3Depict-0.0.23/src/common/colourmap.cpp:141:11: warning: Undefined behaviour: float (765) to integer conversion overflow. [floatConversionOverflow]
3Depict-0.0.23/src/common/colourmap.cpp:158:11: warning: Undefined behaviour: float (510) to integer conversion overflow. [floatConversionOverflow]
3Depict-0.0.23/src/common/colourmap.cpp:160:11: warning: Undefined behaviour: float (765) to integer conversion overflow. [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.2.orig.tar.xz
cdo-2.0.2/src/Gradsdes.cc:438:24: error: Undefined behaviour: float (1e+10) to integer conversion overflow. [floatConversionOverflow]
cdo-2.0.2/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/celestia/celestia_1.6.1+dfsg.orig.tar.gz
celestia-1.6.1+dfsg/src/packdb.cpp:344:3: warning: Undefined behaviour: float (400) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/c/cppcheck/cppcheck_2.6.orig.tar.gz
cppcheck-2.6/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_20201209+titanium.orig.tar.gz
frama-c-22.0-Titanium/tests/rte/float_to_int.c:13:11: error: Undefined behaviour: float (1.5e+255) to integer conversion overflow. [floatConversionOverflow]
frama-c-22.0-Titanium/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/g/ga/ga_5.8.orig.tar.gz
ga-5.8/global/X/xregion_xcmap.c:43:21: warning: Undefined behaviour: float (69904) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/gdcm/gdcm_3.0.10.orig.tar.gz
GDCM-3.0.10/Source/MediaStorageAndFileFormat/gdcmSurfaceHelper.h:146:19: warning: Undefined behaviour: float (65792) to integer conversion overflow. [floatConversionOverflow]
GDCM-3.0.10/Source/MediaStorageAndFileFormat/gdcmSurfaceHelper.h:154:19: warning: Undefined behaviour: float (65792) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/gem/gem_0.94.orig.tar.bz2
Gem-v0.94/extra/pix_hit/pix_hit.cpp:279:23: warning: Undefined behaviour: float (510) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/glfer/glfer_0.4.2.orig.tar.gz
glfer-0.4.2/g_main.c:667:11: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:672:11: warning: Undefined behaviour: float (258) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:674:11: warning: Undefined behaviour: float (258) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:679:11: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:689:11: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:694:11: warning: Undefined behaviour: float (258) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:696:11: warning: Undefined behaviour: float (258) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:701:11: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:710:11: warning: Undefined behaviour: float (256.5) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:715:11: warning: Undefined behaviour: float (258.001) to integer conversion overflow. [floatConversionOverflow]
glfer-0.4.2/g_main.c:753:11: warning: Undefined behaviour: float (257) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/g/gutenprint/gutenprint_5.3.3.orig.tar.xz
gutenprint-5.3.3/src/main/channel.c:264:17: warning: Undefined behaviour: float (131070) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/i/indi/indi_1.9.3+dfsg.orig.tar.xz
indi-1.9.3/libs/webcam/v4l2_colorspace.c:21:25: error: Undefined behaviour: float (278.288) to integer conversion overflow. [floatConversionOverflow]
indi-1.9.3/libs/webcam/v4l2_colorspace.c:21:25: error: Undefined behaviour: float (279.452) to integer conversion overflow. [floatConversionOverflow]
indi-1.9.3/libs/webcam/v4l2_colorspace.c:24:28: error: Undefined behaviour: float (290.29) to integer conversion overflow. [floatConversionOverflow]
indi-1.9.3/libs/webcam/v4l2_colorspace.c:24:28: error: Undefined behaviour: float (291.429) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/i/infernal/infernal_1.1.4.orig.tar.gz
infernal-1.1.4/src/cp9_trace.c:1420:14: error: Undefined behaviour: float (-1e+36) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/i/insighttoolkit5/insighttoolkit5_5.2.1.orig.tar.xz
InsightToolkit-5.2.1/Modules/ThirdParty/GDCM/src/gdcm/Source/MediaStorageAndFileFormat/gdcmSurfaceHelper.h:146:19: warning: Undefined behaviour: float (65792) to integer conversion overflow. [floatConversionOverflow]
InsightToolkit-5.2.1/Modules/ThirdParty/GDCM/src/gdcm/Source/MediaStorageAndFileFormat/gdcmSurfaceHelper.h:154:19: warning: Undefined behaviour: float (65792) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/i/iw/iw_5.16.orig.tar.xz
iw-5.16/bitrate.c:299:26: warning: Undefined behaviour: float (1022) to integer conversion overflow. [floatConversionOverflow]
iw-5.16/bitrate.c:299:26: warning: Undefined behaviour: float (1020) 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: error: Undefined behaviour: float (279.452) 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: error: Undefined behaviour: float (291.429) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/libr/librsl/librsl_1.43.orig.tar.gz
rsl-v1.43/image_gen.c:417:27: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
rsl-v1.43/image_gen.c:482:23: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
rsl-v1.43/image_gen.c:1039:31: warning: Undefined behaviour: float (256) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/m/minc/minc_2.2.00.orig.tar.gz
minc-2.2.00/libsrc2/test/hyper-test-2.c:61:16: error: Undefined behaviour: float (73059) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-mm/ocaml-mm_0.7.3.orig.tar.gz
ocaml-mm-0.7.3/src/audio_c.c:137:5: warning: Undefined behaviour: float (382) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/o/openni/openni_1.5.4.0+dfsg.orig.tar.xz
openni-1.5.4.0+dfsg/Samples/NiViewer/Draw.cpp:326:8: warning: Undefined behaviour: float (259.7) to integer conversion overflow. [floatConversionOverflow]
openni-1.5.4.0+dfsg/Samples/NiViewer/Draw.cpp:333:8: warning: Undefined behaviour: float (259.91) to integer conversion overflow. [floatConversionOverflow]
openni-1.5.4.0+dfsg/Samples/NiViewer/Draw.cpp:337:8: warning: Undefined behaviour: float (258.74) to integer conversion overflow. [floatConversionOverflow]
openni-1.5.4.0+dfsg/Samples/NiViewer/Draw.cpp:344:8: warning: Undefined behaviour: float (257.38) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/q/quakespasm/quakespasm_0.94.3+dfsg.orig.tar.xz
quakespasm-0.94.3/Quake/mathlib.c:501:9: warning: Undefined behaviour: float (4.29497e+09) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/r/routino/routino_3.3.3.orig.tar.gz
routino-3.3.3/src/types.h:395:107: warning: Undefined behaviour: float (260) to integer conversion overflow. [floatConversionOverflow]
ftp://ftp.de.debian.org/debian/pool/main/s/silverjuke/silverjuke_18.2.1.orig.tar.gz
silverjuke-18.2.1/src/see/value.c:248:11: warning: Undefined behaviour: float (65536) 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]