Jeffrey Walton wrote: > This showed up during acosf testing with UBsan: > > test-math.c:89:3: runtime error: division by zero
The code performs a division 1.0 / 0.0. This is a valid operation in IEEE 854. It must produce a HUGE_VAL. Surely you can tell the sanitizer to ignore this? Bruno