[LLVMbugs] [Bug 7474] New: checker-242 confused by 2x2 array initializer

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Jun 23 13:53:46 PDT 2010


           Summary: checker-242 confused by 2x2 array initializer
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tjw at omnigroup.com
                CC: llvmbugs at cs.uiuc.edu

Created an attachment (id=5095)
 --> (http://llvm.org/bugs/attachment.cgi?id=5095)
Test case

Compiling the attached test case yields an incorrect diagnostic, as far as I
can see:

/Volumes/Space/Shared/bungi/Downloads/checker-242/bin/clang  --analyze

circle_center.m:26:37: warning: The right operand of '*' is a garbage value
    double determinantN1 = N1[0][0] * N1[1][1] - N1[1][0] * N1[0][1];
                                    ^ ~~~~~~~~

The N1, N2 and N3 variables are 2x2 arrays of doubles with all four elements
initialized. Here it is saying that N1[1][1] is garbage, but it was

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