(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-storage/index/dbox/dbox-index.c) |
| |
| 524 | | | dbox_index_append_record(const struct dbox_index_record *rec, string_t *str) |
| 525 | | | { |
| 526 | | | str_printfa(str, "%u %c%c%c", |
| 527 | | | rec->file_id, rec->status, |
| 528 | | | rec->expunges ? 'E' : '0', |
| 529 | | | rec->dirty ? 'D' : '0'); |
| 530 | | | |
| 531 | | | switch (rec->status) { |
| 532 | | | case DBOX_INDEX_FILE_STATUS_APPENDABLE: |
| 533 | | | str_append(str, " 00000000"); |
| 534 | | | break; |
| 535 | | | case DBOX_INDEX_FILE_STATUS_APPENDING: |
| 536 | | | case DBOX_INDEX_FILE_STATUS_UNLINKED: |
| 537 | | | i_unreached();
x /home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib/macros.h |
| |
208 | #define i_unreached() \ |
209 | i_panic("file %s: line %d: unreached", __FILE__, __LINE__) |
| |
|
| 538 | | | break; |
Unreachable Control Flow
The highlighted code will not execute under any circumstances. |
|
| 539 | | | case DBOX_INDEX_FILE_STATUS_NONAPPENDABLE: |
| 540 | | | case DBOX_INDEX_FILE_STATUS_SINGLE_MESSAGE: |
| 541 | | | break; |
| 542 | | | case DBOX_INDEX_FILE_STATUS_MAILDIR: |
| 543 | | | str_append_c(str, ' '); |
| 544 | | | str_append(str, rec->data); |
| 545 | | | break; |
| 546 | | | } |
| 547 | | | str_append_c(str, '\n'); |
| 548 | | | } |
| |