Enables verification of MemorySSA.
Declared in <llvm/Analysis/MemorySSA.h>
extern
bool VerifyMemorySSA;
The checks which this flag enables is exensive and disabled by default unless EXPENSIVE_CHECKS is defined. The flag -verify-memoryssa can be used to selectively enable the verification without re-compilation.