[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