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
}