[all-commits] [llvm/llvm-project] 858649: [Clang] Profile singly-resolved UnresolvedLookupEx...

[Younan Zhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 858649ad0e2bd4c24d4e577094707a53acfe6ade
      https://github.com/llvm/llvm-project/commit/858649ad0e2bd4c24d4e577094707a53acfe6ade
  Author: Younan Zhang <zyn7109 at gmail.com>
  Date:   2025-05-16 (Fri, 16 May 2025)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/AST/StmtProfile.cpp
    M clang/test/SemaTemplate/concepts-out-of-line-def.cpp

  Log Message:
  -----------
  [Clang] Profile singly-resolved UnresolvedLookupExpr with the declaration (#140029)

For a dependent variable template specialization, we don't build a
dependent Decl node or a DeclRefExpr to represent it. Instead, we
preserve the UnresolvedLookupExpr until instantiation.

However, this approach isn't ideal for constraint normalization. We
consider the qualifier during profiling, but since that's based on the
written code, it can introduce confusing differences, even when the
expressions resolve to the same declaration.

This change ensures that, if possible, we profile the resolved
declaration instead of its qualifier. For expressions that resolve to
more than one declarations, we still profile its qualifier, as otherwise
it would make us depend on the order of lookup results.

Fixes https://github.com/llvm/llvm-project/issues/139476



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications