[Bug tree-optimization/43655] [4.5/4.6 Regression] -ftree-ter causes FAIL: g++.old-deja/g++.law/temps5.C execution test

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43655

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
      Known to work|                            |

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-10 19:21:02 UTC ---
The problem is that since 4.5, the:
  /* There must be no VDEFs.  */
  if (gimple_vdef (stmt))
    return false;

  /* Without alias info we can't move around loads.  */
  if (gimple_references_memory_p (stmt) && !optimize)
    return false;
never return false if !optimize (in 4.4 gimple_references_memory_p was just
checking a bit in gimple stmt).
We know at this point that is_gimple_assign (stmt), what's the best way to
replace the latter check to rule out all memory loads and stores if !optimize?