]> granicus.if.org Git - clang/commitdiff
[analyzer] Don't use the address of a temporary CFGElement.
authorJordan Rose <jordan_rose@apple.com>
Fri, 7 Sep 2012 18:36:17 +0000 (18:36 +0000)
committerJordan Rose <jordan_rose@apple.com>
Fri, 7 Sep 2012 18:36:17 +0000 (18:36 +0000)
GCC destroys temporary objects more aggressively than clang, so this
results in incorrect behavior when compiling GCC Release builds.

We could avoid this issue under C++11 by preventing getAs from being
called when 'this' is an rvalue:

  template<class ElemTy> const ElemTy *getAs() const & { ... }
  template<class ElemTy> const ElemTy *getAs() const && = delete;

Unfortunately, we do not have compatibility macros for this behavior yet.

This will hopefully fix PR13760 and PR13762.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163402 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/CoreEngine.cpp

index 8b7eeef470c84ab217e7a18497276493886e0720..84d2cc65459922ccf128aba5a7ee9ad206d7952e 100644 (file)
@@ -514,7 +514,8 @@ void CoreEngine::enqueueStmtNode(ExplodedNode *N,
     return;
   }
 
-  const CFGStmt *CS = (*Block)[Idx].getAs<CFGStmt>();
+  CFGElement Elem = (*Block)[Idx];
+  const CFGStmt *CS = Elem.getAs<CFGStmt>();
   const Stmt *St = CS ? CS->getStmt() : 0;
   PostStmt Loc(St, N->getLocationContext());