6109140b00
void func() {
int xx = xx; // incorrectly diagnosed 'xx' as an undeclared identifier.
}
This smallish bug resulted in a largish fix. Here are some highlights:
- Needed to make sure ParseDeclarator is called *before* parsing any
initializer. Removed the "Init" argument to ParseDeclarator.
- Added AddInitializerToDecl() to the Action & Sema classes.
In Sema, this hook is responsible for validating the initializer and
installing it into the respective decl.
- Moved several semantic checks from ParseDeclarator() to
FinalizeDeclaratorGroup(). Previously, this hook was only responsible for
reversing a list. Now it plays a much larger semantic role.
All of the above changes ended up simplifying ParseDeclarator(), which
is goodness...
llvm-svn: 41877
56 lines
1.9 KiB
C++
56 lines
1.9 KiB
C++
//===--- PrintParserActions.cpp - Implement -parse-print-callbacks mode ---===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file was developed by Chris Lattner and is distributed under
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This code simply runs the preprocessor on the input file and prints out the
|
|
// result. This is the traditional behavior of the -E option.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "clang.h"
|
|
#include "clang/Lex/IdentifierTable.h"
|
|
#include "clang/Parse/Action.h"
|
|
#include "clang/Parse/DeclSpec.h"
|
|
#include <iostream>
|
|
using namespace clang;
|
|
|
|
namespace {
|
|
class ParserPrintActions : public MinimalAction {
|
|
|
|
/// ParseDeclarator - This callback is invoked when a declarator is parsed
|
|
/// and 'Init' specifies the initializer if any. This is for things like:
|
|
/// "int X = 4" or "typedef int foo".
|
|
virtual DeclTy *ParseDeclarator(Scope *S, Declarator &D,
|
|
DeclTy *LastInGroup) {
|
|
std::cout << "ParseDeclarator ";
|
|
if (IdentifierInfo *II = D.getIdentifier()) {
|
|
std::cout << "'" << II->getName() << "'";
|
|
} else {
|
|
std::cout << "<anon>";
|
|
}
|
|
std::cout << "\n";
|
|
|
|
// Pass up to EmptyActions so that the symbol table is maintained right.
|
|
return MinimalAction::ParseDeclarator(S, D, LastInGroup);
|
|
}
|
|
|
|
/// PopScope - This callback is called immediately before the specified scope
|
|
/// is popped and deleted.
|
|
virtual void PopScope(SourceLocation Loc, Scope *S) {
|
|
std::cout << "PopScope\n";
|
|
|
|
// Pass up to EmptyActions so that the symbol table is maintained right.
|
|
MinimalAction::PopScope(Loc, S);
|
|
}
|
|
};
|
|
}
|
|
|
|
MinimalAction *clang::CreatePrintParserActionsAction() {
|
|
return new ParserPrintActions();
|
|
}
|