[Bug c++/20721] New: [regression from 3.4.2 to 3.4.3] crossing of a initialization left undetected on goto

[Bug c++/20721] New: [regression from 3.4.2 to 3.4.3] crossing of a initialization left undetected on goto

[nefercheprure at gmail dot com]

the error ``crosses initialization of `...''' is wrongly omited

-- 
           Summary: [regression from 3.4.2 to 3.4.3] crossing of a
                    initialization left undetected on goto
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nefercheprure at gmail dot com
                CC: gcc-bugs at gcc dot gnu dot org
 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=20721

[Bug c++/20721] [regression from 3.4.2 to 3.4.3] crossing of a initialization left undetected on goto

[nefercheprure at gmail dot com]

------- Additional Comments From nefercheprure at gmail dot com  2005-04-01 19:22 -------
Created an attachment (id=8509)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8509&action=view)
the preprocessed file that demonstrates the regression

g++ -v -c logger.cc produces this message:

Reading specs from /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/specs
Configured with: /var/tmp/portage/gcc-3.4.3/work/gcc-3.4.3/configure
--enable-version-specific-runtime-libs --prefix=/usr
--bindir=/usr/i686-pc-linux-gnu/gcc-bin/3.4.3
--includedir=/usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include
--datadir=/usr/share/gcc-data/i686-pc-linux-gnu/3.4
--mandir=/usr/share/gcc-data/i686-pc-linux-gnu/3.4/man
--infodir=/usr/share/gcc-data/i686-pc-linux-gnu/3.4/info
--with-gxx-include-dir=/usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include/g++-v3
--host=i686-pc-linux-gnu --disable-altivec --enable-nls
--without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu
--with-system-zlib --disable-checking --disable-werror
--disable-libunwind-exceptions --enable-shared --enable-threads=posix
--disable-multilib --disable-libgcj --enable-languages=c,c++,f77
Thread model: posix
gcc version 3.4.3  (Gentoo Linux 3.4.3, ssp-3.4.3-0, pie-8.7.6.6)
 /usr/libexec/gcc/i686-pc-linux-gnu/3.4.3/cc1plus -quiet -v -D_GNU_SOURCE
logger.cc -mno-sse2 -quiet-dumpbase logger.cc -mtune=pentiumpro -auxbase logger
-version -o /tmp/cc6VhQ7m.s
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory
"/usr/lib/gcc/i686-pc-linux-gnu/3.4.3/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include/g++-v3
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include/g++-v3/i686-pc-linux-gnu
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include/g++-v3/backward
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include
 /usr/include
End of search list.
GNU C++ version 3.4.3  (Gentoo Linux 3.4.3, ssp-3.4.3-0, pie-8.7.6.6)
(i686-pc-linux-gnu)
	compiled by GNU C version 3.4.3  (Gentoo Linux 3.4.3, ssp-3.4.3-0,
pie-8.7.6.6).
GGC heuristics: --param ggc-min-expand=63 --param ggc-min-heapsize=63198
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/../../../../i686-pc-linux-gnu/bin/as -V
-Qy -o logger.o /tmp/cc6VhQ7m.s
GNU assembler version 2.15.90.0.1.1 (i686-pc-linux-gnu) using BFD version
2.15.90.0.1.1 20040303

it should report crossing of initialization of certain bool variables

-- 


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

[Bug c++/20721] [regression from 3.4.2 to 3.4.3] crossing of a initialization left undetected on goto

[nefercheprure at gmail dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
      Known to fail|                            |3.4.3
      Known to work|                            |3.4.2


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

[Bug c++/20721] [regression from 3.4.2 to 3.4.3] crossing of a initialization left undetected on goto

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-01 19:42 -------
There is at least an ICE on the mainline.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|accepts-invalid             |
      Known to fail|3.4.3                       |
      Known to work|3.4.2                       |


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-01 21:57 -------
Reduced testcase for the accepts invalid, I will then reduce the ICE on the mainline soon (note you have 
some other invalid code in there):
bool f();
void g(int i)
{
  if (i) goto bad;
  bool a = f();
  bad:
  ;
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid
      Known to fail|                            |3.4.3 4.0.0
      Known to work|                            |3.4.0 3.4.2
   Last reconfirmed|0000-00-00 00:00:00         |2005-04-01 21:57:11
               date|                            |
            Summary|[regression from 3.4.2 to   |[3.4/4.0/4.1 Regression]
                   |3.4.3] crossing of a        |crossing of a initialization
                   |initialization left         |left undetected on goto
                   |undetected on goto          |
   Target Milestone|---                         |3.4.4


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-01 21:57 -------
: Search converges between 2004-10-26-161001-trunk (#611) and 2004-11-03-014001-trunk 
(#612).
: Search converges between 2004-10-28-004002-3.4 (#106) and 2004-11-01-004001-3.4 (#107).

-- 


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.4                       |3.4.5


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 21:13 -------
Moving to 4.0.2 pre Mark.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.5                       |4.0.2


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[cvs-commit at gcc dot gnu dot org]

------- Comment #8 from cvs-commit at gcc dot gnu dot org  2005-10-14 00:00 -------
Subject: Bug 20721

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 23:59:57

Modified files:
        gcc/cp         : cp-tree.h decl.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/init: goto2.C 

Log message:
        PR c++/20721
        * cp-tree.h (DECL_NONTRIVIALLY_INITIALIZED_P): New macro.
        * decl.c (duplicate_decls): Merge it into new declarations.
        (decl_jump_unsafe): Use it, rather than DECL_INITIAL.
        (cp_finish_decl): Set it, when appropriate.
        PR c++/20721
        * g++.dg/init/goto2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.h.diff?cvsroot=gcc&r1=1.1165&r2=1.1166
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1433&r2=1.1434
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4929&r2=1.4930
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/init/goto2.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6187&r2=1.6188


-- 


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[cvs-commit at gcc dot gnu dot org]

------- Comment #7 from cvs-commit at gcc dot gnu dot org  2005-10-13 23:59 -------
Subject: Bug 20721

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 23:59:36

Modified files:
        gcc/cp         : cp-tree.h decl.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/init: goto2.C 

Log message:
        PR c++/20721
        * cp-tree.h (DECL_NONTRIVIALLY_INITIALIZED_P): New macro.
        * decl.c (duplicate_decls): Merge it into new declarations.
        (decl_jump_unsafe): Use it, rather than DECL_INITIAL.
        (cp_finish_decl): Set it, when appropriate.
        PR c++/20721
        * g++.dg/init/goto2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.h.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1106.2.15&r2=1.1106.2.16
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1371.2.26&r2=1.1371.2.27
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.130&r2=1.4648.2.131
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/init/goto2.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.452&r2=1.5084.2.453


-- 


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

[Bug c++/20721] [3.4/4.0/4.1 Regression] crossing of a initialization left undetected on goto

[mmitchel at gcc dot gnu dot org]

------- Comment #6 from mmitchel at gcc dot gnu dot org  2005-10-13 09:06 -------
*** Bug 21491 has been marked as a duplicate of this bug. ***


-- 

mmitchel at gcc dot gnu dot org changed:

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


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