search for: l00629

...undefined value is placed before any load preceding the store (based on basicblock's ordering and simple dominator analysis, if I remember correctly). This is the line that is responsible for the behavior: (LLVM9 does the same) https://llvm.org/doxygen/PromoteMemoryToRegister_8cpp_source.html#l00629 A problem arises, and I am not sure if it is really a problem or just weird C-compliant behavior. int a; // or, equally, int a=0; int main(){ int b; if (b) // (*) b=a; if (b) printf("This will be called"); } The first load of variable b, before the single store (the first bra...