[LLVMbugs] [Bug 2189] New: Inconsistencies with array typedefs

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2189

           Summary: Inconsistencies with array typedefs
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sabre at nondot.org
                CC: llvmbugs at cs.uiuc.edu


>From Eli:

The testcases in
question are the following:
int x() {const int s[5]; int t[5]; return &s == &t;}
typedef int a[5]; int x() {const a s; a t; return &s == &t;}

Per C99 6.7.3.8, these are equivalent, and clang currently warns for the first,
but not the second.

Another similar case:
typedef int a[5]; typedef const int c[5];  int x() {a s; c* t; t = &s;}
vs.
typedef int a[5]; int x() {a s; const a* t; t = &s;}

Again equivalent, clang should warn either for both or for neither.


-- 
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.