[PATCH] D40939: [analyzer] Avoid element regions of void type.

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin accepted this revision.
dcoughlin added a comment.
This revision is now accepted and ready to land.

Looks good to me, although I have a super nit about wording in a comment.



================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:2181
+      // One of the forbidden LValue types! We still need to have sensible
+      // symbolic lvalues to represent this stuff.
+      if (T->isVoidType())
----------------
Super nit: Since we can't actually have lvalues for a forbidden lvalue type, we should instead call it a 'location' in the comment. "We still need to have sensible locations to represent this stuff".


https://reviews.llvm.org/D40939