文帝为魏相国诸葛诞据寿春叛命筑垒围之初寿春每岁雨潦淮水溢尝掩城邑故帝之筑围也。诞笑曰：是故不攻而自败也。及大军之攻亢旱逾年城既陷是日大雨垒皆毁。