Compiler Warning (level 3) C4557


The new home for Visual Studio documentation is Visual Studio 2017 Documentation on

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