[Bug tree-optimization/83674] strcpy folding of small strings defeats strlen optimization

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
      Known to work|                            |10.0
         Resolution|---                         |DUPLICATE
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot 
gnu.org
   Target Milestone|---                         |10.0
      Known to fail|                            |7.3.0, 8.3.0, 9.2.0

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
This works in GCC 10 since r273783 (committed to resolve pr91183):

;; Function f8 (f8, funcdef_no=2, decl_uid=1941, cgraph_uid=3, symbol_order=7)

Removing basic block 3
f8 (int i)
{
  long unsigned int _2;

  <bb 2> [local count: 1073741824]:
  if (i_3(D) < 0)
    goto <bb 3>; [41.00%]
  else
    goto <bb 4>; [59.00%]

  <bb 3> [local count: 440234144]:

  <bb 4> [local count: 1073741824]:
  # _2 = PHI <13847469359445559(2), 15540725856023089(3)>
  MEM <long unsigned int> [(char * {ref-all})&d] = _2;
  return;

}



;; Function g8 (g8, funcdef_no=5, decl_uid=1944, cgraph_uid=4, symbol_order=8)

Removing basic block 3
g8 (int i)
{
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  if (i_2(D) < 0)
    goto <bb 3>; [41.00%]
  else
    goto <bb 4>; [59.00%]

  <bb 3> [local count: 440234144]:

  <bb 4> [local count: 1073741824]:
  # _4 = PHI <13847469359445559(2), 15540725856023089(3)>
  MEM <long unsigned int> [(char * {ref-all})&d] = _4;
  return;

}

*** This bug has been marked as a duplicate of bug 91183 ***