summaryrefslogtreecommitdiffstats
path: root/solenv/sanitizers/ubsan-suppressions
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--solenv/sanitizers/ubsan-suppressions21
1 files changed, 21 insertions, 0 deletions
diff --git a/solenv/sanitizers/ubsan-suppressions b/solenv/sanitizers/ubsan-suppressions
new file mode 100644
index 000000000..7adaa1e92
--- /dev/null
+++ b/solenv/sanitizers/ubsan-suppressions
@@ -0,0 +1,21 @@
+#
+# 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 e.g. 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/interpr1.cxx$
+float-divide-by-zero:/sc/source/core/tool/interpr2.cxx$
+float-divide-by-zero:/sc/source/core/tool/interpr3.cxx$
+float-divide-by-zero:/sc/source/core/tool/interpr8.cxx$
+float-divide-by-zero:/scaddins/source/analysis/analysis.cxx$
+float-divide-by-zero:/scaddins/source/analysis/financial.cxx$