[PATCH] D40939: [analyzer] Avoid element regions of void type.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 6 19:09:16 PST 2017
NoQ added a comment.
> I accidentally noticed that problem
The actual problem was that `RegionStore` was unable to retrieve the binding to such `ElementRegion` (in case of this example, `5 S32b`). There may be more problems with such regions. But at the same time i believe that the very idea of a void `ElementRegion` is frightening enough to be fixed on its own.
Repository:
rC Clang
https://reviews.llvm.org/D40939
More information about the cfe-commits
mailing list