[Bug middle-end/124385] New: Require (or at least try to) is_gimple_reg lhs for calls with is_gimple_reg_type return type

[jakub at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 124385
           Summary: Require (or at least try to) is_gimple_reg lhs for
                    calls with is_gimple_reg_type return type
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

As mentioned in
https://gcc.gnu.org/pipermail/gcc-patches/2026-March/709975.html
we currently disallow in the verifiers !is_gimple_reg to !is_gimple_reg copying
for is_gimple_reg_type types, but do allow calls with !is_gimple_reg
is_gimple_reg_type lhs.