aboutsummaryrefslogtreecommitdiff
path: root/lib/Sema/SemaDeclCXX.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Sema/SemaDeclCXX.cpp')
-rw-r--r--lib/Sema/SemaDeclCXX.cpp18
1 files changed, 12 insertions, 6 deletions
diff --git a/lib/Sema/SemaDeclCXX.cpp b/lib/Sema/SemaDeclCXX.cpp
index 27632a1a57..94177b1d12 100644
--- a/lib/Sema/SemaDeclCXX.cpp
+++ b/lib/Sema/SemaDeclCXX.cpp
@@ -2072,12 +2072,6 @@ static bool CollectFieldInitializer(BaseAndFieldInfo &Info,
bool
Sema::SetDelegatingInitializer(CXXConstructorDecl *Constructor,
CXXCtorInitializer *Initializer) {
- Constructor->setNumCtorInitializers(1);
- CXXCtorInitializer **initializer =
- new (Context) CXXCtorInitializer*[1];
- memcpy(initializer, &Initializer, sizeof (CXXCtorInitializer*));
- Constructor->setCtorInitializers(initializer);
-
// FIXME: This doesn't catch indirect loops yet
CXXConstructorDecl *Target = Initializer->getTargetConstructor();
while (Target) {
@@ -2089,6 +2083,18 @@ Sema::SetDelegatingInitializer(CXXConstructorDecl *Constructor,
Target = Target->getTargetConstructor();
}
+ // We do the cycle detection first so that we know that we're not
+ // going to create a cycle by inserting this link. This ensures that
+ // the AST is cycle-free and we don't get a scenario where we have
+ // a B -> C -> B cycle and then add an A -> B link and get stuck in
+ // an infinite loop as we check for cycles with A and never get there
+ // because we get stuck in a cycle not including A.
+ Constructor->setNumCtorInitializers(1);
+ CXXCtorInitializer **initializer =
+ new (Context) CXXCtorInitializer*[1];
+ memcpy(initializer, &Initializer, sizeof (CXXCtorInitializer*));
+ Constructor->setCtorInitializers(initializer);
+
return false;
}