[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 #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Or rather

int n = 20000;
int z = 0;

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