<div dir="ltr">A gentle ping.<div>Thanks!</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Oct 17, 2013 at 1:23 PM, KARTHIKVENKATESH BHAT <span dir="ltr"><<a href="mailto:kv.bhat@samsung.com" target="_blank">kv.bhat@samsung.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Richard,<br>
Please find the modified patch. Using TypeSourceInfo to conclude that an array was of incomplete type.<br>
<div class="im HOEnZb">Added a test case for the same.Please let me know if the patch is ok.<br>
Thanks!<br>
<br>
------- Original Message -------<br>
Sender : Richard Smith<br>
</div><div class="im HOEnZb">Date : Oct 15, 2013 13:36 (GMT+09:00)<br>
Title : Re: [Patch] Unknown-bound array static data member of template shouldd be type dependent<br>
<br>
Oh, and please do include a test. Feel free to start a test/CXX/drs/dr4xx.cpp for this.<br>
<br>
<br>
<br>
</div><div class="im HOEnZb">On Mon, Oct 14, 2013 at 9:34 PM, Richard Smith wrote:<br>
<br>
The addition of WasIncompleteArray pushes us up to 33 bits in VarDecl, and will cause us to use more memory on 32-bit systems. Do you really need to store this bit? This seems like something that could be reconstructed from the TypeSourceInfo.<br>

<br>
<br>
Instead of setting a flag on the variable, how about directly giving the definition of the variable a dependent type?<br>
<br>
<br>
<br>
</div><div class="HOEnZb"><div class="h5">On Mon, Oct 7, 2013 at 2:25 AM, KARTHIKVENKATESH BHAT wrote:<br>
<br>
Hi All,<br>
Please find attached the patch to fix issue #408 discussed at <a href="http://open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html" target="_blank">http://open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html</a><br>
As per this "An explicit specialization of a static data member declared as an array of unknown bound can have a different bound from its definition, if any" .<br>
<br>
This fixes the problem in which clang fails to produce executable in these cases- e.g. <a href="http://searchcode.com/codesearch/raw/8024712" target="_blank">http://searchcode.com/codesearch/raw/8024712</a><br>
<br>
The patch tests that if a static data member of a current instantiation is incomplete array type mark it as type dependent.  This is similar to the way it is currently fixed in gcc.<br>
I'm not sure were the TC for this patch will go hence not added a TC for now.<br>
<br>
Please let me know if the patch looks good.<br>
<br>
Thanks and Regards<br>
Karthik Bhat<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a></div></div><br>_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
<br></blockquote></div><br></div>