晋书 宣帝本记:
四年，迁大将军，加大都督、假黄钺，与曹真伐蜀。帝自西城斫山开道，水陆并进，
溯沔而上，至于朐忍拔其新丰县。军次丹口，遇雨，班师。
翻译成人话就是:230年，天子(曹睿)加封皇帝(司马懿) 为大将军、大都督、假黄钺，与
曹真一起伐蜀。皇帝从西城挖掉大巴山建立隧道，水陆并进，从沔水而上，到达朐忍还攻
占新丰县。军队驻扎在丹口，遇到下雨，再走隧道班师回朝。
https://imgur.com/Tw21zvD
这个新丰不是关中的那个新丰，是刘备攻下汉中后新设立的一个县，叫汉丰
如果这样的话，司马懿从沔水而上经过汉中到达朐忍是可以的，但这样就打退诸葛亮的守
军了，很难想像陈寿不会把这英勇事蹟写在三国志上
但这样子的话，司马懿到达汉丰县就只有一个选择，就是翻过大巴山，或著像晋书写的那
样，挖一个隧道出来。
攻下汉丰后，司马懿还驻扎在了一个不存在的地方，丹口，结果跟曹真那一路一样，遇到
大雨班师回朝。
这司马懿是怎么做到的，不是带着军队翻山越岭就是带着军队挖出一个隧道，然后还驻扎
在一个不存在的地方，看来司马懿是真的会魔法。