From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Mon, 1 Mar 2010 03:48:10 +0000 (+0000)
Subject: Add comments.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a51ff6380664b4846d846a4aee054668d89fa7d8;p=clang

Add comments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97435 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Checker/PathSensitive/SymbolManager.h b/include/clang/Checker/PathSensitive/SymbolManager.h
index 8eb3196479..248937137d 100644
--- a/include/clang/Checker/PathSensitive/SymbolManager.h
+++ b/include/clang/Checker/PathSensitive/SymbolManager.h
@@ -89,6 +89,7 @@ public:
 
 typedef const SymbolData* SymbolRef;
 
+// A symbol representing the value of a MemRegion.
 class SymbolRegionValue : public SymbolData {
   const MemRegion *R;
   // We may cast the region to another type, so the expected type of the symbol
@@ -122,6 +123,7 @@ public:
   }
 };
 
+// A symbol representing the result of an expression.
 class SymbolConjured : public SymbolData {
   const Stmt* S;
   QualType T;
@@ -161,6 +163,8 @@ public:
   }
 };
 
+// A symbol representing the value of a MemRegion whose parent region has 
+// symbolic value.
 class SymbolDerived : public SymbolData {
   SymbolRef parentSymbol;
   const TypedRegion *R;