efriedma added a comment.

The general idea of restricting the intrinsics to specific contexts makes 
sense.  I'm not sure it makes sense to mark expressions, as opposed to types, 
though; can we really expect the user to know which expressions to apply this 
to?

I'd like to see an actual specification for this in docs/LanguageExtensions.rst 
at some point.

Other than that, generally seems okay.



================
Comment at: lib/CodeGen/CGExpr.cpp:663
+  while (true) {
+    const auto &Parents = getContext().getParents(*E);
+    if (Parents.size() != 1)
----------------
I'm not sure you can use getParents like this safely... it's not really meant 
for use inside of clang semantic analysis/code generation, and I don't think we 
recompute it as the AST changes.


Repository:
  rC Clang

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

https://reviews.llvm.org/D61809



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

Reply via email to