[PATCH] D97388: [analyzer] Replace StoreManager::evalIntegralCast with SValBuilder::evalCast

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Mar 9 00:42:05 PST 2021


steakhal added a comment.

All reports and crashes are preserved at this point of the patch stack - with or without z3 crosscheck on multiple projects - even on llvm.


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

https://reviews.llvm.org/D97388



More information about the cfe-commits mailing list