[Bug middle-end/21728] New: Nonlocal gotos between nested functions cause undefined labels in assembler output

[Bug middle-end/21728] New: Nonlocal gotos between nested functions cause undefined labels in assembler output

[hebisch at math dot uni dot wroc dot pl]

The following program:
void f(void)
{
  void p(void)
  {
  __label__ l1;
  void q(void)
  {
    goto l1;
  }

  l1:;
  }
  p();
}
int
main (void)
{
  f();
  return 0;
}
compiled using the following command line:
../gcc-lin/gcc/xgcc -B../gcc-lin/gcc/ c_jump2.c
gives me:
/tmp/ccSrSccf.o: In function `q.1137':
/tmp/ccSrSccf.o(.text+0x2d): undefined reference to `.L7'
collect2: ld returned 1 exit status

Output of ../gcc-lin/gcc/xgcc -B../gcc-lin/gcc/ -v:
Reading specs from ../gcc-lin/gcc/specs
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.0.0/configure --enable-languages=c
Thread model: posix
gcc version 4.0.0

The program works when I use `-O2' or `-O3' option (apparently
it works in unit at a time mode and does not work in function at
a time mode). 

The problem affects GNU Pascal, I found the above C program trying
to find out why I get the above error from Pascal programs.

-- 
           Summary: Nonlocal gotos between nested functions cause undefined
                    labels in assembler output
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hebisch at math dot uni dot wroc dot pl
                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=21728

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal gotos between nested functions cause undefined labels in assembler output

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-23 22:52 -------
tree-cfg is removing the BB for some reason.  I have no looked into why yet.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-05-23 22:53:00
               date|                            |
            Summary|Nonlocal gotos between      |[4.0/4.1 Regression]
                   |nested functions cause      |Nonlocal gotos between
                   |undefined labels in         |nested functions cause
                   |assembler output            |undefined labels in
                   |                            |assembler output
   Target Milestone|---                         |4.0.1


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal gotos between nested functions cause undefined labels in assembler output

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-01 00:26 -------
This was introduced with the merge of the tree-ssa.

-- 


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal gotos between nested functions cause undefined labels in assembler output

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-06-07 07:53 -------
I didn't even know we support multiple nesting like this...

-- 


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-07 20:11 -------
Reduced testcase:
int main (void)
{
  __label__ l1;
  void q(void)
  {
    goto l1;
  }

  l1:;
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1 Regression]        |[4.0/4.1 Regression]
                   |Nonlocal gotos between      |Nonlocal goto from an unused
                   |nested functions cause      |nested function
                   |undefined labels in         |
                   |assembler output            |


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-11 15:23 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2005-06/msg00737.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |06/msg00737.html
           Keywords|                            |patch


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-07-06 16:16 -------
Jan has withdrawn the patch mentioned here.

Changing target milestone to 4.0.2.

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


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[rth at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-05-23 22:53:00         |2005-08-05 21:21:46
               date|                            |


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-05 23:02 -------
Subject: Bug 21728

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	rth@gcc.gnu.org	2005-08-05 23:02:41

Modified files:
	gcc            : ChangeLog tree-cfg.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr21728.c 

Log message:
	PR 21728
	* tree-cfg.c (remove_bb): Transmute DECL_NONLOCAL labels into
	FORCED_LABEL labels.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.354&r2=2.7592.2.355
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.151.2.2&r2=2.151.2.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr21728.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-05 23:02 -------
Subject: Bug 21728

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-08-05 23:01:54

Modified files:
	gcc            : ChangeLog tree-cfg.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr21728.c 

Log message:
	PR 21728
	* tree-cfg.c (remove_bb): Transmute DECL_NONLOCAL labels into
	FORCED_LABEL labels.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9664&r2=2.9665
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&r1=2.214&r2=2.215
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr21728.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-08-05 23:08 -------
Fixed.

-- 


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-08-05 23:13 -------
"Problem occurs between user and keyboard."

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


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

[Bug middle-end/21728] [4.0/4.1 Regression] Nonlocal goto from an unused nested function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-25 23:07 -------
*** Bug 23568 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eanda at skynet dot be


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