Analysis of integer values (integral arithmetic)| ReSharper Help
Use annotations to refine code inspection| ReSharper Help