https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91470
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 46720 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46720&action=edit unreduced testcase A bit reduced testcase from trans-intrinsic.c (in case it goes latent there due to changes). Needs more reduction to capture the meat of things. The code basically does int a, b; for (int i = 0; i < 2; ++i) if (i == 0) a = 1; else b = 2; use a/b and we warn on one of the uses. It's not that simple of course since this kind of simple testcase is handled well...