[PATCH] D132831: [clang][Interp] Handle SubstNonTypeTemplateParmExprs

[Tom Honermann via Phabricator via cfe-commits]

tahonermann added inline comments.


================
Comment at: clang/lib/AST/Interp/ByteCodeExprGen.cpp:273
+    const SubstNonTypeTemplateParmExpr *E) {
+  return this->visit(E->getReplacement());
+}
----------------
erichkeane wrote:
> tbaeder wrote:
> > erichkeane wrote:
> > > Is there nothing special that has to happen when these are reference parameters?  Can you at least add a test for that?
> > Umm, I don't really do references yet (I haven't tested them at all and I don't think they are implemented).
> Hmm... that is unfortunate.  We really should be doing references ASAP, as they are going to be a pretty critical/oft-needed during testing kinda thing.  I'd at least want a commented-out test that you can re-enable ASAP.
Are not-yet-implemented features consistently implemented such that constant evaluation will fail with a (possibly unhelpful) diagnostic? As in https://godbolt.org/z/8vvdca9Ma? If so, can tests be added ahead of time with annotations for expected errors (essentially false positives to be addressed later)?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132831