From 7fa60edb47fdb2e5a0147e0ea9eb1d93bf30cde0 Mon Sep 17 00:00:00 2001 From: DeLesley Hutchins Date: Thu, 29 Aug 2013 21:17:25 +0000 Subject: Consumed analysis: non-const methods no longer transfer an object into an unknown state. Patch by chris.wailes@gmail.com. llvm-svn: 189612 --- clang/lib/Analysis/Consumed.cpp | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) (limited to 'clang/lib/Analysis/Consumed.cpp') diff --git a/clang/lib/Analysis/Consumed.cpp b/clang/lib/Analysis/Consumed.cpp index 745840d7a11..e5231e07c28 100644 --- a/clang/lib/Analysis/Consumed.cpp +++ b/clang/lib/Analysis/Consumed.cpp @@ -530,8 +530,6 @@ void ConsumedStmtVisitor::VisitCXXMemberCallExpr( handleTestingFunctionCall(Call, PInfo.getVar()); else if (MethodDecl->hasAttr()) StateMap->setState(PInfo.getVar(), consumed::CS_Consumed); - else if (!MethodDecl->isConst()) - StateMap->setState(PInfo.getVar(), consumed::CS_Unknown); } } } @@ -626,18 +624,10 @@ void ConsumedStmtVisitor::VisitCXXOperatorCallExpr( checkCallability(PInfo, FunDecl, Call); if (PInfo.isVar()) { - if (isTestingFunction(FunDecl)) { + if (isTestingFunction(FunDecl)) handleTestingFunctionCall(Call, PInfo.getVar()); - - } else if (FunDecl->hasAttr()) { + else if (FunDecl->hasAttr()) StateMap->setState(PInfo.getVar(), consumed::CS_Consumed); - - } else if (const CXXMethodDecl *MethodDecl = - dyn_cast_or_null(FunDecl)) { - - if (!MethodDecl->isConst()) - StateMap->setState(PInfo.getVar(), consumed::CS_Unknown); - } } } } -- cgit v1.2.3