魏雍州剌史郭淮率众欲击式，亮自出至建威，淮退还，遂平二郡。诏策亮曰：“街亭之役，咎由马谡，而君引愆，深自贬抑，重违君意，听顺所守。