diff --git a/clang/lib/Lex/Lexer.cpp b/clang/lib/Lex/Lexer.cpp index 3b1149c08af3..608bd9d0c5cd 100644 --- a/clang/lib/Lex/Lexer.cpp +++ b/clang/lib/Lex/Lexer.cpp @@ -679,9 +679,17 @@ SourceLocation Lexer::AdvanceToTokenCharacter(SourceLocation TokStart, SourceLocation Lexer::getLocForEndOfToken(SourceLocation Loc, unsigned Offset, const SourceManager &SM, const LangOptions &Features) { - if (Loc.isInvalid() || !Loc.isFileID()) + if (Loc.isInvalid()) return SourceLocation(); - + + if (Loc.isMacroID()) { + if (Offset > 0 || !SM.isAtEndOfMacroInstantiation(Loc)) + return SourceLocation(); // Points inside the macro instantiation. + + // Continue and find the location just after the macro instantiation. + Loc = SM.getInstantiationRange(Loc).second; + } + unsigned Len = Lexer::MeasureTokenLength(Loc, SM, Features); if (Len > Offset) Len = Len - Offset; diff --git a/clang/test/Parser/recovery.c b/clang/test/Parser/recovery.c index 1b33f0225bce..831687dcfcae 100644 --- a/clang/test/Parser/recovery.c +++ b/clang/test/Parser/recovery.c @@ -74,6 +74,11 @@ void foo() { X = 4 // expected-error{{expected ';' after expression}} } +// rdar://9045701 +void test9045701(int x) { +#define VALUE 0 + x = VALUE // expected-error{{expected ';' after expression}} +} // rdar://7980651 typedef int intptr_t; // expected-note {{'intptr_t' declared here}}