[Bug c++/26036] New: Treating a class object as a function with member variables causes hang

[Bug c++/26036] New: Treating a class object as a function with member variables causes hang

[ben at pc-doctor dot com]

The following code, while invalid, causes g++ >= 4.0.0 to hang while compiling.
 Please note that "i" is also undeclared.  GCC 3.4.4 errors out as expected.


class TestClass {
public:
        int m_z;
};

class WrapperClass {
public:
        TestClass m_test;
};

int main()
{
   WrapperClass wrapper0(TestClass(i));
   return wrapper0().m_test.m_z++;
}


-- 
           Summary: Treating a class object as a function with member
                    variables causes hang
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ben at pc-doctor dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/26036] Treating a class object as a function with member variables causes hang

[ben at pc-doctor dot com]

------- Comment #1 from ben at pc-doctor dot com  2006-01-30 17:41 -------
(In reply to comment #0)
>  Please note that "i" is also undeclared. 
Err, i is not a variable.... so ignore that statement.  I am assuming gcc is
treating the "WrapperClass wrapper0(TestClass(i));" as a declaration instead of
instantiation.  Still, the compiler should not hang.


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-01-30 18:07 -------
I don't get a hang but I do get an ICE after some errors.


Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |
 GCC target triplet|i686-pc-linux-gnu           |
           Keywords|                            |error-recovery, ice-on-
                   |                            |invalid-code
      Known to fail|                            |4.0.3 4.1.0 4.2.0
      Known to work|                            |3.4.0 3.3.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-30 18:07:47
               date|                            |
            Summary|Treating a class object as a|[4.0/4.1/4.2 Regression]
                   |function with member        |Treating a class object as a
                   |variables causes hang       |function with member
                   |                            |variables causes hang
   Target Milestone|---                         |4.1.0


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2006-01-31 02:44 -------
This is a relatively low priority regression; we get valid errors before the
crash.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED
           Priority|P3                          |P2


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2006-02-02 09:54 -------
Here's a simpler testcase with only one error:

=======================
struct A
{
    int i;
};

A foo(int);

void bar()
{
    foo().i;
}
=======================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2006-02-24 00:26 -------
This issue will not be resolved in GCC 4.1.0; retargeted at GCC 4.1.1.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |4.1.1


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2006-04-19 09:34 -------
Mark,
are you really working on this one or did you only accidentally assign the PR
to
you? The following fixes the problem for me and allows to get rid of
error_mark_list as it is then unused:

===================================================================
--- gcc/gcc/cp/typeck.c 2006-04-18 17:32:06 +0200
+++ gcc/gcc/cp/typeck.c 2006-04-18 17:32:31 +0200
@@ -2788,7 +2788,7 @@ convert_arguments (tree typelist, tree v
            }
          else
            error ("too few arguments to function");
-         return error_mark_list;
+         return error_mark_node;
        }
     }

===================================================================


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[mark at codesourcery dot com]

------- Comment #7 from mark at codesourcery dot com  2006-04-19 16:57 -------
Subject: Re:  [4.0/4.1/4.2 Regression] Treating a class object
 as a function with member variables causes hang

reichelt at gcc dot gnu dot org wrote:
> ------- Comment #6 from reichelt at gcc dot gnu dot org  2006-04-19 09:34 -------
> Mark,
> are you really working on this one or did you only accidentally assign the PR
> to
> you? 

Well, I planned to fix it before the next release, but I wasn't actually
doing anything on it.  You're always welcome to fix my bugs. :-)

> The following fixes the problem for me and allows to get rid of
> error_mark_list as it is then unused:
> 
> ===================================================================
> --- gcc/gcc/cp/typeck.c 2006-04-18 17:32:06 +0200
> +++ gcc/gcc/cp/typeck.c 2006-04-18 17:32:31 +0200
> @@ -2788,7 +2788,7 @@ convert_arguments (tree typelist, tree v
>             }
>           else
>             error ("too few arguments to function");
> -         return error_mark_list;
> +         return error_mark_node;
>         }
>      }

I can't argue with that. :-)  This patch, and the removal of
error_mark_list are fine.

Thanks,


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2006-04-19 17:37 -------
Subject: Bug 26036

Author: reichelt
Date: Wed Apr 19 17:36:59 2006
New Revision: 113087

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113087
Log:
        PR c++/26036
        * typeck.c (convert_arguments): Return error_mark_node instead of
        error_mark_list.
        * cp-tree.h (error_mark_list): Remove declaration.
        * decl.c (error_mark_list): Remove definition.
        (cxx_init_decl_processing): Do not initialize error_mark_list.

        * g++.dg/expr/call3.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/expr/call3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #9 from reichelt at gcc dot gnu dot org  2006-04-19 17:40 -------
Subject: Bug 26036

Author: reichelt
Date: Wed Apr 19 17:40:27 2006
New Revision: 113088

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113088
Log:
        PR c++/26036
        * typeck.c (convert_arguments): Return error_mark_node instead of
        error_mark_list.
        * cp-tree.h (error_mark_list): Remove declaration.
        * decl.c (error_mark_list): Remove definition.
        (cxx_init_decl_processing): Do not initialize error_mark_list.

        * g++.dg/expr/call3.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/expr/call3.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/cp-tree.h
    branches/gcc-4_1-branch/gcc/cp/decl.c
    branches/gcc-4_1-branch/gcc/cp/typeck.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #10 from reichelt at gcc dot gnu dot org  2006-04-19 17:43 -------
Subject: Bug 26036

Author: reichelt
Date: Wed Apr 19 17:43:01 2006
New Revision: 113089

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113089
Log:
        PR c++/26036
        * typeck.c (convert_arguments): Return error_mark_node instead of
        error_mark_list.
        * cp-tree.h (error_mark_list): Remove declaration.
        * decl.c (error_mark_list): Remove definition.
        (cxx_init_decl_processing): Do not initialize error_mark_list.

        * g++.dg/expr/call3.C: New test.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/g++.dg/expr/call3.C
Modified:
    branches/gcc-4_0-branch/gcc/cp/ChangeLog
    branches/gcc-4_0-branch/gcc/cp/cp-tree.h
    branches/gcc-4_0-branch/gcc/cp/decl.c
    branches/gcc-4_0-branch/gcc/cp/typeck.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[reichelt at gcc dot gnu dot org]

------- Comment #11 from reichelt at gcc dot gnu dot org  2006-04-19 17:46 -------
Fixed on mainline, 4.1 branch, and 4.0 branch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.1.1                       |4.0.4


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

[Bug c++/26036] [4.0/4.1/4.2 Regression] Treating a class object as a function with member variables causes hang

[patchapp at dberlin dot org]

------- Comment #12 from patchapp at dberlin dot org  2006-04-19 17:50 -------
Subject: Bug number PR c++/26036

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-04/msg00711.html


-- 


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