Looking at this again I think this is correct (since both `TypedRegion::getLocationType` and `SR->getSymbol()->getType()` should return the type of the region's address, not its contents). Is there any way that this can affect results, though? Say, by resulting in an assertion failure or a false positive? We'd rather not add tests that depend on debugging output.
http://reviews.llvm.org/D4974 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
