Code inspection: Heuristically unreachable switch arm according to integer analysis
Last modified: 11 February 2024tip
This inspection reports arms of switch
expressions that will never be executed according to the results of integer value analysis. The inspection only works if Analyze integer arithmetic is enabled on the page of JetBrains Rider settings CtrlAlt0S.
Here is an example of annotating the method parameter with [NonNegativeValueAttribute] to refine the analysis within the method body. Knowing that the parameter is non-negative, JetBrains Rider can report redundant cases: