(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/plugins/convert/convert-storage.c) |
| |
| 394 | | | int convert_storage(const char *source_data, |
| 395 | | | struct mail_namespace *dest_namespaces, |
| 396 | | | const struct convert_settings *set) |
| 397 | | | { |
| 398 | | | struct mail_user *user = dest_namespaces->user; |
| 399 | | | struct mail_namespace *source_ns, *dest_inbox_ns; |
| 400 | | | struct dotlock *dotlock; |
| 401 | | | enum mail_storage_flags src_flags; |
| 402 | | | enum file_lock_method lock_method; |
| 403 | | | const char *home, *path, *error; |
| 404 | | | int ret; |
| 405 | | | |
| 406 | | | i_assert(user->namespaces == dest_namespaces);
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 1:
Skipping " if". user->namespaces == dest_namespaces evaluates to true.
hide
Event 2:
Skipping " if". !(user->namespaces == dest_namespaces) evaluates to false.
hide
Event 3:
Skipping " if". !!(user->namespaces == dest_namespaces) evaluates to true.
hide
Event 4:
Skipping " if". !!!(user->namespaces == dest_namespaces) evaluates to false.
hide
Event 5:
Skipping " if". __builtin_expect(...) evaluates to false.
hide
|
|
| 407 | | | source_ns = mail_namespaces_init_empty(user); |
| 408 | | | user->namespaces = dest_namespaces; |
| 409 | | | |
| 410 | | | dest_inbox_ns = mail_namespace_find_inbox(dest_namespaces); |
| 411 | | | src_flags = dest_inbox_ns->storage->flags; |
| 412 | | | lock_method = dest_inbox_ns->storage->lock_method; |
| 413 | | | |
| 414 | | | src_flags |= MAIL_STORAGE_FLAG_NO_AUTOCREATE; |
| 415 | | | if (mail_storage_create(source_ns, NULL, source_data, |
| 416 | [+] | | src_flags, lock_method, &error) < 0) { |
Event 6:
&error is passed to mail_storage_create() as the sixth argument.
hide
Event 7:
mail_storage_create() does not initialize error. - This may be because of a failure case or other special case for mail_storage_create().
hide
|
|
 |
| |