[cfe-commits] r97435 - /cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h

Zhongxing Xu xuzhongxing at gmail.com
Sun Feb 28 19:48:10 PST 2010


Author: zhongxingxu
Date: Sun Feb 28 21:48:10 2010
New Revision: 97435

URL: http://llvm.org/viewvc/llvm-project?rev=97435&view=rev
Log:
Add comments.

Modified:
    cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h

Modified: cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h?rev=97435&r1=97434&r2=97435&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/SymbolManager.h Sun Feb 28 21:48:10 2010
@@ -89,6 +89,7 @@
 
 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 @@
   }
 };
 
+// A symbol representing the result of an expression.
 class SymbolConjured : public SymbolData {
   const Stmt* S;
   QualType T;
@@ -161,6 +163,8 @@
   }
 };
 
+// A symbol representing the value of a MemRegion whose parent region has 
+// symbolic value.
 class SymbolDerived : public SymbolData {
   SymbolRef parentSymbol;
   const TypedRegion *R;





More information about the cfe-commits mailing list