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: [email protected]
Reporter: [email protected]
CC: [email protected]
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._______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
