StaticAnalyzer/Checkers/RetainCountChecker.cpp

79     NotOwned,  // Reference is not owned by still valid (not freed).
82     ReturnedNotOwned, // Return object does not pass ownership to caller.
87     ErrorReleaseNotOwned, // Release of an object that was not owned.
90     ErrorLeakReturned, // A memory leak due to the returning method not having
226       Out << "-dealloc (not-owned)";
296   ///  do not have an entry in Args.
345   /// summaries are not necessarily identical (for example, if an explicit
507   /// GCEnabled - Records whether or not the analyzed code runs in GC mode.
510   /// Records whether or not the analyzed code runs in ARC mode.
882   // of '[super init]' in cases when it is not consumed by another expression
891       // Check if the message is not consumed, we know it will not be used in
1504   // For NSPanel (which subclasses NSWindow), allocated objects are not
1523   // 'createCGLayerWithSize'.  These objects are CF objects, and are not
1571              "not owned at this point by the caller";
1620       // Leaks should not be reported if they are post-dominated by a sink.
1862           "Core Foundation objects are not automatically garbage collected.";
1922       // We may not have transitioned to 'release' if we hit an error.
1959         os << "When GC is not enabled a call to '" << *FD
1992             os << " The object is not eligible for garbage collection until "
2101       // Do not show local variables belonging to a function other than
2145   // do not report the binding.
2146   assert(N && "Could not find allocation node");
2222            << "') does not start with 'copy', 'mutableCopy', 'alloc' or 'new'."
2229            << "') does not contain 'Copy' or 'Create'.  This violates the naming"
2239           "of this method do not expect a returned object with a +1 retain "
2244     os << " is not referenced later in this execution path and has a retain "
2262   // Note that this is *not* the trimmed graph; we are guaranteed, however,
2380     // ExplodedGraph, not to a specific part of the code being analyzed.
2411           leakWithinFunction.reset(new Leak("Leak of object when not using "
2431           leakAtReturn.reset(new Leak("Leak of returned object when not using "
2715   // If RetE is not a message expression just return its type.
2855       // *not* fail.
3142   // FIXME: This should not be necessary, but otherwise the argument seems to be
3172   // and not the result of inlining.  In the future, we should do
3314       // Trying to return a not owned object to a caller expecting an
3346   // (1) we are binding to something that is not a memory region.
3347   // (2) we are binding to a memregion that does not have stack storage
3349   //     does not understand.
3359       // Do this only if we know that the store is not supposed to generate the
3366       // Case 4: We do not currently model what happens when a symbol is
3556       assert(BT && "BugType not initialized.");
3630       // FIXME: This might not be as unique as we would like.