================ @@ -206,23 +221,42 @@ class StdVariantChecker : public Checker<eval::Call, check::RegionChanges> { if (!ThisMemRegion) return; + // Get the first type alternative of the std::variant instance. + assert((ThisSVal.getType(C.getASTContext())->isPointerType() || + ThisSVal.getType(C.getASTContext())->isReferenceType()) && ---------------- NagyDonat wrote:
Why do we need to allow references here? Is this connected to the freshly introduced "explicit object parameter" feature? https://github.com/llvm/llvm-project/pull/87886 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits