《蜀志》曰：姜维率众侵魏，依维山筑二城，使牙门将勾安、李韶等守之，聚羌胡质任寇逼诸郡，魏将陈泰御之。泰谓诸将曰：“曲城虽固，去蜀险远，当须运粮。羌夷患维劳役，未必肯附。今围而取之，可不血刃而拔其城。虽其来救，山道险阻，非行兵之地。”乃使邓艾等进兵围之，断其运道及城外流水。安等挑战，不许。将士困窘，分粮聚雪，以稽日月。维果来救，出自牛头，与泰相对。泰曰：“兵法贵在不战而屈人，今绝牛头，维无返道，则我之擒也。诸军各坚垒勿与战。”自南渡白水，循水而东，使诸将截其还路。维惧，遁走。安等孤悬，遂皆降。