[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