各个包围，郭淮胜姜维

        正始五年(244),郭淮在魏军中担任先锋,出兵伐蜀。到了正始八年(247),陇西、南安、金城、西平诸羌饿何、烧戈、同伐蛾遮塞等联合起来反叛,包围城镇,并与蜀汉相联络,又挑起凉州胡人首领治无戴起兵反叛。魏派夏侯霸、郭淮领军前去征讨。郭淮利用敌人部队之间失去联系,各个予以击破。正始九年(248),羌人驻扎在白土城,想依黄河之险抵抗。郭淮假装从上流出兵,但秘密派兵从下流渡河,占据白土城,发动进攻,大破敌兵。时姜维出兵石营,准备与治无戴联合,留下阴平太守廖化在成重山修筑城堡,收取诸羌散兵做为人质。郭淮想兵分两路,诸将领认为,姜维向西连接强大的胡兵,廖化则守据天险,如果兵分两路,必将削弱力量,前进不能取胜于姜维,后退又攻不下廖化所守之城,如若集中兵力奋力西进,趁胡、蜀两兵未能接上关系之前,各个包围,敌人将被击歼。郭淮说:“现在派兵攻打廖化,可以出其不意,姜维肯定要有所顾及。等姜维赶回来,廖化已被平定,而且可以使姜维疲于奔命,姜维的军队不向西接应胡人,胡人自然会撤离,这才是一举两全的上策。”于是派夏侯霸等在沓中等地追剿姜维,自己则率大军强攻廖化,姜维果然疲于奔命,只得撤退。(《三国志·魏书·郭淮传》)