[Bug fortran/55057] [OOP] wrong result with abstract type

[janus at gcc dot gnu.org]

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

--- Comment #2 from janus at gcc dot gnu.org 2012-10-25 11:58:15 UTC ---
-fdump-tree-original shows that the correct code is generated for the call to
"alt" in the main program (involving _vptr->_size):


        {
          struct __class_m_At1 class.17;
          static real(kind=4) C.2125 = 1.5e+0;
          struct __class_m_At1 class.16;
          struct __class_m_At1 class.15;

          class.15._data = (struct at1 *) aa.at2.work._data.data + (sizetype)
((aa.at2.work._data.offset + 2) * (integer(kind=8)) aa.at2.work._vptr->_size);
          class.15._vptr = aa.at2.work._vptr;
          class.16._data = (struct at1 *) aa.at2.work._data.data + (sizetype)
((aa.at2.work._data.offset + 1) * (integer(kind=8)) aa.at2.work._vptr->_size);
          class.16._vptr = aa.at2.work._vptr;
          class.17._data = (struct at1 *) aa.at2.work._data.data + (sizetype)
((aa.at2.work._data.offset + 1) * (integer(kind=8)) aa.at2.work._vptr->_size);
          class.17._vptr = aa.at2.work._vptr;
          aa.at2.work._vptr->alt (&class.15, &class.16, &C.2125, &class.17);
        }


while wrong code is generated for the call to "alt" in "sub":


sub (struct __class_m_At2 & restrict var)
{
  {
    struct __class_m_At1 class.2;
    static real(kind=4) C.1988 = 1.5e+0;
    struct __class_m_At1 class.1;
    struct __class_m_At1 class.0;

    class.0._data = &(*(struct at1[0:] * restrict)
var->_data->work._data.data)[var->_data->work._data.offset + 2];
    class.0._vptr = var->_data->work._vptr;
    class.1._data = &(*(struct at1[0:] * restrict)
var->_data->work._data.data)[var->_data->work._data.offset + 1];
    class.1._vptr = var->_data->work._vptr;
    class.2._data = &(*(struct at1[0:] * restrict)
var->_data->work._data.data)[var->_data->work._data.offset + 1];
    class.2._vptr = var->_data->work._vptr;
    var->_data->work._vptr->alt (&class.0, &class.1, &C.1988, &class.2);
  }
}