diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-03-23 06:26:56 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-03-23 06:26:56 +0000 |
| commit | 514f2c9dcb9e04b52929c5b141a6fe88bd68b33f (patch) | |
| tree | de90e8990c033bc188b7e515f0202d85ba2090d4 /lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp | |
| parent | f102c45ed9caf6f0002edb2adb19687e25ec20d3 (diff) | |
Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153309 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp index 940228e679..bf4b76c640 100644 --- a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp @@ -2599,6 +2599,9 @@ void RetainCountChecker::checkPostStmt(const CastExpr *CE, void RetainCountChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const { + if (C.wasInlined) + return; + // Get the callee. ProgramStateRef state = C.getState(); const Expr *Callee = CE->getCallee(); |