search

ramosian-glider / memory-sanitizer

Automatically exported from code.google.com/p/memory-sanitizer
0 stars 0 forks source link

Missing origin for "undef" #75

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Ex.:
int64_t x = (int64_t)(double)kMaxInt64;
use(x);

x is compile-time "undef" because of the overflow.
We don't assign any origin value to it, report contains origin(0).

Original issue reported on code.google.com by euge...@google.com on 26 Nov 2014 at 4:14

GoogleCodeExporter commented 8 years ago 
Adding Project:MemorySanitizer as part of GitHub migration.

Original comment by gli...@google.com on 30 Jul 2015 at 9:22