<div class="gmail_quote">On Thu, Mar 29, 2012 at 4:39 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Author: efriedma<br>
Date: Thu Mar 29 18:39:39 2012<br>
New Revision: 153703<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=153703&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=153703&view=rev</a><br>
Log:<br>
Extend -Wc++11-narrowing to cover converted constant expressions as well as braced-initializers.  <rdar://problem/11121178>.<br>
<br>
<br>
Added:<br>
    cfe/trunk/test/CXX/expr/expr.const/p3-0x-nowarn.cpp<br>
Modified:<br>
    cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td<br>
    cfe/trunk/lib/Sema/SemaOverload.cpp<br>
<br>
Modified: cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td?rev=153703&r1=153702&r2=153703&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td?rev=153703&r1=153702&r2=153703&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td (original)<br>
+++ cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td Thu Mar 29 18:39:39 2012<br>
@@ -27,7 +27,12 @@<br>
 def err_expr_not_cce : Error<<br>
   "%select{case value|enumerator value|non-type template argument}0 "<br>
   "is not a constant expression">;<br>
-def err_cce_narrowing : Error<<br>
+def err_cce_narrowing : ExtWarn<<br>
+  "%select{case value|enumerator value|non-type template argument}0 "<br>
+  "%select{cannot be narrowed from type %2 to %3|"<br>
+  "evaluates to %2, which cannot be narrowed to type %3}1">,<br>
+  InGroup<CXX11Narrowing>, DefaultError;<br>
+def err_cce_narrowing_sfinae : Error<<br>
   "%select{case value|enumerator value|non-type template argument}0 "<br>
   "%select{cannot be narrowed from type %2 to %3|"<br>
   "evaluates to %2, which cannot be narrowed to type %3}1">;<br></blockquote><div><br></div><div>We do this sort of thing often enough that we should probably have tablegen support for it. Could we promote all diagnostics with SFINAE=0 to errors when they occur in SFINAE contexts, and mark cases like this as ExtWarn<...>, DefaultError, NoSFINAE; ?</div>
</div>