<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 24, 2015 at 2:14 PM, Aaron Ballman <span dir="ltr"><<a href="mailto:aaron@aaronballman.com" target="_blank">aaron@aaronballman.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Fri, Jul 24, 2015 at 2:43 PM, Nathan Wilson <<a href="mailto:nwilson20@gmail.com">nwilson20@gmail.com</a>> wrote:<br>
> nwilson created this revision.<br>
> nwilson added reviewers: rsmith, faisalv, fraggamuffin, hubert.reinterpretcast.<br>
> nwilson added a subscriber: cfe-commits.<br>
><br>
> Adding diagnostic for concepts declared as non template (function or variable)<br>
><br>
> <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__reviews.llvm.org_D11490&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=BSqEv9KvKMW_Ob8SyngJ70KdZISM_ASROnREeq0cCxk&m=LAZJ4xieZ12L36iq2xvzWWhNmlrXM-9Zqtcrb9yphUA&s=adpYYwhbIR71SdhHZrX0iqCVe1iJNLTorY4j0petr90&e=" rel="noreferrer" target="_blank">http://reviews.llvm.org/D11490</a><br>
><br>
> Files:<br>
>   include/clang/Basic/DiagnosticSemaKinds.td<br>
>   lib/Sema/SemaDecl.cpp<br>
>   test/SemaCXX/cxx-concept-declaration.cpp<br>
><br>
> Index: test/SemaCXX/cxx-concept-declaration.cpp<br>
> ===================================================================<br>
> --- test/SemaCXX/cxx-concept-declaration.cpp<br>
> +++ test/SemaCXX/cxx-concept-declaration.cpp<br>
> @@ -15,3 +15,7 @@<br>
>  struct C {<br>
>    template<typename T> static concept bool D3 = true; // expected-error {{concept declarations may only appear in namespace scope}}<br>
>  };<br>
> +<br>
> +concept bool D4() { return true; } // expected-error {{concept can only be applied to a function or variable template definition}}<br>
> +<br>
> +concept bool D5 = true; // expected-error {{concept can only be applied to a function or variable template definition}}<br>
> Index: lib/Sema/SemaDecl.cpp<br>
> ===================================================================<br>
> --- lib/Sema/SemaDecl.cpp<br>
> +++ lib/Sema/SemaDecl.cpp<br>
> @@ -4865,6 +4865,12 @@<br>
>      // C++ Concepts TS [dcl.spec.concept]p1: The concept specifier shall be<br>
>      // applied only to the definition of a function template or variable<br>
>      // template, declared in namespace scope<br>
> +    if (!TemplateParamLists.size()) {<br>
> +      Diag(D.getDeclSpec().getConceptSpecLoc(),<br>
> +           diag::err_concept_decl_non_template);<br>
> +      return nullptr;<br>
> +    }<br>
> +<br>
>      if (!DC->getRedeclContext()->isFileContext()) {<br>
>        Diag(D.getIdentifierLoc(),<br>
>             diag::err_concept_decls_may_only_appear_in_namespace_scope);<br>
> Index: include/clang/Basic/DiagnosticSemaKinds.td<br>
> ===================================================================<br>
> --- include/clang/Basic/DiagnosticSemaKinds.td<br>
> +++ include/clang/Basic/DiagnosticSemaKinds.td<br>
> @@ -1966,6 +1966,8 @@<br>
>    "use __attribute__((visibility(\"hidden\"))) attribute instead">;<br>
><br>
>  // C++ Concepts TS<br>
> +def err_concept_decl_non_template : Error<<br>
> +  "concept can only be applied to a function or variable template definition">;<br>
<br>
</div></div>Since we are using "concept" as a grammar term, I think we want to<br>
quote it. Similar diagnostics suggest phrasing like:<br>
<br>
"'concept' can only appear on a function template or variable template<br>
definition"<br>
<br>
This also reduces some ambiguity over how "function or variable template" binds.<br>
<br>
~Aaron<br></blockquote><div><br></div><div>May we apply both this suggestion and Hubert's? So it would be:</div><div><br></div><div><span style="font-size:12.8000001907349px">"the 'concept' specifier may only be applied to the definition of a function or variable template"</span><br style="font-size:12.8000001907349px"></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class=""><br>
>  def err_concept_decls_may_only_appear_in_namespace_scope : Error<<br>
>    "concept declarations may only appear in namespace scope">;<br>
>  def err_function_concept_not_defined : Error<<br>
><br>
><br>
><br>
</span>> _______________________________________________<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" rel="noreferrer" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
><br>
</blockquote></div><br></div></div>