http://llvm.org/bugs/show_bug.cgi?id=10163
Jordy Rose <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |[email protected] Resolution| |FIXED --- Comment #1 from Jordy Rose <[email protected]> 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. _______________________________________________ LLVMbugs mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
