[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