[LLVMbugs] [Bug 10242] New: Related result types for +class and -class

[bugzilla-daemon at llvm.org]

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: unassignedclangbugs at nondot.org
        ReportedBy: jediknil at belkadan.com
                CC: llvmbugs at cs.uiuc.edu


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.