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

Attachment: varregion.patch
Description: Binary data

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to