forked from OSchip/llvm-project
1a866cd54b
...by synthesizing their body to be "return self->_prop;", with an extra nudge to RetainCountChecker to still treat the value as +0 if we have no other information. This doesn't handle weak properties, but that's mostly correct anyway, since they can go to nil at any time. This also doesn't apply to properties whose implementations we can't see, since they may not be backed by an ivar at all. And finally, this doesn't handle properties of C++ class type, because we can't invoke the copy constructor. (Sema has actually done this work already, but the AST it synthesizes is one the analyzer doesn't quite handle -- it has an rvalue DeclRefExpr.) Modeling setters is likely to be more difficult (since it requires handling strong/copy), but not impossible. <rdar://problem/11956898> llvm-svn: 198953 |
||
|---|---|---|
| .. | ||
| AnalysisDeclContext.cpp | ||
| BodyFarm.cpp | ||
| BodyFarm.h | ||
| CFG.cpp | ||
| CFGReachabilityAnalysis.cpp | ||
| CFGStmtMap.cpp | ||
| CMakeLists.txt | ||
| CallGraph.cpp | ||
| CocoaConventions.cpp | ||
| Consumed.cpp | ||
| Dominators.cpp | ||
| FormatString.cpp | ||
| FormatStringParsing.h | ||
| LiveVariables.cpp | ||
| Makefile | ||
| ObjCNoReturn.cpp | ||
| PostOrderCFGView.cpp | ||
| PrintfFormatString.cpp | ||
| ProgramPoint.cpp | ||
| PseudoConstantAnalysis.cpp | ||
| ReachableCode.cpp | ||
| ScanfFormatString.cpp | ||
| ThreadSafety.cpp | ||
| UninitializedValues.cpp | ||