(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-index/mail-index-sync-ext.c) |
| |
| 576 | | | int mail_index_sync_ext_reset(struct mail_index_sync_map_ctx *ctx, |
| 577 | | | const struct mail_transaction_ext_reset *u) |
| 578 | | | { |
| 579 | | | struct mail_index_map *map = ctx->view->map; |
| 580 | | | struct *ext_hdr; |
| 581 | | | struct mail_index_ext *ext; |
| 582 | | | |
| 583 | | | if (ctx->cur_ext_map_idx == (uint32_t)-1) { |
Event 1:
Skipping " if". ctx->cur_ext_map_idx == (uint32_t)-1 evaluates to false.
hide
|
|
| 584 | | | mail_index_sync_set_corrupted(ctx, |
| 585 | | | "Extension reset without intro prefix"); |
| 586 | | | return -1; |
| 587 | | | } |
| 588 | | | if (ctx->cur_ext_map_idx == (uint32_t)-2 && ctx->cur_ext_ignore) { |
Cast Alters Value
-2 is cast from int to unsigned int. - Negative values cannot be stored as unsigned int. Casting them to unsigned int can cause data loss or sign change.
The issue can occur if the highlighted code executes. Show: All events | Only primary events |
|
| |