Alexander Haase de1a134183 Check if MemorySanitizer is used on x86_64 Linux.
According to the MemorySanitizer documentation, it is only compatible with 64bit
Linux at the moment.
2016-04-06 19:32:45 +02:00
..