[LLVMbugs] [Bug 10239] New: False positive when object is initialized by a member function

[bugzilla-daemon at llvm.org]

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

           Summary: False positive when object is initialized by a member
                    function
           Product: clang
           Version: 2.9
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: geza at bitquad.com
                CC: llvmbugs at cs.uiuc.edu


Hi, 

this little code gives me an "operand is a garbage value" warning:

struct Stream {
    void read(char &b);
};

bool fn(Stream &s) {
    char z;
    s.read(z);
    return z==0;
}

If I remove the class "Stream", and use a global read function instead, I don't
a warning.

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