[llvm-bugs] [Bug 36074] New: undefined behavior in SelectionDAGAddressAnalysis.cpp

via llvm-bugs llvm-bugs at lists.llvm.org
Wed Jan 24 02:16:51 PST 2018


https://bugs.llvm.org/show_bug.cgi?id=36074

            Bug ID: 36074
           Summary: undefined behavior in SelectionDAGAddressAnalysis.cpp
           Product: new-bugs
           Version: trunk
          Hardware: Macintosh
                OS: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: yannlaiglechapuy at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 19738
  --> https://bugs.llvm.org/attachment.cgi?id=19738&action=edit
reduced code

With the attached reduced file:

> llc -O1 SelectionDAG_UB.ll
[...]lib/CodeGen/SelectionDAG/SelectionDAGAddressAnalysis.cpp:23:22:
runtime error: signed integer overflow: 7124803381091165632 -
-7949118599238474896 cannot be represented in type 'long long'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior
[...]lib/CodeGen/SelectionDAG/SelectionDAGAddressAnalysis.cpp:23:22 in 
Stack dump:
0.      Program arguments: llc -O1 SelectionDAG_UB.ll
1.      Running pass 'Function Pass Manager' on module 'SelectionDAG_UB.ll'.
2.      Running pass 'X86 DAG->DAG Instruction Selection' on function '@Test'

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180124/dd6c03aa/attachment.html>


More information about the llvm-bugs mailing list