gh-140476: Optimize PySet_Add() for frozenset in free-threading

Misc/NEWS.d/next/Core_and_Builtins/2025-10-22-12-48-05.gh-issue-140476.F3-d1P.rst

@@ -0,0 +1,2 @@
+Optimize :c:func:`PySet_Add` for uniquely referenced sets in :term:`free
+threaded <free threading>` build.

Objects/setobject.c

@@ -2773,17 +2773,23 @@ PySet_Discard(PyObject *set, PyObject *key)
 int
 PySet_Add(PyObject *anyset, PyObject *key)
 {
-    if (!PySet_Check(anyset) &&
-        (!PyFrozenSet_Check(anyset) || !_PyObject_IsUniquelyReferenced(anyset))) {
-        PyErr_BadInternalCall();
-        return -1;
+    if (_PyObject_IsUniquelyReferenced(anyset) && PyAnySet_Check(anyset)) {
+        // We can only change frozensets if they are uniquely referenced,
+        // and we can avoid locking sets even in free-threaded build if they
+        // are uniquely referenced.
+        return set_add_key((PySetObject *)anyset, key);
     }
 
-    int rv;
-    Py_BEGIN_CRITICAL_SECTION(anyset);
-    rv = set_add_key((PySetObject *)anyset, key);
-    Py_END_CRITICAL_SECTION();
-    return rv;
+    if (PySet_Check(anyset)) {
+        int rv;
+        Py_BEGIN_CRITICAL_SECTION(anyset);
+        rv = set_add_key((PySetObject *)anyset, key);
+        Py_END_CRITICAL_SECTION();
+        return rv;
+    }
+
+    PyErr_BadInternalCall();
+    return -1;
 }
 
 int