[llvm-bugs] [Bug 42039] New: Argument Promotion can cause accesses to memory not accessed before

[via llvm-bugs]

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

            Bug ID: 42039
           Summary: Argument Promotion can cause accesses to memory not
                    accessed before
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Interprocedural Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: jdoerfert at anl.gov
                CC: llvm-bugs at lists.llvm.org

Created attachment 22025
  --> https://bugs.llvm.org/attachment.cgi?id=22025&action=edit
reproducer

The attached test case shows how ArgumentPromotion can introduce accesses to
memory not accessed before. The call to the function in the entry block of
@local should prevent us from deriving "dereferenceable" for the argument
pointer.

-- 
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/20190527/c6f639e5/attachment.html>