> > I have two more questions, but I think your patch looks good to apply right > now (we can continue to iterate on details). > > First, is AnonPointeeRegion used now? Scanning the patch I see no uses of > it. Do you plan on adding this later?
It's not used right now. It may be used later when we implement other Visit* logic, e.g., when we dereference a pointer argument. > > > Second, the "unknown" region appears to be the same for any place it will > be used (simply based on how getUnknownRegion() is implemented). Is this > intentional? > Not intentional. We can change its design when necessary.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
