六年春，亮出攻祁山，不克。冬，复出散关，围陈仓，粮尽退。魏将王双率军追亮，亮与战，破之，斩双，还汉中。