[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-20 Thread via cfe-commits
@@ -330,6 +331,13 @@ Bug Fixes to C++ Support - Fixed an assertion failure affecting code that uses C++23 "deducing this". (#GH130272) - Clang now properly instantiates destructors for initialized members within non-delegating constructors. (#GH93251) - Correctly diagnoses if

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-20 Thread via cfe-commits
https://github.com/offsetof updated https://github.com/llvm/llvm-project/pull/131777 >From ff54ffd5ac3f761c877eebce52ef81d096d98f16 Mon Sep 17 00:00:00 2001 From: offsetof Date: Tue, 18 Mar 2025 10:08:56 + Subject: [PATCH 1/3] [clang] Improve checking of operator functions * Move validatio

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-19 Thread via cfe-commits
@@ -330,6 +331,13 @@ Bug Fixes to C++ Support - Fixed an assertion failure affecting code that uses C++23 "deducing this". (#GH130272) - Clang now properly instantiates destructors for initialized members within non-delegating constructors. (#GH93251) - Correctly diagnoses if

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-19 Thread via cfe-commits
https://github.com/offsetof updated https://github.com/llvm/llvm-project/pull/131777 >From ff54ffd5ac3f761c877eebce52ef81d096d98f16 Mon Sep 17 00:00:00 2001 From: offsetof Date: Tue, 18 Mar 2025 10:08:56 + Subject: [PATCH 1/2] [clang] Improve checking of operator functions * Move validatio

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-19 Thread via cfe-commits
@@ -4120,6 +4121,28 @@ TemplateDeductionResult Sema::FinishTemplateArgumentDeduction( } } + // If the template is an operator function template, check that the + // resulting specialization is a valid operator function. + switch (Specialization->getOverloadedOperator

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-18 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: None (offsetof) Changes * Move validation of operator function parameters into a new routine, `Sema::CheckOverloadedOperatorParams`. * Treat operator function template specializations failing these checks as a substitution failure. * Allo

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-18 Thread via cfe-commits
@@ -4120,6 +4121,28 @@ TemplateDeductionResult Sema::FinishTemplateArgumentDeduction( } } + // If the template is an operator function template, check that the + // resulting specialization is a valid operator function. + switch (Specialization->getOverloadedOperator

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-18 Thread via cfe-commits
https://github.com/offsetof updated https://github.com/llvm/llvm-project/pull/131777 >From ff54ffd5ac3f761c877eebce52ef81d096d98f16 Mon Sep 17 00:00:00 2001 From: offsetof Date: Tue, 18 Mar 2025 10:08:56 + Subject: [PATCH] [clang] Improve checking of operator functions * Move validation of

[clang] [clang] Improve checking of operator functions (PR #131777)

2025-03-18 Thread via cfe-commits
https://github.com/offsetof created https://github.com/llvm/llvm-project/pull/131777 * Move validation of operator function parameters into a new routine, `Sema::CheckOverloadedOperatorParams`. * Treat operator function template specializations failing these checks as a substitution failure. *