forked from OSchip/llvm-project
0e7dde535d
performs name lookup for an identifier and resolves it to a
type/expression/template/etc. in the same step. This scheme is
intended to improve both performance (by reducing the number of
redundant name lookups for a given identifier token) and error
recovery (by giving Sema a chance to correct type names before the
parser has decided that the identifier isn't a type name). For
example, this allows us to properly typo-correct type names at the
beginning of a statement:
t.c:6:3: error: use of undeclared identifier 'integer'; did you mean
'Integer'?
integer *i = 0;
^~~~~~~
Integer
t.c:1:13: note: 'Integer' declared here
typedef int Integer;
^
Previously, we wouldn't give a Fix-It because the typo correction
occurred after the parser had checked whether "integer" was a type
name (via Sema::getTypeName(), which isn't allowed to typo-correct)
and therefore decided to parse "integer * i = 0" as an expression. By
typo-correcting earlier, we typo-correct to the type name Integer and
parse this as a declaration.
Moreover, in this context, we can also typo-correct identifiers to
keywords, e.g.,
t.c:7:3: error: use of undeclared identifier 'vid'; did you mean
'void'?
vid *p = i;
^~~
void
and recover appropriately.
Note that this is very much a work-in-progress. The new
Sema::ClassifyName is only used for expression-or-declaration
disambiguation in C at the statement level. The next steps will be to
make this work for the same disambiguation in C++ (where
functional-style casts make some trouble), then push it
further into the parser to eliminate more redundant name lookups.
Fixes <rdar://problem/7963833> for C and starts us down the path of
<rdar://problem/8172000>.
llvm-svn: 130082
|
||
|---|---|---|
| .. | ||
| AnalysisBasedWarnings.cpp | ||
| AttributeList.cpp | ||
| CMakeLists.txt | ||
| CodeCompleteConsumer.cpp | ||
| DeclSpec.cpp | ||
| DelayedDiagnostic.cpp | ||
| IdentifierResolver.cpp | ||
| JumpDiagnostics.cpp | ||
| Makefile | ||
| Sema.cpp | ||
| SemaAccess.cpp | ||
| SemaAttr.cpp | ||
| SemaCXXCast.cpp | ||
| SemaCXXScopeSpec.cpp | ||
| SemaChecking.cpp | ||
| SemaCodeComplete.cpp | ||
| SemaDecl.cpp | ||
| SemaDeclAttr.cpp | ||
| SemaDeclCXX.cpp | ||
| SemaDeclObjC.cpp | ||
| SemaExceptionSpec.cpp | ||
| SemaExpr.cpp | ||
| SemaExprCXX.cpp | ||
| SemaExprObjC.cpp | ||
| SemaInit.cpp | ||
| SemaLookup.cpp | ||
| SemaObjCProperty.cpp | ||
| SemaOverload.cpp | ||
| SemaStmt.cpp | ||
| SemaTemplate.cpp | ||
| SemaTemplateDeduction.cpp | ||
| SemaTemplateInstantiate.cpp | ||
| SemaTemplateInstantiateDecl.cpp | ||
| SemaTemplateVariadic.cpp | ||
| SemaType.cpp | ||
| TargetAttributesSema.cpp | ||
| TargetAttributesSema.h | ||
| TreeTransform.h | ||
| TypeLocBuilder.h | ||