А>Пересчитать количество ворнингов компилера — этого явно недостаточно, т.к. есть C-Style касты к какому нибудь int или long, сдвиговые операции, касты поинтеров к числам и назад и куча других подводных камней, которые компилятор может и не выловить (даже с включеными 64-bit porting warning'ами).

Для этого в PVS-Studio есть специальный ражим, позволяющий обнаруживать явные потенциально опасные приведения типов. При этом обнаруживаются именно опасные с точки зрения 64-битности, а не все подряд. Таким образом, можно найти:

void foo(int a);
size_t n;
foo(int(n));

но не обращать внимания, на безопасные конструкции с точки зрения 64-битности:

void foo(int a);
float n;
foo(int(n));