[llvm-bugs] [Bug 33286] New: Require NS_VALID_UNTIL_END_OF_SCOPE for any variable set to a pointer marked NS_RETURNS_INNER_POINTER when the object owning the inner pointer may become deallocated

[via llvm-bugs]

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

            Bug ID: 33286
           Summary: Require NS_VALID_UNTIL_END_OF_SCOPE for any variable
                    set to a pointer marked NS_RETURNS_INNER_POINTER when
                    the object owning the inner pointer may become
                    deallocated
           Product: clang
           Version: 4.0
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: michael.eisel at gmail.com
                CC: llvm-bugs at lists.llvm.org

Otherwise, the object holding the inner pointer may be deallocated before the
variable is, and then the local variable will point to garbage. One way to do
determine, most of the time, if the buffer object may become deallocated first
is if the buffer object is local.

-- 
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/20170602/c352518e/attachment.html>