Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Verifier / inalloca3.ll
2014-04-30 David MajnemerIR: Conservatively verify inalloca arguments