[Bug sanitizer/80800] UBSAN: yet another false positive

[mpolacek at gcc dot gnu.org]

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Simplified testcase:

unsigned short n = 20000;
unsigned short z = 0;

int
main ()
{
  return 50 * (n * 10000 * z);
}