《三国志·诸葛亮传》：（建兴六年）冬，（诸葛）亮复出散关，围陈仓，曹真拒之，亮粮尽而还。魏将王双率骑追亮，亮与战，破之，斩双。
在陈仓与蜀汉军马交锋，蜀军撤退时，奉命追击，被斩杀
被诸葛亮设计，令魏延在小道埋伏杀的
