데이터 흐름 분석에서 하나의 피연산자 값만 만족하는 부등식 조건문을 보고합니다. 이러한 조건을 등식 조건으로 바꾸면 코드가 더 명확해집니다.
예:
if (x >= 10) { ... if (x <= 10) { // 'x == 10'으로 바꿀 수 있음 } }
2022.2의 새로운 기능