diff options
author | Chris Lattner <sabre@nondot.org> | 2005-03-09 17:34:27 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2005-03-09 17:34:27 +0000 |
commit | 76da61621c268be5f06045ae9eae7c9892c14045 (patch) | |
tree | ed0d747b92ec1fb1756e9e8ab8bceb3afe1f58f0 /lib/VMCore | |
parent | 50bc9ef507090176773aa323e4d2d9413cc9d223 (diff) |
correct the computation of the isAbstract bit for types.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20533 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
-rw-r--r-- | lib/VMCore/Type.cpp | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/lib/VMCore/Type.cpp b/lib/VMCore/Type.cpp index 875de4b6357..2bcda461617 100644 --- a/lib/VMCore/Type.cpp +++ b/lib/VMCore/Type.cpp @@ -481,8 +481,6 @@ namespace llvm { // PromoteAbstractToConcrete - This is a recursive function that walks a type // graph calculating whether or not a type is abstract. // -// This method returns true if the type is found to still be abstract. -// void Type::PromoteAbstractToConcrete() { if (!isAbstract()) return; @@ -505,7 +503,10 @@ void Type::PromoteAbstractToConcrete() { for (Type::subtype_iterator CI = SCC[i]->subtype_begin(), E = SCC[i]->subtype_end(); CI != E; ++CI) if ((*CI)->isAbstract()) - return; // Not going to be concrete, sorry. + // If the child type is in our SCC, it doesn't make the entire SCC + // abstract unless there is a non-SCC abstract type. + if (std::find(SCC.begin(), SCC.end(), *CI) == SCC.end()) + return; // Not going to be concrete, sorry. // Okay, we just discovered this whole SCC is now concrete, mark it as // such! @@ -513,6 +514,10 @@ void Type::PromoteAbstractToConcrete() { assert(SCC[i]->isAbstract() && "Why are we processing concrete types?"); SCC[i]->setAbstract(false); + } + + for (unsigned i = 0, e = SCC.size(); i != e; ++i) { + assert(!SCC[i]->isAbstract() && "Concrete type became abstract?"); // The type just became concrete, notify all users! cast<DerivedType>(SCC[i])->notifyUsesThatTypeBecameConcrete(); } |