diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-08-22 06:37:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-08-22 06:37:46 +0000 |
| commit | 56a46b51df691f857f7120aaf2d4deeff0b014de (patch) | |
| tree | 54b8c71b79e55f219b90b0f27079b3dbb2c31d53 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
| parent | 66c486f275531df6362b3511fc3af6563561801b (diff) | |
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
'killBinding()'. The name is more specific, and one just forwarded
to the other.
Add some doxygen comments along the way.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162350 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index f517019482..a4d086ed4d 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -237,7 +237,7 @@ public: ProgramStateRef bindDefault(SVal loc, SVal V) const; - ProgramStateRef unbindLoc(Loc LV) const; + ProgramStateRef killBinding(Loc LV) const; /// invalidateRegions - Returns the state with bindings for the given regions /// cleared from the store. The regions are provided as a continuous array |