[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien.chene at gmail dot com]

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

Fabien Chene <fabien.chene at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
      Known to fail|                            |

--- Comment #14 from Fabien Chene <fabien.chene at gmail dot com> 2010-11-12 14:27:36 UTC ---
Fixed.

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[jason at gcc dot gnu.org]

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

--- Comment #15 from Jason Merrill <jason at gcc dot gnu.org> 2011-09-23 21:30:52 UTC ---
Author: jason
Date: Fri Sep 23 21:30:48 2011
New Revision: 179130

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179130
Log:
    Core 234 - allow const objects with no initializer or
    user-provided default constructor if the defaulted constructor
    initializes all the subobjects.
    PR c++/20039
    PR c++/42844
    * class.c (default_init_uninitialized_part): New.
    * cp-tree.h: Declare it.
    * decl.c (check_for_uninitialized_const_var): Use it.
    * init.c (perform_member_init): Likewise.
    (build_new_1): Likewise.
    * method.c (walk_field_subobs): Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/init/const8.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/init.c
    trunk/gcc/cp/method.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-object1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/defaulted2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr42844-2.C
    trunk/gcc/testsuite/g++.dg/init/pr20039.C
    trunk/gcc/testsuite/g++.dg/init/pr42844.C

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[jason at gcc dot gnu.org]

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

--- Comment #16 from Jason Merrill <jason at gcc dot gnu.org> 2011-09-25 20:29:09 UTC ---
Author: jason
Date: Sun Sep 25 20:29:04 2011
New Revision: 179170

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179170
Log:
    Core 234 - allow const objects with no initializer or
    user-provided default constructor if the defaulted constructor
    initializes all the subobjects.
    PR c++/20039
    PR c++/42844
    * class.c (default_init_uninitialized_part): New.
    * cp-tree.h: Declare it.
    * decl.c (check_for_uninitialized_const_var): Use it.
    * init.c (perform_member_init): Likewise.
    (build_new_1): Likewise.
    * method.c (walk_field_subobs): Likewise.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/init/const8.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/class.c
    branches/gcc-4_6-branch/gcc/cp/cp-tree.h
    branches/gcc-4_6-branch/gcc/cp/decl.c
    branches/gcc-4_6-branch/gcc/cp/init.c
    branches/gcc-4_6-branch/gcc/cp/method.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-object1.C
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/defaulted2.C
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/pr42844-2.C
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/init/pr42844.C
    branches/gcc-4_6-branch/gcc/testsuite/lib/prune.exp

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[potswa at mac dot com]

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

David Krauss <potswa at mac dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |potswa at mac dot com

--- Comment #17 from David Krauss <potswa at mac dot com> ---
The changelog should refer to CWG DR 253, not 234.

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[jason at gcc dot gnu dot org]

------- Comment #13 from jason at gcc dot gnu dot org  2010-04-27 18:56 -------
Subject: Bug 42844

Author: jason
Date: Tue Apr 27 18:56:13 2010
New Revision: 158797

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158797
Log:
        PR c++/42844
        * decl.c (check_for_uninitialized_const_var): Handle classes that need
        constructing, too.
        (check_initializer): Call it for classes that need constructing, too.
        * class.c (in_class_defaulted_default_constructor): New.
        * cp-tree.h: Declare it.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr42844-2.C
    trunk/gcc/testsuite/g++.dg/init/pr42844.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/defaulted2.C
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr27549.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/dyncast8.C
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/src/future.cc
    trunk/libstdc++-v3/src/system_error.cc
    trunk/libstdc++-v3/testsuite/util/testsuite_error.h


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #12 from fabien dot chene at gmail dot com  2010-04-20 22:49 -------
updated patch here:
http://gcc.gnu.org/ml/gcc-patches/2010-04/msg01148.html


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #11 from fabien dot chene at gmail dot com  2010-04-12 20:45 -------
Patch here:
http://gcc.gnu.org/ml/gcc-patches/2010-04/msg00604.html


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #10 from fabien dot chene at gmail dot com  2010-03-30 16:47 -------
> reduced testcase for this one:
> 
> struct A {};
> 
> void f()
> {
>   A const a;
> }

I misspoke, let's keep the original testcase.


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #9 from fabien dot chene at gmail dot com  2010-03-30 14:11 -------
(In reply to comment #8)
> you should have the option "Accept bug" below the comment box.  
> I've done it for you

I've just seen it since you did it for me (thanks), but I still can't do it by
myself for other bugs :-(

reduced testcase for this one:

struct A {};

void f()
{
  A const a;
}


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[redi at gcc dot gnu dot org]

------- Comment #8 from redi at gcc dot gnu dot org  2010-03-30 11:56 -------
you should have the option "Accept bug" below the comment box.  I've done it
for you


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |fabien dot chene at gmail
                   |dot org                     |dot com
             Status|NEW                         |ASSIGNED


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #7 from fabien dot chene at gmail dot com  2010-03-30 11:51 -------
(In reply to comment #6)
> Subject: Re:  const variable requires initializer / no
>  explicitly declared default constructor
> 
> > I'm working on this bug
> 
> Could you please assign it to yourself then?
> Thanks.

I would be glad to know how to do that :-)


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[dodji at redhat dot com]

------- Comment #6 from dodji at gcc dot gnu dot org  2010-03-30 11:44 -------
Subject: Re:  const variable requires initializer / no
 explicitly declared default constructor

> I'm working on this bug

Could you please assign it to yourself then?
Thanks.


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[fabien dot chene at gmail dot com]

------- Comment #5 from fabien dot chene at gmail dot com  2010-03-30 11:40 -------
I'm working on this bug


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2010-01-22 15:56 -------
And PR 29043.


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2010-01-22 15:56 -------
Related to PR 25811.


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[redi at gcc dot gnu dot org]

------- Comment #2 from redi at gcc dot gnu dot org  2010-01-22 12:27 -------
N.B. the wording has moved in C++0x but the requirement is similar:

6 ... If a program calls for the default initialization of an object of a
const-qualified type T, T shall be a class type with a user-provided default
constructor.

11 If no initializer is specified for an object, the object is
default-initialized;


-- 


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

[Bug c++/42844] const variable requires initializer / no explicitly declared default constructor

[redi at gcc dot gnu dot org]

------- Comment #1 from redi at gcc dot gnu dot org  2010-01-22 11:57 -------
Confirmed, not a regression.

[dcl.init]/9:
If no initializer is specified for an object, and the object is of (possibly
cv-qualified) non-POD class type (or array thereof), the object shall be
default-initialized; if the object is of const-qualified type, the underlying
class type shall have a user-declared default constructor.


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |accepts-invalid
      Known to fail|                            |4.1.2 4.4.2
   Last reconfirmed|0000-00-00 00:00:00         |2010-01-22 11:57:37
               date|                            |


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