[llvm-bugs] [Bug 41328] New: Readonly/readnone are derived after pointer escapes

[via llvm-bugs]

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

            Bug ID: 41328
           Summary: Readonly/readnone are derived after pointer escapes
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Interprocedural Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: jdoerfert at anl.gov
                CC: llvm-bugs at lists.llvm.org

Created attachment 21714
  --> https://bugs.llvm.org/attachment.cgi?id=21714&action=edit
problematic inputs

Readnone/only pointer attribute detection ignores uses in calls if they are
themselves marked as readnon/only. Though, even a readnone pointer use allows
the pointer to escape. The test case shows how the wrong attributes are derived
when optimized with -functionattrs.

-- 
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/20190401/b18cc6d9/attachment.html>