[PATCH] D89055: [analyzer] Wrong type cast occures during pointer dereferencing after type punning

[Bjorn Pettersson via Phabricator via cfe-commits]

bjope added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:765
+        R = StateMgr.getStoreManager().castRegion(ER, CastTy);
+        return loc::MemRegionVal(R);
+      }
----------------
This caused some problems with assertion failures, see https://bugs.llvm.org/show_bug.cgi?id=50179


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89055