On 7/30/2014 2:12 AM, bearophile wrote:
Info about assume in Microsoft C++: http://msdn.microsoft.com/en-us/library/1b3fsfxw.aspx
Note that document shows how assert is implemented using assume. I.e. they are the same thing.
Intriguingly, the __assume(0) behavior is even special cased like D's assert(0). C++ continues to adopt D features :-)
