האם שאול נענש על שרדף את דוד?

שלום וברכה.
האם שאול נענש על שרדף את דוד?
מי שקורא את ספר שמואל מזדהה עם דוד, שהוא דמות מאד מרכזית, שה' בחר בו וצאצאו יהיה המשיח, שהוא נרדף בלא עוול בכפו, ושאול 'עשה לו את המות'. מעניין אותי לדעת האם חז''ל כתבו משהו על הרדיפה הקשה הזו ששאול עשה לו, שממש רצה להרוג אותו? איך התייחסו לזה בשמיים? שאול נחשב צדיק במעשיו, אך איך מתחייסים בשמיים לצדיק שרודף צדיקים אחרים? זכור לי שיש ביטוי בגמ' "בר פלגאה" שלא קמים מפניו. ונזכרתי עכשיו שהרמב"ם פוסק שהמבזה את החכמים אין לו חלק לעוה''ב (תשובה פ"ג), ולכאורה ק"ו לרודף אחריהם להרגם. אשמח למקורות,
תודה רבה