10 (void)posix_fadvise(x
, 1, 2, POSIX_FADV_NORMAL
);
11 (void)posix_fadvise(BAD_FD
, x
, 2, POSIX_FADV_NORMAL
);
12 (void)posix_fadvise(BAD_FD
, 1, x
, POSIX_FADV_NORMAL
);
13 (void)posix_fadvise(BAD_FD
, 1, 2, x
);
15 x
= posix_fadvise(BAD_FD
, 1, 2, POSIX_FADV_NORMAL
);
18 fprintf(stderr
, "Unexpected return value: %d\n", x
);