**Dataflow analysis of integer values** isn't working

Hello Joao Gavron,

I'm afraid I don't get the issue. What kind of warning do you expect to see? Where does the warning appear in earlier versions?

Hello Julia Vaseva, with the new integer analysis that rider does, wasn't I supposed to receive a warning to situations like 1/ possible division by zero in method A; 2/ Math.Abs receiving a value that is always positive in the third method; 3/ possible multiplication by zero in the first method.

Was not the analysis to get things like this? or am I misunderstanding?

Thanks in advance

Julia Vaseva hello?

Hello Joao Gavron,

1. possible division by zero in method A
Though parameter d could be zero, we show warning about division by zero only when we can actually prove that some variable will be zero.
2. Math.Abs receiving a value that is always positive in the third method
It's not always positive, because the operation a + 1 could overflow ;)
3. possible multiplication by zero in the first method.
Imagine that a is 1000. Then after division by scale it will become 2. And b can be anything.

That is, if we are not sure that the expression is potentially incorrect, ReSharper will not issue any warnings. Please let me know if you have any other questions.