summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--solenv/sanitizers/ubsan-suppressions18
1 files changed, 18 insertions, 0 deletions
diff --git a/solenv/sanitizers/ubsan-suppressions b/solenv/sanitizers/ubsan-suppressions
new file mode 100644
index 000000000000..529f77c1429a
--- /dev/null
+++ b/solenv/sanitizers/ubsan-suppressions
@@ -0,0 +1,18 @@
+#
+# This file is part of the LibreOffice project.
+#
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+#
+
+# Various places in sc rely on floating-point division by zero to produce
+# infinity (as triggered by CppunitTest_sc_functions_test); silence those UBSan
+# reports by adding
+# suppressions=/path-to-this/solenv/sanitizers/ubsan-suppressions to the
+# UBSAN_OPTIONS environment variable (and making sure to compile with
+# -fsanitize-recover=float-divide-by-zero):
+
+float-divide-by-zero:sc/source/core/tool/interpr2.cxx
+float-divide-by-zero:scaddins/source/analysis/analysis.cxx
+float-divide-by-zero:scaddins/source/analysis/financial.cxx