Uploaded image for project: 'WiredTiger'
  1. WiredTiger
  2. WT-12822

Investigate scan-build warnings for WT_ADDR.type

    • Type: Icon: Technical Debt Technical Debt
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Storage Engines
    • StorEng - Defined Pipeline

      Three clang static analyzer warnings for ref->addr.type are being ignored currently in the s_clang_scan.diff file.

      We should revisit these warnings, confirm they are false positives and add a comment into the s_clang_scan.diff file with details.

      The warnings are as follows:

      Bug Group Bug Type File Function/Method Line Path length
      Logic error Result of operation is garbage or undefined btree/bt_delete.c __wt_delete_page 163 27
      Logic error Result of operation is garbage or undefined btree/bt_sync_obsolete.c __sync_obsolete_disk_cleanup 155 40
      Logic error Result of operation is garbage or undefined btree/bt_sync.c __sync_page_skip 188 42

      The relevant html files containing the full analysis will be attached to this ticket. If neccesary the html can be regenerated using the ./s_clang_scan script in the dist/ directory.

            Assignee:
            backlog-server-storage-engines [DO NOT USE] Backlog - Storage Engines Team
            Reporter:
            luke.pearson@mongodb.com Luke Pearson
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: