| #
1.6 |
|
09-Feb-2019 |
mrg |
add $NetBSD$ tags.
|
| #
1.5 |
|
29-Jan-2019 |
mgorny |
Move common UBSAN test case code into ubsan_common.subr
Reviewed by <kamil>
|
|
Revision tags: pgoyette-compat-20190127 pgoyette-compat-20190118 pgoyette-compat-1226 pgoyette-compat-1126 pgoyette-compat-1020 pgoyette-compat-0930 pgoyette-compat-0906 pgoyette-compat-0728
|
|
| #
1.4 |
|
16-Jul-2018 |
kamil |
Disable profile and compat 32-bit tests cc sanitizer tests
These tests are known to be faulty. These fatures aren't ready.
They tend to break to unrelated changes to the codebase and require.
Base Clang and GCC are in general dated to use with sanitizers as these
features are being fixed on HEAD versions of both compilers (mostly Clang).
|
|
Revision tags: phil-wifi-base pgoyette-compat-0625 pgoyette-compat-0521
|
|
| #
1.3 |
|
04-May-2018 |
kamil |
branches: 1.3.2;
Explain VLA in t_ubsan_vla_out_of_bounds.sh (ATF test)
VLA - Variable Length Array
Requested by <martin>
|
| #
1.2 |
|
04-May-2018 |
martin |
Use more formal speech in messages
|
| #
1.1 |
|
02-May-2018 |
kamil |
Add new ATF Undefined Behavior Sanitizer tests
Add new cc and c++ tests to check whether UBSan works.
These tests are prepared for GCC (in base) and Clang (with external patches).
Enable these tests for all ports by default, just verify whether we are
using GCC/Clang or a compatible compiler.
Add five equivalent C and C++ tests:
- Integer addition overflow
- Integer divide by zero
- Integer negation overflow
- Integer subtraction overflow
- VLA out of bounds
All tests pass on NetBSD/amd64.
Patch submitted by <Harry Pantazis>
Minor cleanup by <myself>
|