[clang] [analyzer] Fix crash in Stream checker when using void pointers (PR #97199)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 1 08:19:25 PDT 2024
================
@@ -1034,16 +1034,16 @@ void StreamChecker::preWrite(const FnDescription *Desc, const CallEvent &Call,
C.addTransition(State);
}
-static std::optional<QualType> getPointeeType(const MemRegion *R) {
+static QualType getPointeeType(const MemRegion *R) {
if (!R)
- return std::nullopt;
+ return {};
if (const auto *ER = dyn_cast<ElementRegion>(R))
- return ER->getElementType();
+ return ER->getElementType()->getCanonicalTypeUnqualified();
----------------
steakhal wrote:
Actually, now that I don't compare the type against a concrete alternative, it's no longer relevant. I'll just drop it. Thanks for spotting.
https://github.com/llvm/llvm-project/pull/97199
More information about the cfe-commits
mailing list