[PATCH] D96090: [analyzer] Replace StoreManager::CastRetrievedVal with SValBuilder::evalCast

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 13 07:24:50 PDT 2021


ASDenysPetrov added a comment.

> Already approved a month ago D97277 <https://reviews.llvm.org/D97277> :-) That's the next step.

In addition to the above:



================
Comment at: clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:68
 
+// FIXME: This function should be eliminated and replaced with `evalCast`
 SVal SimpleSValBuilder::dispatchCast(SVal Val, QualType CastTy) {
----------------
@NoQ 
I've mentioned the need in elimination.


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

https://reviews.llvm.org/D96090



More information about the cfe-commits mailing list