-
Type: Bug
-
Resolution: Fixed
-
Priority: Minor - P4
-
Affects Version/s: None
-
Component/s: None
-
Storage Engines
-
1
-
Storage Engines - 2022-06-27
Redundant test
By the time the program execution reaches the test of this condition there is only one possible outcome for the test. The code at the destination of this branch is not dead, either because this condition is always true or because there is at least one other branch that reaches it. Test always evaluates the same
/test/cppsuite/tests/cursor_bound_01.cpp:360: DEADCODE 122242 At condition "range_exact < 0", the value of "range_exact" must be at most -1.
/test/cppsuite/tests/cursor_bound_01.cpp:360: DEADCODE 122242 At condition "range_exact < 0", the value of "range_exact" cannot be equal to 0.
/test/cppsuite/tests/cursor_bound_01.cpp:342: DEADCODE 122242 Condition "range_exact > 0", taking false branch. Now the value of "range_exact" is at most -1.
/test/cppsuite/tests/cursor_bound_01.cpp:340: DEADCODE 122242 Condition "range_exact == 0", taking false branch. Now the value of "range_exact" cannot be equal to 0.
/test/cppsuite/tests/cursor_bound_01.cpp:360: DEADCODE 122242 The condition "range_exact < 0" must be true.
- duplicates
-
WT-9410 Coverity: CID 122316 redundant test in cppsuite...cursor_bound_01.cpp
- Closed
- is related to
-
WT-9401 Coverity analysis defect 122244: Uninitialized scalar variable
- Closed
-
WT-9402 Coverity analysis defect 122243: Uninitialized scalar variable
- Closed
-
WT-9406 Coverity: CID 122325, 122320: Uninitialized 'ret_prev', 'ret_next' in cppsuite...bounded_cursor_perf.c
- Closed
-
WT-9437 Coverity analysis defect 122334: Uninitialized scalar variable
- Closed
-
WT-9379 Coverity analysis defect 122241: Uninitialized scalar variable
- Closed
- mentioned in
-
Page Loading...