Cao Zhen
230年（建興八年），曹真上表認為蜀漢多次犯境，建議攻伐蜀漢。魏明帝接納，曹真於是從長安出兵，從子午道入；司馬懿經漢水進軍，另外有部分於斜谷入，從多路進攻蜀漢，但因大雨而罷兵。