]> granicus.if.org Git - clang/commitdiff
[analyzer] Refactor: parameter rename.
authorAnna Zaks <ganna@apple.com>
Wed, 16 Jan 2013 01:35:54 +0000 (01:35 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 16 Jan 2013 01:35:54 +0000 (01:35 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172595 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/StaticAnalyzer/Checkers/CStringChecker.cpp
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

index ef2278c94f98be62e4517d93e163adeb0db53aa8..0985f12966986fe6ddb48cd41bb1e99427f4b049 100644 (file)
@@ -222,8 +222,8 @@ public:
   /// \param E the expression that caused the invalidation.
   /// \param BlockCount The number of times the current basic block has been
   //         visited.
-  /// \param CausedByPointerEscape the flag is set to true when
-  ///        the invalidation is due to escape of a symbol (representing a
+  /// \param CausesPointerEscape the flag is set to true when
+  ///        the invalidation entails escape of a symbol (representing a
   ///        pointer). For example, due to it being passed as an argument in a
   ///        call.
   /// \param IS the set of invalidated symbols.
@@ -232,7 +232,7 @@ public:
   ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
                                     const Expr *E, unsigned BlockCount,
                                     const LocationContext *LCtx,
-                                    bool CausedByPointerEscape,
+                                    bool CausesPointerEscape,
                                     InvalidatedSymbols *IS = 0,
                                     const CallEvent *Call = 0) const;
 
index 889b2363f67a486406705ea72b2bcfc773e733ac..771d82989bdeb8428282f8e79573ee82f308d5a3 100644 (file)
@@ -817,7 +817,7 @@ ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,
     // Invalidate this region.
     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
     return state->invalidateRegions(R, E, C.blockCount(), LCtx,
-                                    /*CausedByPointerEscape*/ false);
+                                    /*CausesPointerEscape*/ false);
   }
 
   // If we have a non-region value by chance, just remove the binding.
index f81168e3067cf3eb09898e77a68c21f59724ecb6..ea1e69db39b2ec0f3670ee431457cec4b234bc8c 100644 (file)
@@ -3175,7 +3175,7 @@ bool RetainCountChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
 
     // Invalidate the argument region.
     state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx,
-                                     /*CausedByPointerEscape*/ false);
+                                     /*CausesPointerEscape*/ false);
 
     // Restore the refcount status of the argument.
     if (Binding)