[Bug middle-end/34222] [4.3 Regression] verify_ssa failed, missing definition

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

------- Comment #7 from rguenth at gcc dot gnu dot org  2007-12-04 17:20 -------
Subject: Bug 34222

Author: rguenth
Date: Tue Dec  4 17:20:34 2007
New Revision: 130602

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130602
Log:
2007-12-04  Richard Guenther  <rguenther@suse.de>

        PR middle-end/34334
        PR middle-end/34222
        * tree-ssa-operands.c (get_addr_dereference_operands): If we
        fall back to using the SMTs aliases, make sure to add virtual
        operands for the SMT itself.
        (create_ssa_artificial_load_stmt): Fix typo.  Make sure to also
        clear the loaded and stored symbols bitmaps.

        * gcc.c-torture/compile/pr34334.c: New testcase.
        * g++.dg/torture/pr34222.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr34222.C
    trunk/gcc/testsuite/gcc.c-torture/compile/pr34334.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-operands.c


-- 


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