There are additional flags for Clang when running with UndefinedBehaviorSanitizer
https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
-fsanitize=undefined: All of the checks listed above other than float-divide-by-zero, unsigned-integer-overflow, implicit-conversion, local-bounds, vptr and the nullability-* group of checks.
We should:
- either enable all additional flags, all comment why we didn't add them-
- add a link to docs