gcc/testsuite/gcc.dg/analyzer/sock-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

__extension__ typedef __signed__ long long __s64;
typedef __s64 time64_t;
struct timespec64 {
 time64_t tv_sec;
 long tv_nsec;
};

extern struct timespec64 ns_to_timespec64(void);

int sock_gettstamp()
{
 struct timespec64 ts;

 /* [...snip...] */
 ts = ns_to_timespec64();
 if (ts.tv_sec == -1)
  return -2;
 /* [...snip...] */
 return 0;
}