mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

[UBSan] Update UBSan suppression file to suppress all undefined

Browse source 
behaviour I have observed running in CI.
This commit is contained in:
Dan Liew 2017-10-06 16:48:12 +01:00
parent 9455391f1f
commit 71dcec3113
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
contrib/suppressions/sanitizers/ubsan.txt
View file

@ -1 +1,20 @@
# UndefinedBehavior sanitizer suppression file
# FIXME: UBSan doesn't usually have false positives so we need to fix all of these!
# Occurs when running C API example (`interpolation_example`)
# See https://github.com/Z3Prover/z3/issues/1286
null:iz3mgr.h
# Occurs when running C++ API example
# See https://github.com/Z3Prover/z3/issues/1287
function:api_context.cpp
# Occurs when running tptp example
# See https://github.com/Z3Prover/z3/issues/964
null:rational.h
null:mpq.h
# Occurs when running `test-z3 /a`
# See https://github.com/Z3Prover/z3/issues/1288
shift-exponent:tbv.cpp
signed-integer-overflow:mpz.cpp