[Bug binutils/19310] New: src/binutils/dwarf.c:6459: code relies on undefined behaviour ?

[dcb314 at hotmail dot com]

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.