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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed Apr 2 22:22:37 PDT 2008


           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, 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;}
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.

More information about the llvm-bugs mailing list