城伐蜀，正值大雨，未成。这前后，在阳平根本没有战争记载。即便如郭冲所言，司马懿既然统领而是多万军队，已经探知其兵少力弱，如果怀疑有伏兵，正可以设防慢攻，何至于迅速撤退？根据魏延传记载，「魏延每次随诸葛亮出征即请兵万人，与其分道在潼关相会，诸葛亮并未答应；魏延认为诸葛亮怯弱，感叹自己才不尽其用。」诸葛亮既然都不让魏延率兵万人独自统帅，怎么可能如郭冲所说，突然让重兵交予魏延，而自己领弱兵独自守城？况且郭冲与扶风王司马骏说，彰显司马懿的劣迹，当人子揭其父的短处，理所不容，居然说「扶风王慨然赞同郭冲所说」，就可以知