[LLVMbugs] [Bug 7945] New: false positive - The left expression of the compound assignment is an unitialized value. The computed value will also be garbage

[bugzilla-daemon at llvm.org]

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

           Summary: false positive - The left expression of the compound
                    assignment is an unitialized value.    The computed
                    value will also be garbage
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: LetterRip at gmail.com
                CC: llvmbugs at cs.uiuc.edu


following code gives 'The left expression of the compound assignment is an
unitialized value.  The computed value will also be garbage'

Since vec is initialized at the beggining of the function this appears to be a
false positive?

void test(float rad)
{
    float vec[7][2]= {{0.195, 0.02}, {0.383, 0.067}, {0.55, 0.169}, {0.707,
0.293},
                      {0.831, 0.45}, {0.924, 0.617}, {0.98, 0.805}};
    int a;

    for(a=0; a<7; a++) {
        vec[a][0]*= rad; vec[a][1]*= rad;
    }
}

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