姜维第二次北伐，在蜀汉延熙十年（247）。
姜维出陇西、南安、金城界，与魏大将军郭淮、夏侯霸等战于洮西。--《姜维传》
郭淮策姜维必来攻夏侯霸，遂入沨中，转南迎夏侯霸。姜维果攻为翅，会郭淮军适至，姜维遁退。--《郭淮传》
同样一件事，在姜维传里，只是客观叙述，姜维在洮西和夏侯霸打了一仗。到了郭淮传，就成了这样：郭淮料到了姜维的进军策略，提前布置，姜维果然如郭淮所料般进军，然而郭淮此时已经做好了准备，所以姜维就逃跑了（遁走）。差别就是这么大。因此，我们只能知道，蜀汉延熙十年，姜维和郭淮、夏侯霸在洮西相遇，但有没有交战，战斗胜负如何，我们不得而知。
