aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2012-08-24 18:43:09 +0000
committerAnna Zaks <ganna@apple.com>2012-08-24 18:43:09 +0000
commit81e6cfddcbb32eb9bbbee5c3f5156fc19ca7e774 (patch)
treee8ea4a94224371a4293343ed500e8c4f9cca9786
parent17083601193528a5d3770b688ffdf700f7df3c45 (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.h12
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