================
@@ -153,6 +153,10 @@ RequiresExpr::RequiresExpr(ASTContext &C, SourceLocation
RequiresKWLoc,
std::copy(Requirements.begin(), Requirements.end(),
getTrailingObjects<concepts::Requirement *>());
RequiresExprBits.IsSatisfied |= Dependent;
+ RequiresExprBits.IsSatisfied &=
+ llvm::none_of(LocalParameters, [](const ParmVarDecl *Param) {
+ return Param->isInvalidDecl();
+ });
----------------
zyn0217 wrote:
I asked author to add it because I saw GCC evaluating such expressions as false.
https://gcc.godbolt.org/z/MYz1oa1TT
This is seemingly more of an open question IMO, given that msvc & edg don't
agree with gcc.
https://github.com/llvm/llvm-project/pull/109831
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
