语句使用R-1-8-2强制

禁止不可达分支

不可达分支
test.cpp
1void foo(unsigned x)
2{
3 if (x >= 0)
4 {
5 }
6 else
禁止不可达分支 [gjb8114-r-1-8-2]
7 {
8 }
9 if (0 <= x)
10 {
11 }
12 else
禁止不可达分支 [gjb8114-r-1-8-2]
13 {
14 }
15}
不可达分支
test.cpp
1void foo(int x)
2{
3 if (x >= 0)
4 {
5 }
6 else
7 {
8 }
9}