On Wednesday, 6 August 2014 at 22:03:11 UTC, David Bregman wrote:
As for assume(0), in the control flow interpretation it makes
perfect sense: Assuming control flow reaches here, false =
true. So by contradiction, "control flow reaches here" is
false, i.e. that point is unreachable.
see again the __assume extension in the Microsoft c++ compiler:
http://msdn.microsoft.com/en-us/library/1b3fsfxw.aspx
From the docs:
«The __assume(0) statement is a special case.»
So, it does not make perfect sense. If it did, it would not be a
special case?
