[LLVMbugs] [Bug 13278] New: False positive "function call argument is an uninitialized value"

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Thu Jul 5 09:42:05 PDT 2012


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

             Bug #: 13278
           Summary: False positive "function call argument is an
                    uninitialized value"
           Product: clang
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: remy.demarest at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Here is the test code: https://gist.github.com/3054657

The requirements are:
- The TestStruct must have a structure as first field,
- The second field has to be an integer
- Initialize the "origin" variable to a value
- Set the structure field "strf" separately
- Make the "trigger" variable and initialize it to the "origin" value
- Make a function/block call taking the non-structure field "intf"

Although all the fields are properly initialized, you will get the diagnostic
"Function call argument is an uninitialized value" from the static analyzer.

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