Bug Summary

File:time/__map_file.c
Location:line 17, column 8
Description:Assigned value is garbage or undefined

Annotated Source Code

1#include <sys/mman.h>
2#include <fcntl.h>
3#include <sys/stat.h>
4#include "syscall.h"
5
6void *__mmap(void *, size_t, int, int, int, off_t);
7
8const char unsigned *__map_file(const char *pathname, size_t *size)
9{
10 struct stat st;
11 const unsigned char *map = MAP_FAILED((void *) -1);
12 int fd = __sys_open(pathname, O_RDONLY|O_CLOEXEC|O_NONBLOCK)__syscall2(2,((long) (pathname)),((long) ((00|02000000|04000)
|0)));
13 if (fd < 0) return 0;
1
Assuming 'fd' is >= 0
→
2
←
Taking false branch
→
14 if (!__syscall(SYS_fstat, fd, &st)__syscall2(5,((long) (fd)),((long) (&st))))
3
←
Taking false branch
→
15 map = __mmap(0, st.st_size, PROT_READ1, MAP_SHARED0x01, fd, 0);
16 __syscall(SYS_close, fd)__syscall1(3,((long) (fd)));
17 *size = st.st_size;
4
←
Assigned value is garbage or undefined
18 return map == MAP_FAILED((void *) -1) ? 0 : map;
19}