蜀兵退回汉中之后，司马懿又来到西城，这才知道刚才孔明只有两千五百人在城里。
司马懿后悔莫及，仰天长叹说，我不如孔明啊。
于是带兵返回了长安，朝见魏主。
曹睿说，我们能够收复陇西各郡，都是你的功劳啊。
司马懿奏报说，现在蜀兵都在汉中，我想发兵去收了西川。
曹睿当然高兴，当即表示同意。
这时，尚书孙资奏报说，我有一个办法，可以让蜀国投降。以前太祖武皇帝曾经说过，西川那里就像地狱一样。中间斜谷道是五百里石穴，不是用兵的地方。如果我们现在去伐蜀，那么东吴肯定会抄我们的后路。现在最好是分兵把守，用不了几年，我们越来越强盛，吴、蜀二国肯定会自相残害：那个时候再去伐蜀不是胜算更大吗？
曹睿点了点头，也就不再提伐蜀的事了，让司马懿派人去各地做好防守，留郭淮、张郃驻守长安。
大赏三军后，返回洛阳。
孔明回到汉中后，发现少了赵云、邓芝，心里非常担心。
就让关兴、张苞去接应，刚要动身，赵云、邓芝回来了，没有折损一人一骑；辎重物资，全部完好。
孔明亲自带着大家去迎接。
赵云慌忙下马跪地说，败军之将，怎么敢劳烦丞相亲自迎接？
孔明赶紧扶起赵云说，唉！是我没有看出您的厉害，这才导致失败。现在各队人马全部损兵折将，只有子龙完好无损的回来，子龙是一个真正的将军。
这时，马谡、王平、魏延、高翔来到。
孔明先叫来王平，责备说，我让你和马谡一起防守街亭，你为什么不劝他？
王平说，我一直劝他在主干道安营，残军非常生气，就是不听我的，我这才自己带着五千人马去十里外下寨。魏兵来到后，直接把山围了，我带兵救援，十几次都冲不进去。第二天，兵败如山。我孤军难支，这才去找文长求救。半途又被魏兵困在山谷中，我奋力杀出。回去后，营寨也被魏兵占了。去列柳城时，在路上遇到高翔，分兵三路去劫魏寨，希望收服街亭。看到街亭没有人，这才心疑万。登高一看，发现魏延、高翔被魏兵围住，我又杀进重围，救出他们，然后就和曹军合兵一处了。我担心阳平关有危险，又回来紧急防守。不是我不谏，是残军就是不同意。丞相不信的话可以问问其他人。
孔明又叫马谡进来，声色俱厉地说，你从小饱读兵书，熟悉战法。我也多次交待，街亭是我们的根本，不容有失。你为什么就是不听王平的意见？今天我只能执行军法了。你放心，你死后，你的家人我会按时发放工资和供给。
说完，命人推出去斩首。
马谡泪流满面地说，丞相把我当儿子，我也把丞相当做父亲。我知道自己难逃死罪，我不怨您。
这时，参军蒋琬从成都过来，大声劝谏道，不能杀啊。现在天下未定，您怎么能杀有能力的将领呢，这不是太可惜了吗？
孔明也是满脸泪水，说，我也不想杀。但是如果我们有法不遵，有令不止，以后还怎么带兵？怎么治国？
一会儿之后，马谡的首级被献在台阶下。
孔明大哭不已。
蒋琬问，既然幼常已经伏法，您为什么哭呢？
孔明说，我不是为马谡哭。只是想到之前先帝在白帝城的时候曾经嘱咐我说：马谡言过其实，不可大用。今天果然应验。我真是后悔没有听先帝的话，所以才痛哭。
马谡这一年是三十九岁，这时是建兴六年夏五月，也就是公元228年五月。
其实从马谡之前的表现来看，还是很有才华的，准确地说，才华横溢，否则也不会受到诸葛亮的赏识。
但是马谡败就败在自己的性格上，这一点似乎在三国的著名将领里是共性。
不过，追根溯源，失街亭的原因是诸葛亮用人不当。
假如派去守街亭的不是马谡，而是赵云，或者魏延，就算是王平，应该也不至于惨败。
就算不派这些人去，至少派去马谡后，不应该派王平和他搭档，因为马谡骨子里看不起降将。
这些说白了，都是诸葛亮用人不当导致的。