[all-commits] [llvm/llvm-project] 52b18b: [Clang] Reland: Diagnose invalid function types in...

[cor3ntin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 52b18b4e82d412a7d755e89591c6ebcc41c257a1
      https://github.com/llvm/llvm-project/commit/52b18b4e82d412a7d755e89591c6ebcc41c257a1
  Author: cor3ntin <corentinjabot at gmail.com>
  Date:   2025-05-09 (Fri, 09 May 2025)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/SemaExpr.cpp
    M clang/test/SemaTemplate/fun-template-def.cpp

  Log Message:
  -----------
  [Clang] Reland: Diagnose invalid function types in dependent contexts  (#139246)

When forming an invalid function type, we were not diagnosing it if the
call was dependent.

However, we later rely on the function type to be sensible during
argument deduction.

We now diagnose anything that is not a potential function type,
to avoid constructing bogus call expressions.

Fixes https://github.com/llvm/llvm-project/issues/138657
Fixes https://github.com/llvm/llvm-project/issues/115725
Fixes https://github.com/llvm/llvm-project/issues/68852
Fixes #139163



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