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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to