clang: Missing line and file in message error when ‘auto’ is used in a not permitted context (and bad diagnostic)

[jonathanpoelen]

With this code:

int main()
{ 
  struct A
  { 
    void foo(auto x) {} // auto not permitted
  };
} 

And clang-18,19,20 or trunk and -std=c++20 or -std=c++23:

error: templates cannot be declared inside of a local class

No line number, no filename and refer to template.

With -std=c++17:

test.cpp:5:14: error: 'auto' not allowed in function prototype
    5 |     void foo(auto x) {}
      |              ^~~~

With gcc (same message for C++17 or C++20):

test.cpp: In function ‘int main()’:
test.cpp:5:14: error: ‘auto’ parameter not permitted in this context
    5 |     void foo(auto x) {}
      |              ^~~~

https://gcc.godbolt.org/z/5YGdh6Pnb

[AaronBallman]

llvm-project/clang/lib/Sema/SemaTemplate.cpp

Line 8242 in 2485c51

return Diag(TemplateParams->getTemplateLoc(),

The problem is that it's presuming there's a template keyword to specify as the location, but it's not there for auto. (The same issue happens elsewhere in that function.)

CC @erichkeane @mizvekov

Possibly a good first issue? I'm thinking: add a select to the diagnostic so that there's a distinction between auto and template usage, and use the correct source location for the problematic keyword?

[erichkeane]

Ooof, yeah. Probably a good first issue, but yeah, a better diagnostic wording + some fall-back on the location would be the right idea here.

[mizvekov]

Yeah, this looks like a good first issue. Another possibility here is that for the 'auto' parameter case, we already know the templated entity at that point (foo), and could point to that instead, also pointing to the source range of the auto parameter which introduces the function template.

[llvmbot]

Hi!

This issue may be a good introductory issue for people new to working on LLVM. If you would like to work on this issue, your first steps are:

1. Check that no other contributor is working on this issue. If someone is assigned to the issue or claimed to be working on it, ping the person. After one week without a response, the assignee may be changed.
2. Leave a comment indicating that you are working on the issue, or just create a pull request after following the steps below. Mention this issue in the description of the pull request.
3. Fix the issue locally.
4. Run the test suite locally. Remember that the subdirectories under test/ create fine-grained testing targets, so you can e.g. use make check-clang-ast to only run Clang's AST tests.
5. Create a Git commit.
6. Run git clang-format HEAD~1 to format your changes.
7. Open a pull request to the upstream repository on GitHub. Detailed instructions can be found in GitHub's documentation. Mention this issue in the description of the pull request.

If you have any further questions about this issue, don't hesitate to ask via a comment in the thread below.

[llvmbot]

@llvm/issue-subscribers-good-first-issue

Author: Jonathan Poelen (jonathanpoelen)

With this code:

int main()
{ 
  struct A
  { 
    void foo(auto x) {} // auto not permitted
  };
} 

And clang-18,19,20 or trunk and -std=c++20 or -std=c++23:

> error: templates cannot be declared inside of a local class

No line number, no filename and refer to template.

With -std=c++17:

test.cpp:5:14: error: 'auto' not allowed in function prototype
    5 |     void foo(auto x) {}
      |              ^~~~

With gcc (same message for C++17 or C++20):

test.cpp: In function ‘int main()’:
test.cpp:5:14: error: ‘auto’ parameter not permitted in this context
    5 |     void foo(auto x) {}
      |              ^~~~

https://gcc.godbolt.org/z/5YGdh6Pnb

[emily-dror]

Hi, I'd like to work on this issue. Would someone assign it to me please?