Newly introduced defects

List of Defects

Error: COMPILER_WARNING: [#def1]
snappy-1.2.1-build/snappy-1.2.1/snappy-internal.h:261:22: warning[-Warray-bounds=]: array subscript 64 is outside array bounds of ‘const char[15]’
#  261 |   SNAPPY_PREFETCH(s1 + 64);
#      |                   ~~~^~~~
#  259|       }
#  260|     }
#  261|->   SNAPPY_PREFETCH(s1 + 64);
#  262|     SNAPPY_PREFETCH(s2 + 64);
#  263|   

Error: COMPILER_WARNING: [#def2]
snappy-1.2.1-build/snappy-1.2.1/snappy-internal.h:261:22: warning[-Warray-bounds=]: array subscript 64 is outside array bounds of ‘const char[17]’
#  261 |   SNAPPY_PREFETCH(s1 + 64);
#      |                   ~~~^~~~
#  259|       }
#  260|     }
#  261|->   SNAPPY_PREFETCH(s1 + 64);
#  262|     SNAPPY_PREFETCH(s2 + 64);
#  263|   

Error: COMPILER_WARNING: [#def3]
snappy-1.2.1-build/snappy-1.2.1/snappy-internal.h:262:22: warning[-Warray-bounds=]: array subscript 64 is outside array bounds of ‘const char[15]’
#  262 |   SNAPPY_PREFETCH(s2 + 64);
#      |                   ~~~^~~~
#  260|     }
#  261|     SNAPPY_PREFETCH(s1 + 64);
#  262|->   SNAPPY_PREFETCH(s2 + 64);
#  263|   
#  264|     // Find out how long the match is. We loop over the data 64 bits at a

Error: COMPILER_WARNING: [#def4]
snappy-1.2.1-build/snappy-1.2.1/snappy-internal.h:262:22: warning[-Warray-bounds=]: array subscript 72 is outside array bounds of ‘const char[17]’
#  262 |   SNAPPY_PREFETCH(s2 + 64);
#      |                   ~~~^~~~
#  260|     }
#  261|     SNAPPY_PREFETCH(s1 + 64);
#  262|->   SNAPPY_PREFETCH(s2 + 64);
#  263|   
#  264|     // Find out how long the match is. We loop over the data 64 bits at a

Error: CLANG_WARNING: [#def5]
snappy-1.2.1-build/snappy-1.2.1/snappy.cc:29: included_from: Included from here.
snappy-1.2.1-build/snappy-1.2.1/snappy-internal.h:352:5: warning[deadcode.DeadStores]: Value stored to 's2' is never read
#  350|       int matching_bits = Bits::FindLSBSetNonZero64(x);
#  351|       matched += matching_bits >> 3;
#  352|->     s2 += matching_bits >> 3;
#  353|     } else {
#  354|       while ((s2 < s2_limit) && (s1[matched] == *s2)) {

Scan Properties