Removing float-divide-by-zero from UBSan

In 55f9aba we did this for --config=ubsan; here, we also apply it to --config=ubsan_everything.
Robotics-Mark · Oct 6, 2017 · 0f31dd0 · 0f31dd0
1 parent 4b1336a
commit 0f31dd0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/bazel.rc b/tools/bazel.rc
@@ -263,6 +263,7 @@ build:ubsan_everything --define=WITH_MOSEK=ON
 build:ubsan_everything --define=WITH_SNOPT=ON
 build:ubsan_everything --copt -g
 build:ubsan_everything --copt -fsanitize=undefined
+build:ubsan_everything --copt -fno-sanitize=float-divide-by-zero
 build:ubsan_everything --copt -O1
 build:ubsan_everything --copt -fno-omit-frame-pointer
 build:ubsan_everything --linkopt -fsanitize=undefined