Create a new Scope when parsing a declaration with a C++ scope specifier.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86764 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
John McCall 2009-11-11 00:21:18 +00:00
Родитель 0f9fed70ce
Коммит f7f3d0db75
3 изменённых файлов: 21 добавлений и 4 удалений

Просмотреть файл

@ -1226,13 +1226,18 @@ private:
Parser &P;
CXXScopeSpec &SS;
bool EnteredScope;
bool CreatedScope;
public:
DeclaratorScopeObj(Parser &p, CXXScopeSpec &ss)
: P(p), SS(ss), EnteredScope(false) {}
: P(p), SS(ss), EnteredScope(false), CreatedScope(false) {}
void EnterDeclaratorScope() {
assert(!EnteredScope && "Already entered the scope!");
assert(SS.isSet() && "C++ scope was not set!");
CreatedScope = true;
P.EnterScope(0); // Not a decl scope.
if (P.Actions.ActOnCXXEnterDeclaratorScope(P.CurScope, SS))
SS.setScopeRep(0);
@ -1245,6 +1250,8 @@ private:
assert(SS.isSet() && "C++ scope was cleared ?");
P.Actions.ActOnCXXExitDeclaratorScope(P.CurScope, SS);
}
if (CreatedScope)
P.ExitScope();
}
};

Просмотреть файл

@ -90,9 +90,6 @@ namespace {
assert(InnermostFileDC && InnermostFileDC->isFileContext());
for (; S; S = S->getParent()) {
if (!(S->getFlags() & Scope::DeclScope))
continue;
if (DeclContext *Ctx = static_cast<DeclContext*>(S->getEntity())) {
DeclContext *EffectiveDC = (Ctx->isFileContext() ? Ctx : InnermostFileDC);
visit(Ctx, EffectiveDC);

Просмотреть файл

@ -126,3 +126,16 @@ namespace test4 {
return foo(); // expected-error {{call to 'foo' is ambiguous}}
}
}
// Bug: using directives should be followed when parsing default
// arguments in scoped declarations.
class test5 {
int inc(int x);
};
namespace Test5 {
int default_x = 0;
}
using namespace Test5;
int test5::inc(int x = default_x) {
return x+1;
}