[Bug sanitizer/120992] ICE on x86_64-linux-gnu: in ubsan_instrument_division, at c-family/c-ubsan.cc:51 with ubsan and may_alias

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |ice-on-valid-code
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=81543
         Depends on|81543                       |

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
But this is still valid:
```
typedef __attribute__((may_alias)) _Complex double t;
t a;
void b() {
  1 / a;
}
```


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81543
[Bug 81543] attribute may_alias on function and variable declarations silently
accepted