https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
mcccs at gmx dot com changed:
What|Removed |Added
Resolution|--- |WONTFIX
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
Navid Rahimi changed:
What|Removed |Added
CC||navidrahimi at microsoft dot
com
--- Com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
--- Comment #3 from MCCCS ---
What about
unsigned int k (unsigned int a) {
if (a > 5) {
__builtin_unreachable();
}
return (a * 83) % 5;
}
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
--- Comment #1 from MCCCS ---
Note: It can notice (a * n) % k = 0 if n is a multiple of k. The bug happens
only if n % k != 0.
