We need to add a branch for Throw semantics to connect the blocks
public int ReadInFinallyAfterCatch()
{
var value = 0;
try
{
CanThrow();
value = 42;
}
catch
{
value = 1; // Noncompliant FP, used in finally after the throw
throw;
}
finally
{
Log(value);
}
return value;
}
We need to add a branch for Throw semantics to connect the blocks