(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-index/mail-index-sync-update.c) |
| |
| 74 | | | mail_index_sync_move_to_private_memory(struct mail_index_sync_map_ctx *ctx) |
| 75 | | | { |
| 76 | | | struct mail_index_map *map = ctx->view->map; |
| 77 | | | |
| 78 | | | i_assert(MAIL_INDEX_MAP_IS_IN_MEMORY(map) ||
x /home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib/macros.h |
| |
189 | #define i_assert(expr) STMT_START{ \ |
190 | if (unlikely(!(expr))) \ |
191 | i_panic("file %s: line %d (%s): assertion failed: (%s)", \ |
192 | __FILE__, \ |
193 | __LINE__, \ |
194 | __PRETTY_FUNCTION__, \ |
195 | #expr); }STMT_END |
| |
x /home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-index/mail-index-private.h |
| |
33 | #define MAIL_INDEX_MAP_IS_IN_MEMORY(map) \ |
34 | ((map)->rec_map->mmap_base == NULL) |
| |
|
| 79 | | | map->rec_map->lock_id != 0); |
Event 1:
Skipping " if". map->rec_map->mmap_base == (void *)0 evaluates to true.
hide
Event 2:
Skipping " if". !(map->rec_map->mmap_base == (void *)0 || map->rec_map->lock_id != 0) evaluates to false.
hide
Event 3:
Skipping " if". !!(map->rec_map->mmap_base == (void *)0 || map->rec_map->lock_id != 0) evaluates to true.
hide
Event 4:
Skipping " if". !!!(map->rec_map->mmap_base == (void *)0 || map->rec_map->lock_id != 0) evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 80 | | | |
| 81 | | | if (map->refcount > 1) { |
Event 6:
Taking true branch. map->refcount > 1 evaluates to true.
hide
|
|
| 82 | | | map = mail_index_map_clone(map); |
| 83 | [+] | | mail_index_sync_replace_map(ctx, map); |
Event 7:
ctx is passed to mail_index_sync_replace_map() as the first argument.
hide
Event 8:
The resource of interest is allocated inside mail_index_sync_replace_map().
hide
|
|
 |
| 84 | | | } |
| 85 | | | |
| 86 | | | if (!MAIL_INDEX_MAP_IS_IN_MEMORY(ctx->view->map))
x /home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-index/mail-index-private.h |
| |
33 | #define MAIL_INDEX_MAP_IS_IN_MEMORY(map) \ |
34 | ((map)->rec_map->mmap_base == NULL) |
| |
|
Event 38:
Skipping " if". ctx->view->map->rec_map->mmap_base == (void *)0 evaluates to true.
hide
|
|
| 87 | | | mail_index_map_move_to_memory(ctx->view->map); |
| 88 | [+] | | mail_index_modseq_sync_map_replaced(ctx->modseq_ctx); |
 |
| |