《三国志·曹真传》：“真以亮惩於祁山，后出必从陈仓，乃使将军郝昭、王生守陈仓，治其城。明年春，亮果围陈仓，已有备而不能克。增邑，并前二千九百户”。

《三国志》的记载也确是如此——“十二月，诸葛亮围陈仓，曹真遣将军费曜等拒之”。据《三国志明帝纪》所载，诸葛亮围陈仓的时间是在公元228年12月（十二月，诸葛亮围陈仓），而《三国志曹真传》对此事件发生时间的记载却是229年春（明年春，亮果围陈仓）。《三国志明帝纪》裴氏注引《魏略》对陈仓之战的描述为例。

《三国志明帝纪》提到曹真派遣费曜等增援陈仓的时间是在诸葛亮围陈仓城之初，费曜等在蜀军准备退军之前已与诸葛军团有所接触（十二月，诸葛亮围陈仓，曹真遣将军费曜等拒之），反观《魏略》此段，则费曜等人是在诸葛亮围陈仓城二十余日，军粮难以为继准备撤军之后方才赶到陈仓（昼夜相攻拒二十余日，亮无计，救至，引退），此说显然与《三国志》所记相违背。二说不可并存，必有一误。《魏略》的说法靠不住。

反观《魏略》则不然，魏略称曹真“东救”到达陈仓的时间，是诸葛围城二十余日之后（“亮……度东救未能便到……昼夜相攻拒二十余日……救至”）。说又是不合常理，相较而言，显然是《三国志》的记载更为可信。

《通典》称诸葛亮在围陈仓亦曾发兵攻郿（太和二年，诸葛亮以数万人攻陈仓，将军郝昭以千人守二十余日，不拔……攻郿又不克。）

魏明帝闻讯后，立时在洛阳集结部队，同时令驿马加急，传召本驻防于方城的张郃前往洛阳。张郃在洛阳稍事停留，马上率领魏明帝所征集的三万余军士赶赴陈仓，行至南郑（此南郑非汉中之南郑，祥见杨文理之考证），适逢诸葛亮粮尽退军，魏明帝于是再度下诏，命其还归洛阳。

诸葛亮攻郿一事既不见于《魏略》又不见于《三国志》，恰恰相反，从上述二书中皆能找到与《通典》相为矛盾之处。“亮自以有众数万，而昭兵才千余人，又度东救未能便到”（《魏略》）——设若诸葛亮真的曾在攻围陈仓之时分兵攻郿，曹真本人又果真在郿屯驻，其自是无法救援陈仓。

除非围郿之军溃败，否则“东救”肯定到不了陈仓，诸葛亮又何须“度东救未能便到”？若曹真此时是在长安，则其所遣救兵也应是先解郿之围，无法越郿直至陈仓。《魏略》又称“（诸葛亮与郝昭）昼夜相攻拒二十余日，亮无计，救至，引退”——若诸葛亮真的曾分兵攻郿，而其围陈仓二十余日后曹真所遗援军又已到达陈仓，显然是围郿之军已然被曹真援军击溃，若曹魏真有此骄人战绩，为何连《魏书》《魏略》这等魏系史家编纂的史书中都只字未提？

《魏略》亮昼夜相攻拒二十余日，亮无计，救至，引退），说诸葛亮日夜都在攻陈仓二十日，说诸葛亮五万人，郝昭一千人，郝昭的兵不用睡觉的，如果诸葛亮这样攻下去，陈仓不出十日就攻破了，曹魏援军二十日才救援，诸葛亮五万人分几批日夜攻，郝昭的一千兵，不用睡觉坚持二十天，这不可能的。诸葛亮确实围陈仓，但有没有打，三国志没记录，魏略即记载如何攻城，但是又没说服力。

还有，诸葛亮给诸葛瑾的《与兄瑾言治绥阳小谷书》中提到：“有绥阳小谷，虽山崖绝重，溪水纵横，难用行军。昔逻候往来，要道通入。今使前军斫治此道，以向陈仓，足以扳连贼势，使不得分兵东行者也。” 这里，记载诸葛亮配合东吴，出兵围陈仓，牵制魏国，减轻东吴压力。

诸葛亮粮尽退兵，陈仓保住了，但是功劳全算在郝昭，王生守城也有大功，竟然只字不提，这个人竟然在战后消失了。

以上说明，诸葛亮十二月围陈仓，曹真就派费曜去救陈仓郝昭，诸葛亮是围点打援，围陈仓打费曜援军，粮尽退兵。《三国志·诸葛亮传》：（建兴六年）冬，（诸葛）亮复出散关，围陈仓，曹真拒之，亮粮尽而还。魏将王双率骑追亮，亮与战，破之，斩双。