NullValueAnalysis: Check if cancellation has been requested
NullValueAnalysis: Implement VisitorResult.ThrowsException.
Expressions such as x.Foo where Foo is not an extension method are known to throw exceptions when x == null.
As such, if the expression successfully reaches the end, the analysis can assume that x != null.
If x was known to be null, then the code that follows it (up to the next catch statement) is unreachable.
Same applies to x[...] expressions.
Note: This is not yet implemented for linq expressions, which just ignore ThrowsException and this valuable property.
NullValueAnalysis: Analysis now detects when a variable is not local.
Fixed support for Nullable<T>.HasValue
Improved support for CaptureUnknown.
In x[y] execute y before testing whether x is null.
Improved null value analysis
Merge remote-tracking branch 'origin/master' into luiscubal-null-analysis-fix
NullValueAnalysis: Removed obsolete assertion.
Reactivated ConstantNullCoalescingConditionIssue.
Merge pull request #317 from mono-soc-2013/luiscubal-null-analysis-fix

More improvements to null analysis