diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-06-15 16:45:23 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-06-16 23:28:34 +1000 |
| commit | 841acb9df1eba53b1d6daf0684eddec17680235c (patch) | |
| tree | 0673e744bb542858361a449121b4f75f7163c18c /py/binary.c | |
| parent | 268264fe64d04b82434c8efb2e9e94e8712719d4 (diff) | |
| download | micropython-841acb9df1eba53b1d6daf0684eddec17680235c.tar.gz micropython-841acb9df1eba53b1d6daf0684eddec17680235c.zip | |
github/workflows: Add sanitize_undefined workflow to unix port CI.
gcc's "undefined behavior" sanitizer can catch a range of misbehaviors at
runtime that normally go unnoticed. These include integer and pointer
operations that are "undefined" per the relevant C specification.
This commit enables undefined behavior detection during a new unix
coverage-like build.
Signed-off-by: Jeff Epler <jepler@gmail.com>
Diffstat (limited to 'py/binary.c')
0 files changed, 0 insertions, 0 deletions