Skip to content

Commit 981c376

Browse files
[ObjC] Name lookup in methods shouldn't allow shadowing types
Arguably as a bug, Clang has previously not mixed up Objective-C parameter names with types. This allows developers to write parameter names that _should_ shadow type names, but don't. For instance: @interface Foo -(void)foo:(int)id bar:(id)name; // OK @EnD Commit 9778808 changed the way that parameters are parsed to bring it more in line with how C parameters are parsed, but it breaks the example above. Given an expectation that the change wouldn't introduce source breaks, this is not something we can go forward with. 977880... did this so that late-parsed attributes could reference Objective-C parameters. This change buffers Objective-C parameter info until after all parameters are parsed and turns them into parameter declarations before realizing late-parsed attributes instead. Radar-ID: 139996306
1 parent fdba5be commit 981c376

File tree

2 files changed

+20
-4
lines changed

2 files changed

+20
-4
lines changed

clang/lib/Parse/ParseObjc.cpp

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1455,7 +1455,7 @@ Decl *Parser::ParseObjCMethodDecl(SourceLocation mLoc,
14551455

14561456
SmallVector<const IdentifierInfo *, 12> KeyIdents;
14571457
SmallVector<SourceLocation, 12> KeyLocs;
1458-
SmallVector<ParmVarDecl *, 12> ObjCParamInfo;
1458+
SmallVector<SemaObjC::ObjCArgInfo, 12> ArgInfos;
14591459
ParseScope PrototypeScope(this, Scope::FunctionPrototypeScope |
14601460
Scope::FunctionDeclarationScope | Scope::DeclScope);
14611461

@@ -1496,9 +1496,7 @@ Decl *Parser::ParseObjCMethodDecl(SourceLocation mLoc,
14961496
ArgInfo.NameLoc = Tok.getLocation();
14971497
ConsumeToken(); // Eat the identifier.
14981498

1499-
ParmVarDecl *Param = Actions.ObjC().ActOnMethodParmDeclaration(
1500-
getCurScope(), ArgInfo, ObjCParamInfo.size(), MethodDefinition);
1501-
ObjCParamInfo.push_back(Param);
1499+
ArgInfos.push_back(ArgInfo);
15021500
KeyIdents.push_back(SelIdent);
15031501
KeyLocs.push_back(selLoc);
15041502

@@ -1558,6 +1556,17 @@ Decl *Parser::ParseObjCMethodDecl(SourceLocation mLoc,
15581556
nullptr));
15591557
}
15601558

1559+
// Turn ArgInfos into parameters. This must happen after parsing all
1560+
// parameters for bug compatibility with previous versions of Clang. (For
1561+
// instance, if a method declares a parameter called "id", that parameter must
1562+
// not shadow the "id" type.)
1563+
SmallVector<ParmVarDecl *, 12> ObjCParamInfo;
1564+
for (auto &ArgInfo : ArgInfos) {
1565+
ParmVarDecl *Param = Actions.ObjC().ActOnMethodParmDeclaration(
1566+
getCurScope(), ArgInfo, ObjCParamInfo.size(), MethodDefinition);
1567+
ObjCParamInfo.push_back(Param);
1568+
}
1569+
15611570
// FIXME: Add support for optional parameter list...
15621571
// If attributes exist after the method, parse them.
15631572
MaybeParseAttributes(PAKM_CXX11 | (getLangOpts().ObjC ? PAKM_GNU : 0),
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s
2+
3+
4+
@interface Foo
5+
-(void)paramNamedID:(int)id usesIDType:(id)notShadowed;
6+
-(void)paramNamedID:(int)id, id notShadowed; // expected-warning{{use of C-style parameters in Objective-C method declarations is deprecated}}
7+
@end

0 commit comments

Comments
 (0)