diff options
| author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-01-22 21:27:43 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-09 20:45:11 +0100 |
| commit | 77980cd8b25d6bc97f4f019fb2491acb27e5fc76 (patch) | |
| tree | 83c2eeba6a733806a8fe0b3c0b4fc69f0cade238 /test/Feature/asm_lifting.ll | |
| parent | 034fd4486e753a3802e85e86c8baaac5b57c6ef6 (diff) | |
| download | klee-77980cd8b25d6bc97f4f019fb2491acb27e5fc76.tar.gz | |
CI: drop `-fsanitize=integer` from UBSAN flags
When combined with `-fsanitize=undefined`, this flag only enables extra checks for unsigned integer overflow and (possibly bug-prone) implicit conversions between integer types. It was generating way too much noise (both for KLEE and its dependencies) and the reported problems do not lead to an undefined behaviour according to the C++ standard.
Diffstat (limited to 'test/Feature/asm_lifting.ll')
0 files changed, 0 insertions, 0 deletions