州都督，镇守宛城，直到曹真死后，才与诸葛亮相抗衡。魏明帝曾经派遣司马懿从宛城途径西城伐蜀，正值大雨，未成。这前后，在阳平根本没有战争记载。即便如郭冲所言，司马懿既然统领而是多万军队，已经探知其兵少力弱，如果怀疑有伏兵，正可以设防慢攻，何至于迅速撤退？根据魏延传记载，「魏延每次随诸葛亮出征即请兵万人，与其分道在潼关相会，诸葛亮并未答应；魏延认为诸葛亮怯弱，感叹自己才不尽其用。」诸葛亮既然都不让魏延率兵万人独自统帅，怎么可能如郭冲所说，突然让重兵交予魏延，而自己领弱兵独自守城？况且郭冲与扶风王司马骏说，彰显司马