erichkeane marked an inline comment as done.
erichkeane added inline comments.


================
Comment at: clang/lib/Sema/SemaType.cpp:6970
+    if (Proto->hasExceptionSpec())
+      return true;
+
----------------
aaron.ballman wrote:
> I think we should diagnose that the `nothrow` is ignored in this case to let 
> users know they've done something in conflict and what wins.
I've been considering that over the weekend, and agree it is a good idea. I am 
on the fence about the when however. For example, should we warn with throw() 
or noexcept or noexcept(true)? In these cases, ignoring the attribute is the 
same as enforcing it.

My concern is that noexcept (expression-evaluating-to-true) gets ignored with a 
diagnostic, but has the same effect.

Did you have an opinion here?


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

https://reviews.llvm.org/D62435



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

Reply via email to