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 /sc/workben | |
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
Diffstat (limited to 'sc/workben')
0 files changed, 0 insertions, 0 deletions