[llvm-g++] Cleanups and gotos don't mix properly

[llvmbot]

Bugzilla Link	291
Resolution	FIXED
Resolved on	Feb 22, 2010 12:41
Version	1.0
OS	All
Attachments	Preprocessed source
Reporter	LLVM Bugzilla Contributor

Extended Description

Ironically, compiling the attached testcase, derived from
tools/bugpoint/CrashDebugger.cpp results in a crash:

% llvm-g++ crash3.i -c
cc1plus: ../../gcc-3.4-cvs/gcc/llvm-expand.c:6647: llvm_expand_function_end:
Assertion Fn->ExpandInfo->GotoFixupList == 0 && "Goto fixups remain?"' failed. crash3.i: In function void foo()':
crash3.i:88: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See URL:http://llvm.cs.uiuc.edu for instructions.

I've narrowed down the template code for std::vector as much as I can, if you
see what else can be cut out, feel free to revise the attachment.

[llvmbot]

assigned to @lattner

[lattner]

Here's a reduced testcase:

struct X { ~X(); };

void foo() {
X v;

TryAgain:
for (;;)
;
goto TryAgain;
}

This actually looks like a Misha bug that is fixable for 1.2 maybe! :) :)

-Chris

[lattner]

Here's the testcase, further reduced:

struct X { ~X(); };
void foo() {
X v;
TryAgain:
goto TryAgain;
}

-Chris

[lattner]

Fixed. Patch here:
http://mail.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20040315/013173.html

Testcase here:
test/Regression/C++Frontend/2004-03-15-CleanupsAndGotos.cpp

Long live ll-bugpoint

-Chris