[Bug c/109151] UBsan misses a divide-by-zero

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.9.0
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-03-15
     Ever confirmed|0                           |1

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed
Here is the shortest testcase which shows the issue:
int d;
int main() {
    return ((short)(d == 1 | d > 9)) / 0;
}