(/home/sate/Testcases/c/cve/dovecot-1.2.0/src/lib/sendfile-util.c) |
| |
| 19 | | | ssize_t safe_sendfile(int out_fd, int in_fd, uoff_t *offset, size_t count) |
| 20 | | | { |
| 21 | | | |
| 22 | | | off_t safe_offset; |
| 23 | | | ssize_t ret; |
| 24 | | | |
| 25 | | | if (count == 0) |
| 26 | | | return 0; |
| 27 | | | |
| 28 | | | |
| 29 | | | if (sizeof(off_t) * CHAR_BIT == 32) { |
| 30 | | | |
| 31 | | | if (*offset >= 2147483647L) { |
| 32 | | | errno = EINVAL;
x /usr/include/asm-generic/errno-base.h |
| |
25 | #define EINVAL 22 /* Invalid argument */ |
| |
|
| 33 | | | return -1; |
| 34 | | | } |
| 35 | | | if (count > 2147483647L - *offset) |
| 36 | | | count = 2147483647L - *offset; |
| 37 | | | } else { |
| 38 | | | |
| 39 | | | |
| 40 | | | i_assert(sizeof(off_t) == sizeof(uoff_t));
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 |
| |
|
Unreachable Call
The highlighted code will not execute under any circumstances. This may be because of: |
|
| 41 | | | |
| 42 | | | if (*offset >= OFF_T_MAX) { |
| 43 | | | errno = EINVAL;
x /usr/include/asm-generic/errno-base.h |
| |
25 | #define EINVAL 22 /* Invalid argument */ |
| |
|
| 44 | | | return -1; |
| 45 | | | } |
| 46 | | | if (count > OFF_T_MAX - *offset) |
| 47 | | | count = OFF_T_MAX - *offset; |
| 48 | | | } |
| 49 | | | |
| 50 | | | safe_offset = (off_t)*offset; |
| 51 | | | ret = sendfile(out_fd, in_fd, &safe_offset, count); |
| 52 | | | |
| 53 | | | *offset = (uoff_t)safe_offset; |
| 54 | | | return ret; |
| 55 | | | } |
| |