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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed Dec 12 21:19:17 PST 2007


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.

More information about the llvm-bugs mailing list