Yes, this looks like a bug. Please file it. Is there a testcase whose behavior is affected by this issue?<br><br><div class="gmail_quote">On Thu, Sep 13, 2012 at 8:23 AM, Enea Zaffanella <span dir="ltr"><<a href="mailto:zaffanella@cs.unipr.it" target="_blank">zaffanella@cs.unipr.it</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ping.<div class="HOEnZb"><div class="h5"><br>
<br>
On 05/25/2012 03:35 PM, Enea Zaffanella wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
We have found a problem when visiting the AST for the following code:<br>
=========================<br>
template <int><br>
struct A {<br>
    static const int i;<br>
};<br>
<br>
template <int N><br>
const int A<N>::i = { N };<br>
=========================<br>
<br>
When visiting the initializer of the out-of-line static field<br>
definition, we see:<br>
<br>
(gdb) p node<br>
$18 = (clang::InitListExpr *) 0x2ffd680<br>
(gdb) call node->dump()<br>
(InitListExpr 0x2ffd680 'int'<br>
    (DeclRefExpr 0x2ffd610 'int' NonTypeTemplateParm 0x2ffd2a0 'N' 'int'))<br>
(gdb) p node->isValueDependent()<br>
$19 = false<br>
(gdb) p node->getSyntacticForm()<br>
$20 = (clang::InitListExpr *) 0x2ffd638<br>
(gdb) call node->getSyntacticForm()-><u></u>dump()<br>
(InitListExpr 0x2ffd638 'int'<br>
    (DeclRefExpr 0x2ffd610 'int' NonTypeTemplateParm 0x2ffd2a0 'N' 'int'))<br>
(gdb) p node->getSyntacticForm()-><u></u>isValueDependent()<br>
$21 = true<br>
<br>
That is, the syntactic form of the init list expr is (correctly) flagged<br>
as value dependent, but the semantic form is not.<br>
<br>
Enea.<br>
______________________________<u></u>_________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/cfe-dev</a><br>
<br>
</blockquote>
<br>
______________________________<u></u>_________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/cfe-dev</a><br>
</div></div></blockquote></div><br>