Bug Summary

File:src/stdio/__stdio_seek.c
Location:line 12, column 2
Description:Undefined or garbage value returned to caller

Annotated Source Code

1#include "stdio_impl.h"
2
3off_t __stdio_seek(FILE *f, off_t off, int whence)
4{
5 off_t ret;
1
'ret' declared without an initial value
6#ifdef SYS__llseek140
7 if (syscall(SYS__llseek, f->fd, off>>32, off, &ret, whence)__syscall_ret(__syscall5(140,((long) (f->fd)),((long) (off
>>32)),((long) (off)),((long) (&ret)),((long) (whence
))))
<0)
2
Taking false branch
8 ret = -1;
9#else
10 ret = syscall(SYS_lseek, f->fd, off, whence)__syscall_ret(__syscall3(19,((long) (f->fd)),((long) (off)
),((long) (whence))))
;
11#endif
12 return ret;
3
Undefined or garbage value returned to caller
13}