[ci] Add more UBSan checks
commitd75e37050fe88744d840ffe74bb6a9fcf36f53e1
authorOlly Betts <olly@survex.com>
Mon, 14 Aug 2023 05:57:13 +0000 (14 17:57 +1200)
committerOlly Betts <olly@survex.com>
Mon, 14 Aug 2023 05:57:13 +0000 (14 17:57 +1200)
tree25ba184804355a12030a0f2a8c4c46072b713b2c
parente247fdb9ff2f7246a13167da79ff01354358aa67
[ci] Add more UBSan checks

Add local-bounds which is omitted by default because it always traps
rather than emitting a diagnostic - that's OK in for a CI build.

Add nullability which checks for passing NULL to something annotated as
with attribute `nonnull`.

Remove float-cast-overflow which is enabled by `undefined` anyway.
.github/workflows/ci.yml