Sorry for delaying on this one...Anna's away for the next week, and this is a pretty significant change, so I don't think we should move too quickly on it. I'll put together some comments later this week if I get the chance.
As usual, thanks for working on all this! Jordan On Apr 25, 2013, at 10:04 , Anton Yartsev <[email protected]> wrote: > Hi Jordan, hi Anna, hi all > > The patch is motivated by our discussions about CStringChecker and > invalidation. > > The patch allows to associate a processing behavior with a particular region > or symbol. > With this things like preserving contents of regions (either hi- or low-level > ones) or processing of the only top-level region can be implemented easily > without passing extra parameters around. The patch also reduces the number of > existing parameters and uniforms the processing. > The CausesPointerEscape could also be implemented in this way, need > exploration. > > The patch causes no regression. > > Please review. > > -- > Anton > > <RegionAndSymHandlingTraits_v1.patch> _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
