[PATCH] [analyzer][Bugfix] RegionStore: use pointee type to create one-element regions
Jordan Rose
jordan_rose at apple.com
Thu Sep 4 09:32:57 PDT 2014
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
More information about the cfe-commits
mailing list