[PATCH] D96090: [analyzer] Replace StoreManager::CastRetrievedVal with SValBuilder::evalCast
Mikhail Ramalho via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sun Feb 14 13:43:40 PST 2021
mikhail.ramalho added a comment.
I'm glad to see these patches, the SMT API will benefit greatly from them!
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D96090/new/
https://reviews.llvm.org/D96090
More information about the cfe-commits
mailing list