================
@@ -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

Reply via email to