[Bug 728738] New: Depending on undefined C behaviour

GStreamer (bugzilla.gnome.org) bugzilla at gnome.org
Tue Apr 22 09:09:05 PDT 2014


https://bugzilla.gnome.org/show_bug.cgi?id=728738
  GStreamer | orc | git

           Summary: Depending on undefined C behaviour
    Classification: Platform
           Product: GStreamer
           Version: git
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: Normal
         Component: orc
        AssignedTo: gstreamer-bugs at lists.freedesktop.org
        ReportedBy: slomo at coaxion.net
         QAContact: gstreamer-bugs at lists.freedesktop.org
                CC: ds at schleef.org
     GNOME version: ---


When running the orc tests with -fsanitize=undefined, the following errors are
output. Not 100% how much of a problem most of them are, but at least the
multiplications look like potential problems as even with overflow we want to
get the correct lower bits.

orcemulateopcodes.c:1960:23: runtime error: signed integer overflow: 1768407051
+ 1414659664 cannot be represented in type 'int'
orcemulateopcodes.c:2422:24: runtime error: signed integer overflow: 1077310071
* 2123950917 cannot be represented in type 'int'
orcemulateopcodes.c:2655:23: runtime error: signed integer overflow: 1784749336
- -920376017 cannot be represented in type 'int'
orcemulateopcodes.c:3054:23: runtime error: signed integer overflow:
-8341237286373564365 + -6921298289332063230 cannot be represented in type 'long
int'
orcemulateopcodes.c:3083:23: runtime error: signed integer overflow:
8561192227864709142 - -6631631716088947336 cannot be represented in type 'long
int'
orcemulateopcodes.c:3871:37: runtime error: signed integer overflow: 46422 *
56385 cannot be represented in type 'int'
orcemulateopcodes.c:3972:23: runtime error: signed integer overflow:
-1507101779 + -1313781769 cannot be represented in type 'int'
orcemulateopcodes.c:3974:40: runtime error: signed integer overflow: 1202747562
+ 1746615961 cannot be represented in type 'int'

-- 
Configure bugmail: https://bugzilla.gnome.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
You are the assignee for the bug.


More information about the gstreamer-bugs mailing list