[lldb][ClangUserExpression] Emit workaround hint when trying to call function templates (#179916)

Before:
```
(lldb) expression some_template_func<int, long>(5)
                  ˄
                  ╰─ error: 'some_template_func' does not name a template but is followed by template arguments
note: Ran expression as 'C++14'.
note: note: non-template declaration found by name lookup
```

After:
```
(lldb) expression some_template_func<int, long>(5)
                  ˄
                  ╰─ error: 'some_template_func' does not name a template but is followed by template arguments
note: Ran expression as 'C++14'.
note: note: non-template declaration found by name lookup
note: Naming template instantiation not yet supported. Template functions can be invoked via their mangled name. E.g., expression _Z3fooIiEvi(5)
```

There isn't a great way to get to the actual function being named (and
its mangled name) since we're just dealing with raw text. So I just
print an example mangled name.

This doesn't work for all template instantiations. E.g.,:
```
(lldb) p f.method<long>(10)
           ˄          ˄
           │          ╰─ error: expected '(' for function-style cast or type construction
           ╰─ error: no member named 'method' in 'Foo<int>'
note: Ran expression as 'C++14'.
```
This is a consequence of how we construct the AST for template methods.
Once we fix that, this hint will get emitted there too.

Note this will also trigger in cases where no function is being called
(hence I used the defensive phrase "Template functions can be invoked").

rdar://135725807
This commit is contained in:
Michael Buch 2026-02-06 16:44:49 +00:00 committed by GitHub
parent 115158b176
commit 68d7048445
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
5 changed files with 93 additions and 0 deletions

View File

@ -56,6 +56,7 @@
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/Basic/DiagnosticSema.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/BinaryFormat/Dwarf.h"
@ -988,9 +989,33 @@ void ClangUserExpression::FixupCVRParseErrorDiagnostics(
!m_fixed_text.empty() ? m_fixed_text.c_str() : m_expr_text.c_str());
}
void ClangUserExpression::FixupTemplateLookupDiagnostics(
DiagnosticManager &diagnostic_manager) const {
if (llvm::none_of(diagnostic_manager.Diagnostics(),
[](std::unique_ptr<Diagnostic> const &diag) {
switch (diag->GetCompilerID()) {
// FIXME: should we also be checking
// clang::diag::err_no_member_template?
case clang::diag::err_no_template:
case clang::diag::err_non_template_in_template_id:
return true;
default:
return false;
}
}))
return;
diagnostic_manager.AddDiagnostic(
"Naming template instantiation not yet supported. Template functions "
"can be invoked via their mangled name. For example, using "
"`_Z3fooIiEvi(123)` for `foo<int>(123)`",
lldb::eSeverityInfo, eDiagnosticOriginLLDB);
}
void ClangUserExpression::FixupParseErrorDiagnostics(
DiagnosticManager &diagnostic_manager) const {
FixupCVRParseErrorDiagnostics(diagnostic_manager);
FixupTemplateLookupDiagnostics(diagnostic_manager);
}
char ClangUserExpression::ClangUserExpressionHelper::ID;

View File

@ -215,6 +215,9 @@ private:
void
FixupCVRParseErrorDiagnostics(DiagnosticManager &diagnostic_manager) const;
void
FixupTemplateLookupDiagnostics(DiagnosticManager &diagnostic_manager) const;
/// Defines how the current expression should be wrapped.
ClangExpressionSourceCode::WrapKind GetWrapKind() const;
bool SetupPersistentState(DiagnosticManager &diagnostic_manager,

View File

@ -0,0 +1,3 @@
CXX_SOURCES := main.cpp
include Makefile.rules

View File

@ -0,0 +1,48 @@
import lldb
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
class TestCase(TestBase):
def test(self):
self.build()
(_, process, _, _) = lldbutil.run_to_source_breakpoint(
self, "main", lldb.SBFileSpec("main.cpp")
)
self.expect(
"expression some_template_func<int, long>(5)",
error=True,
substrs=[
"does not name a template but is followed by template arguments",
"note: Naming template instantiation not yet supported.",
"Template functions can be invoked via their mangled name.",
],
)
self.expect(
"expression some_template_func<int, long>(5) + some_template_func<int, long>(5)",
error=True,
substrs=[
"does not name a template but is followed by template arguments",
"does not name a template but is followed by template arguments",
],
)
self.assertEqual(
self.res.GetError().count(
"note: Naming template instantiation not yet supported"
),
1,
)
self.expect(
"expression Foo<int>::smethod()",
error=True,
substrs=[
"no template named 'Foo'",
"note: Naming template instantiation not yet supported.",
"Template functions can be invoked via their mangled name.",
],
)

View File

@ -0,0 +1,14 @@
template <typename T, typename K> static K some_template_func(int x) {
return (K)x;
}
template <typename T> struct Foo {
template <typename K> T method(K k) { return (T)k; }
static T smethod() { return (T)10; }
};
int main() {
Foo<int> f;
return some_template_func<int, long>(5) + Foo<int>::smethod() +
f.method<long>(10);
}