chrish_ericsson_atx added inline comments.
Herald added a subscriber: manas.
================
Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:763-765
+ if (const auto *ER = dyn_cast<ElementRegion>(R)) {
+ R = StateMgr.getStoreManager().castRegion(ER, CastTy);
+ return loc::MemRegionVal(R);
----------------
This causes new false-positive static analysis warnings from
core.CallAndMessage and core.UndefinedBinaryOperatorResult, (and possibly
others?), possibly because of loss of array extent information. See
https://bugs.llvm.org/show_bug.cgi?id=50604.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D89055/new/
https://reviews.llvm.org/D89055
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
