-
-
Notifications
You must be signed in to change notification settings - Fork 273
Closed
Labels
Description
Description of the Problem
Given this XML document:
<A1 id="1">-1</A1>
and XPath Query
//A1[(text() * 0) = 6]
BaseX throws the exception
java.io.IOException: Stopped at C:/BaseX/basex/bin/, 1/22:
[FOAR0001] 6 cannot be divided by zero.
Expected Behavior
Should not throw exception but execute successfully and return empty result set as Saxon & Exist DB since no division operation is involved.
Steps to Reproduce the Behavior
Using BaseX Client:
- Create database
create database test - Insert XML file into database
put test.xml path/to/file - Execute XPath query
xquery //A1[(text() * 0) = 6]
(Note: Directly executing<A1 id="1">-1</A1>//A1[(text() * 0) = 6]does not trigger the bug
Do you have an idea how to solve the issue?
No response
What is your configuration?
BaseX version: 10.4 on Windows
(Also reproduced on the latest stable snapshot 10.5 provided in https://files.basex.org/releases/latest/)