https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
Jan Hubicka changed:
What|Removed |Added
CC||hubicka at gcc dot gnu.org
--- Comment #9
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |14.0
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #7 from Aldy Hernandez ---
(In reply to Andrew Macleod from comment #6)
> (In reply to Jakub Jelinek from comment #4)
> > Or the ranger could do it itself, similarly to how it handles .ASSUME, but
> > without actually querying
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #6 from Andrew Macleod ---
(In reply to Jakub Jelinek from comment #4)
> Or the ranger could do it itself, similarly to how it handles .ASSUME, but
> without actually querying anything but the global range of the return value
> if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #5 from Jakub Jelinek ---
*** Bug 109147 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #4 from Jakub Jelinek ---
Or the ranger could do it itself, similarly to how it handles .ASSUME, but
without actually querying anything but the global range of the return value if
any. Though, doing that in the range means that we
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
Jakub Jelinek changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
--- Comment #2 from Jakub Jelinek ---
Another testcase from a different PR:
__attribute__((noinline)) static int
foo (int a, int b)
{
return a == b;
}
int
bar (int a, int b)
{
return foo (a, b) != 0;
}
__attribute__((noinline)) static int
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81323
Richard Biener changed:
What|Removed |Added
Keywords||missed-optimization
10 matches
Mail list logo
