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/ArrayOpt/test_sub_idx.c | |
| 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/ArrayOpt/test_sub_idx.c')
0 files changed, 0 insertions, 0 deletions