sammccall added a comment.

I'm not sure I love having the assertion for contains-errors every place that 
handles dependent code in C.
We should certainly somehow document the reason dependence is possible, just as 
the possibility of overloads is documented.
But the assertion seems pretty heavyweight :-\



================
Comment at: clang/lib/Sema/SemaCast.cpp:2695
+      (DestType->isDependentType() || SrcExpr.get()->isTypeDependent() ||
+       SrcExpr.get()->isValueDependent())) {
+    assert((DestType->containsErrors() || SrcExpr.get()->containsErrors() ||
----------------
hokein wrote:
> This is similar to the way how C++ codepath handles dependent code, 
> https://github.com/llvm/llvm-project/blob/master/clang/lib/Sema/SemaCast.cpp#L2527-L2532.
>  
also copy the comment?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84387

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

Reply via email to