1// RUN: %clang_cc1 -fsyntax-only %s
2// Make sure OpenBSD's bounded extension is accepted.
3
4typedef long ssize_t;
5typedef unsigned long size_t;
6typedef struct FILE FILE;
7
8ssize_t read(int, void *, size_t)
9    __attribute__((__bounded__(__buffer__,2,3)));
10int readlink(const char *, char *, size_t)
11    __attribute__((__bounded__(__string__,2,3)));
12size_t fread(void *, size_t, size_t, FILE *)
13    __attribute__((__bounded__(__size__,1,3,2)));
14char *getwd(char *)
15    __attribute__((__bounded__(__minbytes__,1,1024)));