Text   |  XML   |  ReML   |   Visible Warnings:

Unreachable Control Flow  at dbox-index.c:538

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

dbox_index_append_record

(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-storage/index/dbox/dbox-index.c)expand/collapse
Show more  
 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();
 538                  break;
 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  }
Show more  




Change Warning 7444.24743 : Unreachable Control Flow

Priority:
State:
Finding:
Owner:
Note: