ARITH_BITLEN: This rule checks for inconsistent bitlengths of an arithmetic operator. A violation is reported when the bitlengths of arithmetic operands are not the same.
Case1: in1 is of 3-bit and in2 is of 4-bit. I understand when there'll be violation of this rule for in1+in2.
Case2: in1 and in2 are of 5-bit and sum = (in1/5'd2+in2/5'd4). Lint doesn't report with this scenario. With the denominator (5'd2 for in1 and 5'd4 for in2), the bit width will be different for 2 operands. Why is lint not able to report this? This is also a static check right?