[LLVMbugs] [Bug 1859] -warn-uninit-values and "output" parameters

[bugzilla-daemon at cs.uiuc.edu]

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


Ted Kremenek <kremenek at cs.stanford.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




--- Comment #1 from Ted Kremenek <kremenek at cs.stanford.edu>  2007-12-12 23:19:17 ---
Fixed in r44984 (http://llvm.org/viewvc/llvm-project?rev=44984&view=rev).

The problem here is that "salt" really refers to a memory block on the stack. 
This is valid, allocated memory, and so expressions such as "(char *) salt"
really do refer to a valid (i.e. initialized) pointer address.  What is
uninitialized is the contents of "salt", but these values are not being read
anyway (memcpy writes to them).  Further, the dataflow analysis does not reason
about the contents of arrays, as the precision needed for this requires more
machinery than what is employed by this simple dataflow analysis.


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