[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