http://llvm.org/bugs/show_bug.cgi?id=10242
Summary: Related result types for +class and -class
Product: clang
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P
Component: -New Bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
The following program should be able to infer which +test method is being
called, but Clang currently picks the first one arbitrarily.
//////
@interface Base
+ (Class)class;
- (Class)class;
@end
@interface X : Base
+ (float)test;
@end
@interface Y : Base
+ (char)test;
@end
int abc () {
return [[Y class] test];
}
int def (Y *y) {
return [[y class] test];
}
//////
(We could also extend this to +superclass while we're at it.)
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
