[LLVMbugs] [Bug 3053] New: clang doesn't check foo(int a[static 10]) callers (C99)

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: clang doesn't check foo(int a[static 10]) callers (C99)
           Product: clang
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nunoplopes at sapo.pt
                CC: llvmbugs at cs.uiuc.edu


clang doesn't emit any warning for the following code:

void foo(int a[static 10]);

void bar() {
  int a[2];
  foo(a);
}

Per C99 standard, section 6.7.5.3, I believe clang should produce a warning in
the call stmt. (FWIW, gcc doesn't check it as well).


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