https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
--- Comment #7 from Andrew Macleod ---
(In reply to Richard Biener from comment #3)
> Note the old VRP was able to at least tell that qa was [0, +INF] by means of
> iterating and saturating to +INF after too many iterations. SCEV isn't of
> hel
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Richard Biener changed:
What|Removed |Added
Priority|P3 |P2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
--- Comment #6 from rguenther at suse dot de ---
On Tue, 6 Dec 2022, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
>
> Jakub Jelinek changed:
>
>What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
--- Comment #4 from Richard Biener ---
(In reply to Andrew Pinski from comment #2)
> (In reply to Richard Biener from comment #1)
> >
> > void bar ();
> > void foo (int *a)
> > {
> > int qa = 0;
> > for (int i = 0; i < 3; i++)
> > if (a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Richard Biener changed:
What|Removed |Added
CC||amacleod at redhat dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
--- Comment #2 from Andrew Pinski ---
(In reply to Richard Biener from comment #1)
>
> void bar ();
> void foo (int *a)
> {
> int qa = 0;
> for (int i = 0; i < 3; i++)
> if (a[i])
> a[qa++] = 0;
> if (qa > 3)
> bar ();
> }
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Richard Biener changed:
What|Removed |Added
Blocks||85316
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Richard Biener changed:
What|Removed |Added
Last reconfirmed||2022-12-06
Known to fail|
