commit 026c66395b88a09437319139a43b090093f7e1dd
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 05 06:57:29 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Feb 05 06:57:29 2009 +0000
tree 7955f6fdf8c03de8d27a80ed0adf8d2e898e3e84
parent cf70177a9cf6c35b27e73cf58f82dd4d6b0fa354

Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so 
do the symblic regions associated with them and we need them to be typed.

Current SymbolicRegion::getRValueType() method is very restricting. It may be
modified when we are more clear about what could be the types of symblic
regions.

BasicConstraintManager::Assume() is changed due to that now SymblicRegion is a
subclass of SubRegion.
 


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