search

ramosian-glider / memory-sanitizer

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

Missing shadow checks for compile-time constants #10

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Code in insertCheck() does nothing when shadow is not an Instruction.
This fails to add a check when shadow is a compile-time constant.

At a high enough optimization level, it fails the following positive test:

int* p = malloc(int);
volatile int x = *p;

(*p) is compile-time (undef) value.

Original issue reported on code.google.com by euge...@google.com on 24 Dec 2012 at 9:13

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

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