Debian 13下libxml2触发SIGFPE问题及相关技术咨询

问题现象 #

在Debian 13系统中运行以下代码时，xmlCtxtReadFile()会触发SIGFPE信号，但该程序在Debian 11中运行无此问题。

复现代码 #

C++代码 #

编译命令：g++ xml.cpp -I /usr/include/libxml2 -lxml2

#include <libxml/xmlschemas.h>
#include <fenv.h>

int main() {
    feenableexcept(FE_DIVBYZERO);

    xmlParserCtxtPtr ctx = xmlNewParserCtxt();

    xmlCtxtReadFile(ctx, "basic.xml", NULL, 0);
}

对应的basic.xml内容 #

<?xml version='1.0' encoding='UTF-8'?>
<Root>
</Root>

问题排查 #

通过apt source获取libxml2源码并调试后，发现问题出自xpath.c文件中的xmlXPathInit函数：

/**
 * xmlXPathInit:
 *
 * Initialize the XPath environment
 */
ATTRIBUTE_NO_SANITIZE("float-divide-by-zero")
void
xmlXPathInit(void) {
    /* MSVC doesn't allow division by zero in constant expressions. */
    double zero = 0.0;
    xmlXPathNAN = 0.0 / zero;
    xmlXPathPINF = 1.0 / zero;
    xmlXPathNINF = -xmlXPathPINF;
}

疑问解答 #

1. 这段故意除零的代码意义是什么？
   这段代码是为了生成XPath规范要求的特殊浮点值：NaN（非数值）、+INF（正无穷）和-INF（负无穷）。因为部分编译器（比如MSVC）不允许在常量表达式中直接写除零逻辑，所以用变量赋值的方式来生成这些值。

2. +INF是否属于libxml2的逻辑部分？
   是的，这些特殊浮点值属于libxml2 XPath模块的核心逻辑。XPath规范支持这些数值类型，用来处理诸如除以零、数值超出范围等场景的计算结果，确保XPath表达式的计算符合规范。

3. 运行libxml2是否必须禁用feenableexcept()？
   如果你的代码启用了FE_DIVBYZERO硬件浮点异常，那么在调用libxml2的相关函数前，必须临时禁用该异常。因为ATTRIBUTE_NO_SANITIZE("float-divide-by-zero")只是告诉编译器不要在编译期检测这个除零，但无法阻止运行时硬件触发SIGFPE信号。

4. 临时禁用FE_DIVBYZERO能否确保程序不会损坏？
   可以。这个除零操作是libxml2初始化逻辑中预期的步骤，目的就是生成所需的特殊浮点值。只要在执行libxml2初始化相关代码时临时禁用FE_DIVBYZERO，执行完成后再恢复，程序就能正常运行，不会出现逻辑损坏的情况。

内容的提问来源于stack exchange，提问作者Stewart