[PATCH] D97874: [analyzer] Improve SVal cast from integer to bool using known RangeSet

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.
Herald added a subscriber: manas.

@ASDenysPetrov I think the dependent patch https://reviews.llvm.org/D97296 is too much and contains unnecessary things for this change.

If you could you please incorporate the minimum needed changes from that patch to here then this patch could land.
If I am not mistaken then we need only the below changes:

  SVal evalCastKind(ProgramStateRef State, UndefinedVal V, QualType CastTy,
  SVal evalCastSubKind(ProgramStateRef State, nonloc::SymbolVal V,


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D97874/new/

https://reviews.llvm.org/D97874