Unreachable Data Flow at squat-uidlist.c:1501 |
No properties have been set. edit properties |
Jump to warning location ↓ | warning details... |
| |
squat_uidlist_singleton_last_uid (/home/sate/Testcases/c/cve/dovecot-1.2.0/src/plugins/fts-squat/squat-uidlist.c)![]() | ||||||
![]() | ||||||
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 | } | |||||
![]() |