diff options
author | 2017-03-16 08:03:59 -0700 | |
---|---|---|
committer | 2017-03-16 08:03:59 -0700 | |
commit | e30c204be5859d8d589d3f2e16cff4338ba8a9f1 (patch) | |
tree | dcabc5c10543594732d7c1403da5ae5c5740a62a /tools | |
parent | 6b2662adf5d34f30f42def55b008f805fdd2b081 (diff) | |
parent | dd9b597bd7ba13b135bf0e5ae292a9ad38d7d856 (diff) |
Merge pull request #10148 from ctiller/ubsan
UBSAN cleanup
Diffstat (limited to 'tools')
-rw-r--r-- | tools/run_tests/generated/configs.json | 2 | ||||
-rw-r--r-- | tools/ubsan_suppressions.txt | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/tools/run_tests/generated/configs.json b/tools/run_tests/generated/configs.json index 9173bd7c19..69e0f44774 100644 --- a/tools/run_tests/generated/configs.json +++ b/tools/run_tests/generated/configs.json @@ -58,7 +58,7 @@ { "config": "ubsan", "environ": { - "UBSAN_OPTIONS": "halt_on_error=1:print_stacktrace=1" + "UBSAN_OPTIONS": "halt_on_error=1:print_stacktrace=1:suppressions=tools/ubsan_suppressions.txt" } }, { diff --git a/tools/ubsan_suppressions.txt b/tools/ubsan_suppressions.txt new file mode 100644 index 0000000000..9869f98a22 --- /dev/null +++ b/tools/ubsan_suppressions.txt @@ -0,0 +1,7 @@ +# boringssl stuff +nonnull-attribute:bn_wexpand +nonnull-attribute:CBB_add_bytes +nonnull-attribute:rsa_blinding_get +nonnull-attribute:ssl_copy_key_material +alignment:CRYPTO_cbc128_encrypt + |