[Bug sanitizer/87453] New: Maybe implement -fsanitize=float-cast-overflow and -fsanitize=float-divide-by-zero

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87453

            Bug ID: 87453
           Summary: Maybe implement -fsanitize=float-cast-overflow and
                    -fsanitize=float-divide-by-zero
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org,
                    marxin at gcc dot gnu.org, mpolacek at gcc dot gnu.org
  Target Milestone: ---

That are UBSAN features that LLVM can instrument.
What do you think about it?