ganeshashree commented on code in PR #58450:
URL: https://github.com/apache/spark/pull/58450#discussion_r4024720431


##########
sql/catalyst/src/main/scala/org/apache/spark/sql/catalyst/analysis/FunctionResolution.scala:
##########
@@ -404,6 +388,110 @@ class FunctionResolution(
     }
   }
 
+  /**
+   * Returns whether an unqualified function name reaches `system.builtin` 
before any temp or
+   * persistent function in the effective SQL PATH. When a temp or persistent 
function shadows the
+   * builtin, special-syntax handling that only applies to Spark's builtins 
must not fire, since the
+   * name no longer refers to the builtin -- e.g. rejecting a direct star 
(bare `*` or qualified
+   * `t.*`) in a routed SQL/JSON function or the `count(tbl.*)` guard. 
Parser-built `count(*)` is
+   * normalized to `count(1)` in `AstBuilder` so it skips this probe, but a 
DataFrame `count("*")`
+   * keeps its star and does reach the probe during analyzer normalization.
+   *
+   * Precondition: `functionName` must already be known to be a stock built-in 
name (as
+   * `functionNameResolvesToBuiltin` ensures by checking 
`FunctionRegistry.functionSet` first). This
+   * returns true as soon as the PATH reaches `system.builtin`, without 
verifying that
+   * `system.builtin` actually defines a function of this name, so calling it 
for a non-builtin name
+   * would wrongly report builtin ownership.
+   */
+  def unqualifiedFunctionResolvesToBuiltinBeforeAnyShadow(functionName: 
String): Boolean = {
+    // Walk the PATH in order and stop at the first entry that owns the name. 
The default order puts
+    // system.builtin first, so the common case returns on the first entry 
with no catalog lookup;
+    // only a custom PATH that lists a persistent catalog ahead of 
system.builtin reaches the probe
+    // below (one lookup per such preceding entry, recomputed on each call -- 
not cached).
+    sqlResolutionPathEntriesForAnalysis.foreach { pathEntry =>
+      val candidate = pathEntry :+ functionName
+      FunctionResolution.sessionNamespaceKind(candidate) match {
+        case 
Some(org.apache.spark.sql.catalyst.catalog.SessionCatalog.Builtin) =>
+          return true
+        case Some(org.apache.spark.sql.catalyst.catalog.SessionCatalog.Temp) =>
+          // A visible temp scalar function shadows the builtin; a visible 
temp *table* function
+          // makes scalar resolution terminal at this PATH entry 
(NOT_A_SCALAR_FUNCTION). Either way
+          // the name never reaches system.builtin, mirroring 
`resolveFunctionCandidate`.
+          val ident = FunctionIdentifier(functionName)
+          if (v1SessionCatalog.isTemporaryScalarFunctionVisible(ident) ||
+              v1SessionCatalog.isTemporaryTableFunctionVisible(ident)) {
+            return false
+          }
+        case None =>
+          if (persistentFunctionExists(candidate)) {
+            return false
+          }
+      }
+    }
+    false
+  }
+
+  /**
+   * Returns true when a function reference resolves to the system built-in 
with the requested name.
+   * This mirrors [[resolveFunction]] for special parser/analyzer rewrites 
that must run only for
+   * Spark's built-ins. In particular, two-part `builtin.name` is not always a 
system built-in:
+   * with `spark.sql.legacy.persistentCatalogFirst=true`, an existing 
persistent
+   * `current_catalog.builtin.name` takes precedence.
+   */
+  def functionNameResolvesToBuiltin(nameParts: Seq[String], expectedName: 
String): Boolean = {
+    if (!FunctionRegistry.functionSet.contains(
+          FunctionRegistry.builtinFunctionIdentifier(expectedName)) ||
+        !FunctionResolution.isUnqualifiedOrBuiltinFunctionName(nameParts, 
expectedName)) {
+      return false
+    }
+    nameParts.length match {
+      case 1 =>
+        unqualifiedFunctionResolvesToBuiltinBeforeAnyShadow(nameParts.head)
+      case 2 =>
+        conf.prioritizeSystemCatalog || !persistentFunctionExists(nameParts)

Review Comment:
   It's pre-existing, so I'd prefer a follow-up.
   
   The owner probe runs during star expansion, before ResolveFunctions, the 
same two-phase pattern the pre-existing `count(*)→count(1)` rewrite and 
`count(tbl.*)` guard already use. For the two lookups to disagree the catalog 
has to be mutated between the phases, which can't happen within a single 
query's analysis (stable snapshot, no rule drops functions mid-analysis, view 
temp visibility fixed for the withAnalysisContext scope). It only surfaces 
under concurrent external DDL during this query's analysis, which no analyzer 
preprocessing guards against and can't be reproduced deterministically in 
single-threaded analysis.
   
   So it's not introduced by this PR and not JSON-specific. The proper fix, 
binding the selected owner across preprocessing and resolution, is a standalone 
refactor of that shared machinery that also covers count. I'd handle it in a 
dedicated follow-up, but happy to pull it into this PR if you'd prefer. Let me 
know which you'd like, and I'll file and link the ticket or address it here.



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to