-
Type: Bug
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: None
-
None
Test always evaluates the same
Defect 100079 (STATIC_C)
Checker DEADCODE (subcategory redundant_test)
File: /src/jsonsl/jsonsl.c
Function jsonsl_util_unescape_ex
/src/jsonsl/jsonsl.c, line: 1418
At condition "uescval > 55295", the value of "uescval" must be between 55296 and 57343.
/src/jsonsl/jsonsl.c, line: 1418
At condition "uescval > 55295", the value of "uescval" cannot be equal to -1.
/src/jsonsl/jsonsl.c, line: 1414
Condition "uescval > 57343", taking false branch. Now the value of "uescval" is between 55296 and 57343.
/src/jsonsl/jsonsl.c, line: 1414
Condition "uescval < 55296", taking false branch. Now the value of "uescval" is at least 55296.
/src/jsonsl/jsonsl.c, line: 1395
Condition "uescval == -1", taking false branch. Now the value of "uescval" cannot be equal to -1.
/src/jsonsl/jsonsl.c, line: 1418
The condition "uescval > 55295" must be true.