Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / Verifier / 2004-05-21-SwitchConstantMismatch.ll