UBSan -- undefined behaviour sanitizer (soft float ABI debug symbols)

 UndefinedBehaviorSanitizer can be enabled via -fsanitize=undefined.
 Various computations will be instrumented to detect undefined behavior
 at runtime. Available for C and C++.