Aviso do compilador (nível 3) C4557

o “__assume” contém o efeito “efeito”

O valor passado para __assume statement2 foi alterado.

Esse aviso é desativada por padrão. Consulte Avisos do compilador que estão por padrão para obter mais informações.

O seguinte exemplo gera C4557:

// C4557.cpp
// compile with: /W3
#pragma warning(default : 4557)
int main()
{
   int i;
   __assume(i++);   // C4557
}