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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Mon Jun 27 13:38:16 PDT 2011


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

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