diff options
| author | David Carlier <[email protected]> | 2019-04-12 15:36:43 +0000 |
|---|---|---|
| committer | David Carlier <[email protected]> | 2019-04-12 15:36:43 +0000 |
| commit | 56977661a8509232a8307e8eab2e0b8636af3b43 (patch) | |
| tree | cffffd7e7a5d0cd597836a35916e351cb434e45f | |
| parent | f80a0a6a780b6eec1785cda64f8741bc9c33487b (diff) | |
Proposal to silent, when wished, some "false positives" when using sanitizers.
| -rw-r--r-- | src/scripts/ubsan-blacklist.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/ubsan-blacklist.txt b/src/scripts/ubsan-blacklist.txt new file mode 100644 index 000000000..c9d310a50 --- /dev/null +++ b/src/scripts/ubsan-blacklist.txt @@ -0,0 +1,2 @@ +src:*dl_group.cpp +src:*ecc_key.cpp |