================ @@ -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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits