diff options
author | Anna Zaks <ganna@apple.com> | 2012-08-24 18:43:09 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-08-24 18:43:09 +0000 |
commit | 81e6cfddcbb32eb9bbbee5c3f5156fc19ca7e774 (patch) | |
tree | e8ea4a94224371a4293343ed500e8c4f9cca9786 | |
parent | 17083601193528a5d3770b688ffdf700f7df3c45 (diff) |
[analyzer] Address Jordan's review comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162579 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h b/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h index 4a487f20fb..9755c123a2 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h @@ -13,13 +13,10 @@ namespace clang { namespace ento { -/// \class DynamicTypeInfo -/// + /// \brief Stores the currently inferred strictest bound on the runtime type /// of a region in a given state along the analysis path. class DynamicTypeInfo { -public: - private: QualType T; bool CanBeASubClass; @@ -30,7 +27,7 @@ public: DynamicTypeInfo(QualType WithType, bool CanBeSub = true) : T(WithType), CanBeASubClass(CanBeSub) {} - /// \brief Return true if no dynamic type info is available. + /// \brief Return false if no dynamic type info is available. bool isValid() const { return !T.isNull(); } /// \brief Returns the currently inferred upper bound on the runtime type. @@ -41,7 +38,7 @@ public: bool canBeASubClass() const { return CanBeASubClass; } void Profile(llvm::FoldingSetNodeID &ID) const { - T.Profile(ID); + ID.Add(T); ID.AddInteger((unsigned)CanBeASubClass); } bool operator==(const DynamicTypeInfo &X) const { @@ -49,6 +46,7 @@ public: } }; -}} // end clang::ento namespace +} // end ento +} // end clang #endif |