If we do not intend to support locations other than simple scalar variables in BasicStoreManager, we can make it more explicit by using VarRegionVal instead of MemRegionVal.
-Zhongxing XU
varregion.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
