[PATCH] D136554: Implement CWG2631

[Corentin Jabot via Phabricator via cfe-commits]

cor3ntin added a comment.

reduced to this lovely thing

  template <bool a> 
  struct d {};
  template <typename e> struct f : d<__is_constructible(e)> {
      using type = bool;
  };
  template <class k, typename f<k>::type> int *l;
  int m;
  struct p {
    int o = m;
    p() {}
  };
  
  int* i(l<p, false>);

SemaExpr.cpp:19857: void DoMarkVarDeclReferenced(clang::Sema &, clang::SourceLocation, clang::VarDecl *, clang::Expr *, llvm::DenseMap<const VarDecl *, int> &): Assertion `(!E || isa<FunctionParmPackExpr>(E)) && "missing non-odr-use marking for unevaluated decl ref"' failed.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136554/new/

https://reviews.llvm.org/D136554