Advertencia del compilador (nivel 3) C4557

'__assume' contiene el efecto 'efecto'

El valor pasado a una instrucción __assume se modificó.

De forma predeterminada, esta advertencia está desactivada. Para obtener más información, vea Advertencias del compilador desactivadas de forma predeterminada.

El código siguiente genera el error C4557:

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