[PATCH] D35041: [analyzer] Fix modeling of bool based types

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Thanks, these are very helpful.

Sending changes in smaller chunks is great even if you already have one large chunk perfectly working :)

The test covers only the `BasicValueFactory`-related part of your patch; the Loc-related changes are still to be tested. I suspect the following may work:

1. For `evalCastFromNonLoc`: casting a symbolic pointer to an integer, then casting this integer to the enum class.
2. For `evalCastFromLoc`: Casting a concrete pointer (eg. null pointer) to the enum class (not sure if you can trick the analyzer into such cast directly while following the c++ standard).


Repository:
  rL LLVM

https://reviews.llvm.org/D35041