[LLVMbugs] [Bug 10163] false positive on partially initialized array of floating point values.

[bugzilla-daemon at llvm.org]

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

Jordy Rose <jediknil at belkadan.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jediknil at belkadan.com
         Resolution|                            |FIXED

--- Comment #1 from Jordy Rose <jediknil at belkadan.com> 2011-06-27 15:38:15 CDT ---
Since we don't model floats (yet), we were just skipping the
default-initialization step in RegionStore. Instead, we can use a default value
of UnknownVal to mark that the array has at least been initialized. Fixed in
r133937.

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