Text   |  XML   |  ReML   |   Visible Warnings:

Unreachable Data Flow  at squat-uidlist.c:1501

No properties have been set. | edit properties
Jump to warning location ↓ warning details...
Show Events | Options

squat_uidlist_singleton_last_uid

(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/plugins/fts-squat/squat-uidlist.c)expand/collapse
Show more  
 1481  uint32_t squat_uidlist_singleton_last_uid(uint32_t uid_list_idx)
 1482  {
 1483          unsigned int idx, mask;
 1484   
 1485          if ((uid_list_idx & 1) != 0) {
 1486                  /* single UID */
 1487                  return uid_list_idx >> 1;
 1488          } else if (uid_list_idx < (0x100 << 1)) {
 1489                  /* bitmask */
 1490                  if (uid_list_idx == 2) {
 1491                          /* just a quick optimization */
 1492                          return 0;
 1493                  }
 1494                  for (idx = 7, mask = 256; mask > 2; mask >>= 1, idx--) {
 1495                          if ((uid_list_idx & mask) != 0)
 1496                                  return idx;
 1497                  }
 1498          }
 1499   
 1500          i_unreached();
 1501          return 0;
 1502  }
Show more  




Change Warning 8084.24396 : Unreachable Data Flow

Priority:
State:
Finding:
Owner:
Note: