diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2016-08-17 16:02:10 +0200 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2016-08-17 16:03:16 +0200 |
| commit | be9cb972503d1eb6283d43a8bbabfef7f5ffef0a (patch) | |
| tree | bcccbed3bd1c45fbf849a96c6a1d0fe3f28d19d7 | |
| parent | 7d733e16513a1b9413303d60feb03c5a0de941fc (diff) | |
Silence -fsanitize=float-divide-by-zero in some parts of sc
...that rely on floating-point division by zero to produce infinity
Change-Id: I081c88a9631b1d8aab85c600c6da04f158089644
| -rw-r--r-- | solenv/sanitizers/ubsan-suppressions | 18 |
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 |