[Bug testsuite/113685] [14 regression] gcc.dg/vect/vect-117.c fails profile checking with Invalid sum after r14-4089-gd45ddc2c04e471

["rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113685

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-02-01
                 CC|                            |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1
   Target Milestone|---                         |14.0
           Keywords|                            |testsuite-fail
            Summary|[14 regression] xxx fails   |[14 regression]
                   |after yyy                   |gcc.dg/vect/vect-117.c
                   |                            |fails profile checking with
                   |                            |Invalid sum after
                   |                            |r14-4089-gd45ddc2c04e471
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
As said in the other PR, this is more for Honza who thought checking we do not
end with invalid profiles for all vect testcases is a good thing ;)

Btw, the wrong count pops up in DOM3:

t.c.203t.dom3:;;   Invalid sum of incoming counts 138435014 (estimated locally,
freq 3.0936), should be 134239200 (estimated locally, freq 2.9999)

so it seems to be a jump threading issue.  It's gone with -fno-thread-jumps.

Very likely a latent issue, but of course the change triggering this does
have an effect on jump threading.

Confirmed.