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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Kugan Vivekanandarajah
<[email protected]>:

https://gcc.gnu.org/g:83b3c80fac333c429d0d8a9f58d3d494c2ba305f

commit r16-6590-g83b3c80fac333c429d0d8a9f58d3d494c2ba305f
Author: Kugan Vivekanandarajah <[email protected]>
Date:   Fri Jan 9 11:59:27 2026 +1100

    [Bug gcov-profile/123019][V3] Fix Virtual SSA ICE

    The bug is a stale Virtual SSA VDEF on calls to functions that have
    been marked const or pure.

    pure_const pass analyzes function rocksdb::y::y() and determines it has no
side
    effects and marks it as const.

    At this point, existing call sites to y::y() in other functions still have:
       # .MEM_12 = VDEF <.MEM_11>   rocksdb::y::y (&l, _9);
    The VDEF indicates the call modifies memory but now that y::y() is const,
    this VDEF is stale

    Later passes  after feedback_fnsplit SSA verification fails. Added fixup.

    gcc/ChangeLog:

    2026-01-07  Kugan Vivekanandarajah  <[email protected]>

            PR gcov-profile/123019
            * auto-profile.cc (auto_profile): Call execute_fixup_cfg.

    Signed-off-by: Kugan Vivekanandarajah <[email protected]>

Reply via email to