[fix] simple predicates evaluating to empty sequences

Fixes #2445

By definition the following Xpaths must evaluate to an empty sequence
- `<a/>[self::b]`
- `<a/>/@b/c`
- `<a/>/text()/b`

Instead of throwing an Exception the staticReturnType of the current step
and the contextInfo returnType are set to Type.EMPTY.

Author: line-o

exist-core/src/main/java/org/exist/xquery/LocationStep.java

@@ -263,40 +263,61 @@ public void analyze(final AnalyzeContextInfo contextInfo) throws XPathException
             this.axis = Constants.DESCENDANT_AXIS;
         }
 
+        final Expression contextStep;
+        final NodeTest stepTest;
+        final NodeTest contextStepTest;
+
         // static analysis for empty-sequence
         switch (axis) {
             case Constants.SELF_AXIS:
-                if (getTest().getType() != Type.NODE) {
-                    final Expression contextStep = contextInfo.getContextStep();
-                    if (contextStep instanceof LocationStep cStep) {
-
-                        // WM: the following checks will only work on simple filters like //a[self::b], so we
-                        // have to make sure they are not applied to more complex expression types
-                        if (parent.getSubExpressionCount() == 1 && !Type.subTypeOf(getTest().getType(), cStep.getTest().getType())) {
-                            throw new XPathException(this,
-                                    ErrorCodes.XPST0005, "Got nothing from self::" + getTest() + ", because parent node kind " + Type.getTypeName(cStep.getTest().getType()));
-                        }
+                if (getTest().getType() == Type.NODE) {
+                    break;
+                }
 
-                        if (parent.getSubExpressionCount() == 1 && !(cStep.getTest().isWildcardTest() || getTest().isWildcardTest()) && !cStep.getTest().equals(getTest())) {
-                            throw new XPathException(this,
-                                    ErrorCodes.XPST0005, "Self::" + getTest() + " called on set of nodes which do not contain any nodes of this name.");
-                        }
-                    }
+                // WM: the following checks will only work on simple filters like //a[self::b], so we
+                // have to make sure they are not applied to more complex expression types
+                if (parent.getSubExpressionCount() > 1) {
+                    break;
+                }
+
+                contextStep = contextInfo.getContextStep();
+                if (!(contextStep instanceof LocationStep cStep)) {
+                    break;
+                }
+
+                stepTest = getTest();
+                contextStepTest = cStep.getTest();
+
+                if (!Type.subTypeOf(stepTest.getType(), contextStepTest.getType())) {
+                    // return empty sequence
+                    contextInfo.setStaticType(Type.EMPTY_SEQUENCE);
+                    staticReturnType = Type.EMPTY_SEQUENCE;
+                    break;
+                }
+
+                if (!stepTest.isWildcardTest() &&
+                        !contextStepTest.isWildcardTest() &&
+                        !contextStepTest.equals(stepTest)) {
+                    // return empty sequence
+                    contextInfo.setStaticType(Type.EMPTY_SEQUENCE);
+                    staticReturnType = Type.EMPTY_SEQUENCE;
                 }
                 break;
-//		case Constants.DESCENDANT_AXIS:
+//		      case Constants.DESCENDANT_AXIS:
             case Constants.DESCENDANT_SELF_AXIS:
-                final Expression contextStep = contextInfo.getContextStep();
-                if (contextStep instanceof LocationStep cStep) {
-
-                    if ((
-                            cStep.getTest().getType() == Type.ATTRIBUTE ||
-                                    cStep.getTest().getType() == Type.TEXT
-                    )
-                            && cStep.getTest() != getTest()) {
-                        throw new XPathException(this,
-                                ErrorCodes.XPST0005, "Descendant-or-self::" + getTest() + " from an attribute gets nothing.");
-                    }
+                contextStep = contextInfo.getContextStep();
+                if (!(contextStep instanceof LocationStep cStep)) {
+                    break;
+                }
+
+                stepTest = getTest();
+                contextStepTest = cStep.getTest();
+
+                if ((contextStepTest.getType() == Type.ATTRIBUTE || contextStepTest.getType() == Type.TEXT) &&
+                        contextStepTest != stepTest) {
+                    // return empty sequence
+                    contextInfo.setStaticType(Type.EMPTY_SEQUENCE);
+                    staticReturnType = Type.EMPTY_SEQUENCE;
                 }
                 break;
 //		case Constants.PARENT_AXIS: