================
@@ -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();
----------------
NagyDonat wrote:
Consider moving the `->getCanonicalTypeUnqualified()` calls into
`escapeByStartIndexAndCount()` because that's the only place where it will be
relevant. (This would eliminate the code duplication.)
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
