diff options
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 84a839819c..3785e900c8 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -334,14 +334,14 @@ public: /// \brief Get dynamic type information for a region. DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const; - /// \brief Add dynamic type information to the region; return the new state. - ProgramStateRef addDynamicTypeInfo(const MemRegion *Reg, + /// \brief Set dynamic type information of the region; return the new state. + ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg, DynamicTypeInfo NewTy) const; - /// \brief Add dynamic type information to the region; return the new state. - ProgramStateRef addDynamicTypeInfo(const MemRegion *Reg, + /// \brief Set dynamic type information of the region; return the new state. + ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg, QualType NewTy) const { - return addDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy)); + return setDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy)); } //==---------------------------------------------------------------------==// |