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

[Alexander Shaposhnikov via Phabricator via cfe-commits]

alexshap added a comment.

thanks,

1. evalCastFromNonLoc is actually called there (and that's how i ran into this issue) because of (a bit unexpected to me) ImplicitCastExpr 'LValueToRValue' inside switch:  F3629685: Screen Shot 2017-07-06 at 11.01.39 AM.png <https://reviews.llvm.org/F3629685>

(to be honest i don't know why Clang inserts this cast into AST here, but i have checked several versions of clang - the behavior is the same)

2. evalCastFromLoc - that's hard to me - so far i have not found a valid compilable c++ code to cast a pointer to bool enum.


Repository:
  rL LLVM

https://reviews.llvm.org/D35041