[Bug tree-optimization/33735] New: [4.3 Regression] verify_stmts failed: missing PHI def

[Bug tree-optimization/33735] New: [4.3 Regression] verify_stmts failed: missing PHI def

[rguenth at gcc dot gnu dot org]

/usr/lib/gcc/i586-suse-linux/4.3.0/cc1plus -fpreprocessed incomingscript.ii
-quiet -dumpbase incomingscript.cpp -march=i586 -mtune=i686 -auxbase-strip
incomingscript.o -O2 -Wall -version -fmessage-length=0 -fstack-protector -o
incomingscript.s
GNU C++ (SUSE Linux) version 4.3.0 20071009 (experimental) [trunk revision
129166] (i586-suse-linux)
        compiled by GNU C version 4.3.0 20071009 (experimental) [trunk revision
129166], GMP version 4.2.1, MPFR version 2.2.1.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: e33e9923d15fc8d6a61c8cd1ae9af5a7
incomingscript.cpp: In member function 'virtual void IncomingScript::run()':
incomingscript.cpp:122: warning: suggest explicit braces to avoid ambiguous
'else'
incomingscript.cpp:79: error: missing PHI def
py_state_2(ab) = PHI <py_state_4(ab)(2), py_state_4(ab)(3), py_state_6(ab)(5),
py_state_6(ab)(6), py_state_6(ab)(7), py_state_6(ab)(8), py_state_6(ab)(11),
py_state_6(ab)(12), py_state_6(ab)(15), py_state_6(ab)(25), py_state_6(ab)(36),
py_state_6(ab)(38), py_state_6(ab)(39), py_state_6(ab)(40), py_state_6(ab)(41),
py_state_6(ab)(43), py_state_6(ab)(44), py_state_6(ab)(45), py_state_6(ab)(46),
py_state_6(ab)(47), py_state_6(ab)(50), py_state_6(ab)(53), py_state_6(ab)(57),
py_state_6(ab)(59), py_state_6(ab)(60), py_state_6(ab)(61),
py_state_87(ab)(107), py_state_6(ab)(62), py_state_6(ab)(106),
py_state_6(ab)(63), py_state_6(ab)(64), py_state_6(ab)(73), py_state_6(ab)(72),
py_state_6(ab)(74), py_state_6(ab)(82), py_state_6(ab)(84), py_state_6(ab)(85),
py_state_6(ab)(86), py_state_6(ab)(87), py_state_6(ab)(90), py_state_6(ab)(93),
py_state_6(ab)(97), py_state_6(ab)(99), py_state_6(ab)(100),
py_state_6(ab)(101), py_state_6(ab)(103), py_state_6(ab)(105),
py_state_6(ab)(9), py_state_6(ab)(10), (18), (22), (28), (32),
py_state_6(ab)(67), py_state_6(ab)(71), py_state_6(ab)(77), py_state_6(ab)(81)>

...


-- 
           Summary: [4.3 Regression] verify_stmts failed: missing PHI def
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, ice-checking
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-10-11 09:51 -------
Created an attachment (id=14338)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14338&action=view)
testcase (unreduced)

Reducing.


-- 


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-10-11 10:12 -------
Reduced testcase, fails with -O:

./cc1plus -quiet -O incomingscript.3.min.ii -m32
incomingscript.3.min.ii: In function 'void run()':
incomingscript.3.min.ii:41: error: missing PHI def
py_state_1(ab) = PHI <py_state_2(ab)(2), py_state_4(ab)(4), py_state_4(ab)(13),
py_state_4(ab)(12), (6), (7)>

incomingscript.3.min.ii:41: error: missing PHI def
py_state_1(ab) = PHI <py_state_2(ab)(2), py_state_4(ab)(4), py_state_4(ab)(13),
py_state_4(ab)(12), (6), (7)>

incomingscript.3.min.ii:41: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

This check was added by Alexandre with

2007-10-06  Alexandre Oliva  <aoliva@redhat.com>

        PR tree-optimization/33572
        * tree-cfg.c (verify_stmts): Check for missing PHI defs.
        * tree-inline.c (update_ssa_across_eh_edges): Renamed to...
        (update_ssa_across_abnormal_edges): ... this.  Set slots in the
        return PHI node.
        (copy_edges_for_bb): Handle nonlocal label edges.
        (make_nonlocal_label_edges): Deleted.
        (optimize_inline_calls): Don't call it.



---------------

typedef struct _ts { } PyThreadState;
PyThreadState * Py_NewInterpreter(void);
void Py_EndInterpreter(PyThreadState *);
typedef int _Atomic_word;
_Atomic_word __exchange_and_add(volatile _Atomic_word*, int);
namespace std __attribute__ ((__visibility__ ("default"))) {
    template<typename _Alloc>     class allocator;
    template<class _CharT>     struct char_traits;
    template<typename _CharT, typename _Traits = char_traits<_CharT>, typename
_Alloc = allocator<_CharT> > class basic_string;
    typedef basic_string<char> string;
    template<typename _Tp>     class allocator {
    public:
        ~allocator() throw() { }
    };
    template<typename _CharT, typename _Traits, typename _Alloc>
    class basic_string
    {
        typedef _Alloc allocator_type;
        struct _Rep {
            void  _M_dispose(const _Alloc& __a)  {
                if (__exchange_and_add(&this->_M_refcount, -1) <= 0)
                    _M_destroy(__a);
            }
            void  _M_destroy(const _Alloc&) throw();
            _Atomic_word _M_refcount;
        };
        _Rep* _M_rep() const;
    public:
        basic_string(const _CharT* __s, const _Alloc& __a = _Alloc());
        ~basic_string()       {
            _M_rep()->_M_dispose(this->get_allocator());
        }
        allocator_type get_allocator();
    };
};
class ApplicationError {
public:
    ApplicationError(std::string errormsg) : errormsg(errormsg)  { }
    std::string errormsg;
};
void run()
{
    PyThreadState *py_state=__null;
    try {
        if (!(py_state=Py_NewInterpreter()))
            throw ApplicationError("error");
    }
    catch(ApplicationError e) {
        Py_EndInterpreter(py_state);
    }
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aoliva at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-10-11 10:36 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-10-11 10:36:13
               date|                            |


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[aoliva at gcc dot gnu dot org]

-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aoliva at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-10-11 10:36:13         |2007-10-12 04:19:33
               date|                            |


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[aoliva at gcc dot gnu dot org]

------- Comment #4 from aoliva at gcc dot gnu dot org  2007-10-13 18:37 -------
Proposed patch at http://gcc.gnu.org/ml/gcc-patches/2007-10/msg00802.html


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[aoliva at gcc dot gnu dot org]

------- Comment #5 from aoliva at gcc dot gnu dot org  2007-10-15 17:07 -------
Subject: Bug 33735

Author: aoliva
Date: Mon Oct 15 17:07:20 2007
New Revision: 129356

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129356
Log:
gcc/ChangeLog:
PR tree-optimization/33735
PR tree-optimization/33572
* tree-inline.c (update_ssa_across_abnormal_edges): Revert
2007-10-09's change.
* except.c (duplicate_eh_regions): Don't look for prev_try
beyond ERT_ALLOWED_EXCEPTIONS with an empty list.
gcc/testsuite/ChangeLog:
PR tree-optimization/33735
* g++.dg/torture/pr33735.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr33735.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/except.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c


-- 


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[aoliva at gcc dot gnu dot org]

------- Comment #6 from aoliva at gcc dot gnu dot org  2007-10-15 17:12 -------
Fixed.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |FIXED


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

[Bug tree-optimization/33735] [4.3 Regression] verify_stmts failed: missing PHI def

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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