Ни разу.) Ни одного Давида, чье имя можно было бы так сократить, в окружении не было. Эдуарды были, Изяслав, Миромир, Ананий, Всеслав, Вахтанг и т.д., но вот Додик - нет.) В литературе и прочих источниках тоже только полное имя упоминалось, типа Давида с Соломоном.