//----
#include <utility>

class A
{
public:
    virtual ~A(){}
};

class B: public A
{
};

void foo(std::pair<int, A*> p)
{
    delete p.second;
}

int main()
{
    foo(std::make_pair(0, static_cast<A*>(new B()))); //V572, в данном примере тип и правда можно опустить, но в реальном необходима точная шаблонная подстановка
    return 0;
}

//---
int main()
{
    int x[2];
    int x_size = sizeof(x)/sizeof(x[2]); //V557, хотя другой (ладно хоть не срабатывающий здесь) V568 напоминает нам, что это выражение не вычисляется!
}

//---
#include <vector>

class op_vector
{
public:
    std::vector<int> v;
    template <typename TFunctor>
        void accumulate(TFunctor &functor)
        {
            for (int i = 0; i < (int)v.size(); ++i)
                functor(v[i]); //V607, причем в данном примере у этого метода даже нет ни одной подстановки!
        }
};

int main()
{
}

И таких примеров масса. Из примерно 400 найденных "ошибок" (3 уровень предупреждений я не рассматривал) только 2 оказались настоящими, причем обе в принципиально недостижимом коде (спасибо, я удалил лишние 20 строк кода из проекта!)

EXEC_MLAMBDA(MLAMBDA(ARG + ARG), 1)

((_0, _1 ),(poica_pri_arg, _0, _1),(_0, _1),( + ),(poica_pri_arg, _0, _1),(_0, _1),( _0, _1))