https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #10 from Richard Biener ---
For the remaining superset_of path we now have
((m_16(D) != 0) AND (r_18(D) <= 19) AND (m_16(D) != 100) AND (n_15(D)
<= 9))
OR ((l_22(D) > 100) AND (NOT (m_16(D) != 0)) AND (r_18(D) <=
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #9 from Richard Biener ---
uninit analysis has the guarding condition r_14(D) <= 18 but the guard of
the PHI is computed in non-optimal way since this is a PHI use of a PHI
with an uninitialized val on an edge but the paths we
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #8 from Richard Biener ---
Bumping MAX_CHAIN_LEN to 7 removes warnings of it being exceeded during
analysis but the diagnostic still happens.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
Vineet Gupta changed:
What|Removed |Added
CC||kito at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
sandra at gcc dot gnu.org changed:
What|Removed |Added
CC||sandra at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #5 from CVS Commits ---
The master branch has been updated by Hans-Peter Nilsson :
https://gcc.gnu.org/g:92f7016940e5a7281e3fd7628fbf1360d900b581
commit r12-2843-g92f7016940e5a7281e3fd7628fbf1360d900b581
Author: Hans-Peter Nilsson
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #4 from CVS Commits ---
The master branch has been updated by Hans-Peter Nilsson :
https://gcc.gnu.org/g:309ddde04f2335f51062690328f03ce889be7e22
commit r12-2647-g309ddde04f2335f51062690328f03ce889be7e22
Author: Hans-Peter Nilsson
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #3 from CVS Commits ---
The master branch has been updated by Martin Sebor :
https://gcc.gnu.org/g:2f6bdd51cfe15403085b69c133065ebda4af9bb9
commit r12-2600-g2f6bdd51cfe15403085b69c133065ebda4af9bb9
Author: Martin Sebor
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
--- Comment #2 from Aldy Hernandez ---
(In reply to Martin Sebor from comment #1)
> I can confirm the test fails (despite the xfail):
>
> FAIL: gcc.dg/uninit-pred-9_b.c bogus warning (test for bogus messages, line
> 25)
>
> The xfail target
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101674
Martin Sebor changed:
What|Removed |Added
Keywords||diagnostic
10 matches
Mail list logo