裴注在《三国志.诸葛亮传》亦引用过‘郭冲三事’如空城计等不实记载[16]；《晋书》为唐太宗主持官修，观其后记，反有警后世之意，更不可能美化司马懿]
陈寿所著《三国志》诸葛亮、郭淮等人的传里，关于231年的祁山之役，也都没提过诸葛亮曾击破郭淮抢粮成功等事。
【《三国志·蜀书·诸葛亮传》：建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军[17]。与魏将张邰交战，射杀邰】
【《三国志·魏略·郭淮传》：五年，蜀出卤城。是时，陇右无谷，议欲关中大运，淮以威恩抚循羌、胡，家使出谷;平其输调，军食用足，转扬武将军[18]。】
而《三国志.张郃传》[19]则提到过《晋书》所载的诸葛亮退守祁山和《三国志.诸葛亮传》里的张郃中箭而死。
几本史书对战争的总体趋势描述相同，都是司马懿保住陇西粮食，解了祁山之围，最终两军在相持中，蜀军粮草耗尽退兵。
青龙元年（233年），安定保塞匈奴大人胡薄居姿职等叛,司马懿派遣胡遵等追讨并破降（《三国志.明帝纪》）
五丈原
蜀军退军后，军师杜袭、督军薛悌都预计诸葛亮第二年麦熟时还会入侵，建议趁冬天调运粮草，解决陇右粮少问题。司马懿认为：“亮再出祁山，一攻陈仓，挫衄而反。纵其后出，不复攻城，当求野战，必在陇东，不在西也。亮每以粮少为恨，归必积谷，以吾料之，非三稔不能动矣。”（《晋书·宣帝纪》）
青龙二年（234年）二月，蜀丞相诸葛亮率军10万出斜谷攻魏。
四月，诸葛亮
莫名—— 司马仲达(3/15)