[prev in list] [next in list] [prev in thread] [next in thread] 

List:       binutils-bugs
Subject:    [Bug binutils/19310] New: src/binutils/dwarf.c:6459: code relies on undefined behaviour ?
From:       "dcb314 at hotmail dot com" <sourceware-bugzilla () sourceware ! org>
Date:       2015-11-30 15:26:07
Message-ID: bug-19310-70 () http ! sourceware ! org/bugzilla/
[Download RAW message or body]

https://sourceware.org/bugzilla/show_bug.cgi?id=19310

            Bug ID: 19310
           Summary: src/binutils/dwarf.c:6459: code relies on undefined
                    behaviour ?
           Product: binutils
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: binutils
          Assignee: unassigned at sourceware dot org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

[src/binutils/dwarf.c:6459]: (warning) Invalid test for overflow
'start+ul<start'. Condition is always false unless there is overflow, and
overflow is UB.

     if (start >= block_end || start + ul > block_end || start + ul < start)

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[prev in list] [next in list] [prev in thread] [next in thread]