Compiler Warning (level 3) C4557

The latest version of this topic can be found at Compiler Warning (level 3) C4557.

__assume' contains effect 'effect'

The value passed to an __assume statement2 was modified.

This warning is off by default. See Compiler Warnings That Are Off by Default for more information.

The following sample generates C4557:

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