Uploaded image for project: 'C Driver'
  1. C Driver
  2. CDRIVER-2179

Coverity analysis defect 100079: Redundant test

    • Type: Icon: Bug Bug
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 1.7.0
    • 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.

            Assignee:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Reporter:
            xgen-internal-coverity Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: