enable ASan, disable `float-divide-by-zero`