(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib-index/mail-transaction-log-append.c) |
| |
| 71 | | | static int log_buffer_move_to_memory(struct log_append_context *ctx) |
| 72 | | | { |
| 73 | | | struct mail_transaction_log_file *file = ctx->file; |
| 74 | | | |
| 75 | | | |
| 76 | | | |
| 77 | | | if (ftruncate(file->fd, file->sync_offset) < 0) { |
| 78 | | | mail_index_file_set_syscall_error(file->log->index, |
| 79 | | | file->filepath, |
| 80 | | | "ftruncate()"); |
| 81 | | | } |
| 82 | | | |
| 83 | [+] | | if (mail_index_move_to_memory(file->log->index) < 0) |
 |
| 84 | | | return -1; |
| 85 | | | i_assert(MAIL_TRANSACTION_LOG_FILE_IN_MEMORY(file));
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 |
| |
|
Event 10:
Skipping " if". file->fd == -1 evaluates to true.
hide
Event 11:
Skipping " if". !(file->fd == -1) evaluates to false.
hide
Event 12:
Skipping " if". !!(file->fd == -1) evaluates to true.
hide
Event 13:
Skipping " if". !!!(file->fd == -1) evaluates to false.
hide
Event 14:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 86 | | | |
| 87 | | | i_assert(file->buffer_offset + file->buffer->used ==
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 |
| |
|
| 88 | | | file->sync_offset); |
Event 15:
Skipping " if". file->buffer_offset + file->buffer->used == file->sync_offset evaluates to true.
hide
Event 16:
Skipping " if". !(file->buffer_offset + file->buffer->used == file->sync_offset) evaluates to false.
hide
Event 17:
Skipping " if". !!(file->buffer_offset + file->buffer->used == file->sync_offset) evaluates to true.
hide
Event 18:
Skipping " if". !!!(file->buffer_offset + file->buffer->used == file->sync_offset) evaluates to false.
hide
Event 19:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 89 | [+] | | buffer_append_buf(file->buffer, ctx->output, 0, (size_t)-1); |
Event 20:
-1 is passed to buffer_append_buf() as the fourth argument. - Determines the size in the Unreasonable Size Argument warning later.
hide
|
|
 |
| |