<div dir="ltr">Great, thanks!</div><div class="gmail_extra"><br><div class="gmail_quote">On 26 December 2016 at 21:44, George Burgess IV <span dir="ltr"><<a href="mailto:george.burgess.iv@gmail.com" target="_blank">george.burgess.iv@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">r290584 :)<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 26, 2016 at 8:30 PM, George Burgess IV <span dir="ltr"><<a href="mailto:george.burgess.iv@gmail.com" target="_blank">george.burgess.iv@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">SG; working on a follow-up now. Thanks!<div><div class="m_-7912032955536003008h5"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 26, 2016 at 8:26 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div class="m_-7912032955536003008m_-9177442883953412946m_6705457126159557014h5">On 26 December 2016 at 20:01, George Burgess IV via cfe-commits <span dir="ltr"><<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: gbiv<br>
Date: Mon Dec 26 22:01:22 2016<br>
New Revision: 290577<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=290577&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject?rev=290577&view=rev</a><br>
Log:<br>
Add a test for `const` folding introduced by r290297. NFC.<br>
<br>
AFAICT, we didn't add a test targeted at the new "const can sometimes<br>
act as constexpr" behavior introduced by r290297.<br>
<br>
Modified:<br>
    cfe/trunk/test/SemaCXX/constan<wbr>t-expression-cxx1y.cpp<br>
<br>
Modified: cfe/trunk/test/SemaCXX/constan<wbr>t-expression-cxx1y.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/constant-expression-cxx1y.cpp?rev=290577&r1=290576&r2=290577&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject/cfe/trunk/test/SemaCXX/c<wbr>onstant-expression-cxx1y.cpp?r<wbr>ev=290577&r1=290576&r2=290577&<wbr>view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- cfe/trunk/test/SemaCXX/constan<wbr>t-expression-cxx1y.cpp (original)<br>
+++ cfe/trunk/test/SemaCXX/constan<wbr>t-expression-cxx1y.cpp Mon Dec 26 22:01:22 2016<br>
@@ -957,3 +957,20 @@ namespace PR27989 {<br>
   }<br>
   static_assert(f(0) == 1, "");<br>
 }<br>
+<br>
+namespace const_char {<br>
+template <int M, int N><br>
+constexpr int sum(const char (&Arr)[N]) {<br>
+  static_assert(N >= M, "");<br>
+  int S = 0;<br>
+  for (unsigned I = 0; I != M; ++I)<br>
+    S += Arr[I];<br>
+  return S;<br>
+}<br>
+<br>
+// As an extension, we support evaluating some things that are `const` as though<br>
+// they were `constexpr`.<br>
+const char Cs[] = {'a', 'b', 'c'};<br>
+const int N = 2;<br>
+static_assert(sum<N>(Cs) == 'a' + 'b', "");<br>
+}</blockquote><div><br></div></div></div><div>Hold on, this test should fail. It's OK to extend the set of things we can constant-fold, but formal constant expression checking still needs to be strict. (You should produce a CCEDiag from within the constant expression evaluator to mark things that are not core constant expressions but are permitted as an extension.)</div></div></div></div>
</blockquote></div><br></div></div></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>