mirrors/ldc
1
0
Fork 0
mirror of https://github.com/ldc-developers/ldc.git synced 2025-05-01 15:40:55 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix crash due to invalid iterators in DtoEnclosingHandlers

Browse source 
Unfortunately, I could not manage to isolate a self-contained
test case. The bug is quite specific to the exact memory
allocation decisions made by the standard library, as it will
not occur if the elements appended by the finally block codegen
fit into the current capacity.
This commit is contained in:
David Nadlinger 2015-08-09 19:35:37 +02:00
parent 284d5ac441
commit 553ce18a5e
1 changed files with 15 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

27
gen/llvmhelpers.cpp
View file

@ -284,17 +284,20 @@ void DtoEnclosingHandlers(Loc& loc, Statement* target)
if (lblstmt)
target = lblstmt->enclosingScopeExit;
// figure out up until what handler we need to emit
FuncGen::TargetScopeVec::reverse_iterator targetit = gIR->func()->gen->targetScopes.rbegin();
FuncGen::TargetScopeVec::reverse_iterator it_end = gIR->func()->gen->targetScopes.rend();
while(targetit != it_end) {
if (targetit->s == target) {
// Figure out up until what handler we need to emit. Note that we need to
// use use indices instead of iterators in the loop where we actually emit
// them, as emitCode() might itself push/pop from the vector if it contains
// control flow and and thus invalidate the latter.
FuncGen::TargetScopeVec& scopes = gIR->func()->gen->targetScopes;
size_t remainingScopes = scopes.size();
while (remainingScopes != 0) {
if (scopes[remainingScopes - 1].s == target) {
break;
}
++targetit;
--remainingScopes;
}
if (target && targetit == it_end) {
if (target && !remainingScopes) {
if (lblstmt)
error(loc, "cannot goto into try, volatile or synchronized statement at %s", target->loc.toChars());
else
@ -309,12 +312,12 @@ void DtoEnclosingHandlers(Loc& loc, Statement* target)
// since the labelstatements possibly inside are private
// and might already exist push a label scope
gIR->func()->gen->pushUniqueLabelScope("enclosing");
FuncGen::TargetScopeVec::reverse_iterator it = gIR->func()->gen->targetScopes.rbegin();
while (it != targetit) {
if (it->enclosinghandler)
it->enclosinghandler->emitCode(gIR);
++it;
for (size_t i = scopes.size(); i > remainingScopes; --i) {
EnclosingTryFinally *tf = scopes[i - 1].enclosinghandler;
if (tf) tf->emitCode(gIR);
}
gIR->func()->gen->popLabelScope();
}