Michael137 added inline comments.

================
Comment at: clang/lib/AST/TypePrinter.cpp:2019
+  // Can't evaluate value-dependent expressions so bail early
+  Expr const *pattern_expr = Pattern.getAsExpr();
+  if (pattern_expr->isValueDependent() ||
----------------
aprantl wrote:
> I assume you checked that this is always non-null?
I didn't add a null-check because no other caller around clang does it 
(including `isSubstitutedTemplateArgument` which precedes this call here). So 
we've already been doing this on top-of-tree for a while in this codepath. But 
may be worth a followup audit. Though I suspect the assumption is that we never 
construct `TemplateArgument`s with `nullptr` `Expr`s. @erichkeane may know some 
more about this


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142632

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to