search for: 5b05d894

Consider the following C code. When it is compiled using clang with ' -O', the assert fires. Gcc seems to do the opposite. #include <assert.h> int main() { unsigned a; // uninitialized! unsigned b = a; assert(b == a); // shouldn't this be always true? return 0; } Would you consider this a LLVM bug? I think GVN is responsible for this. I don't know if it