诸葛亮病逝后，司马懿终生不攻蜀国，主要有两方面原因。
其一，朝廷不允许。
诸葛亮病逝五丈原后，杨仪和魏延为了争夺权力，相互攻打，司马懿知道后，打算趁蜀军内讧，继续向蜀地进兵。
曹魏朝廷考虑之前诸葛亮连年进兵不得喘息，打算先休养生息，下诏不允许。
其二，没时间。
诸葛亮病逝是公元234年，3年后的公元237年，割据在辽东的公孙渊反叛，自立为燕王，设置百官，和曹魏分庭抗礼，曹叡派遣司马懿率大军进行征讨，一时之间顾不上蜀汉。
打开网易新闻 查看更多图片
公元239年，曹魏皇帝曹睿病重，曹叡遗命托孤，司马懿和大将军曹爽，受命共同辅佐齐王曹芳。
公元241年5月，孙权派遣将军全琮进攻曹魏的芍陂，朱然、孙伦围困樊城，诸葛瑾、步鹭攻打柤中。
同年6月，司马懿率大军南征，救援樊城，将吴军击败。
公元243年9月，司马懿又统率大军征讨孙吴的诸葛恪。
之后司马懿和曹爽的争斗愈演愈烈，更顾不上攻打蜀汉。
公元249年，司马懿发动高平陵之变，曹爽被除掉，司马懿独掌大权，随后主要工作就是加强司马氏对朝廷的控制。
公元251年，已经73岁的司马懿走到人生尽头。
可见，诸葛亮去世后，前期司马懿忙于其他麻烦，后期主要忙于和曹爽争斗，完成司马氏对朝廷的控制，没时间打蜀国。