Details
-
Bug
-
Resolution: Duplicate
-
Minor - P4
-
None
-
None
-
Fully Compatible
-
ALL
-
Storage 2017-03-06
Description
Code can never be reached because of a logical contradiction
Defect 100567 (STATIC_C)
Checker DEADCODE (subcategory none)
File: /src/third_party/wiredtiger/src/btree/bt_split.c
Function __split_root
/src/third_party/wiredtiger/src/btree/bt_split.c, line: 665
Assigning: "complete" = "WT_ERR_IGNORE".
complete = WT_ERR_IGNORE;
|
/src/third_party/wiredtiger/src/btree/bt_split.c, line: 540
Assigning: "complete" = "WT_ERR_RETURN".
complete = WT_ERR_RETURN;
|
/src/third_party/wiredtiger/src/btree/bt_split.c, line: 686
When switching on "complete", the value of "complete" must be in one of the following intervals: {[0,0], [2,2]}.
err: switch (complete) {
|
/src/third_party/wiredtiger/src/btree/bt_split.c, line: 690
The switch value "complete" cannot be "WT_ERR_PANIC".
case WT_ERR_PANIC:
|
/src/third_party/wiredtiger/src/btree/bt_split.c, line: 690
Execution cannot reach this statement: "case WT_ERR_PANIC:".
case WT_ERR_PANIC:
|