1 // RUN: %clang_analyze_cc1 \
2 // RUN: -analyzer-checker=core,apiModeling.StdCLibraryFunctions \
3 // RUN: -analyzer-config apiModeling.StdCLibraryFunctions:ModelPOSIX=true \
4 // RUN: -verify %s
5 //
6 // expected-no-diagnostics
7
8 typedef long off_t;
9 typedef long long off64_t;
10 typedef unsigned long size_t;
11
12 void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset);
13 void *mmap64(void *addr, size_t length, int prot, int flags, int fd, off64_t offset);
14
test(long len)15 void test(long len) {
16 mmap(0, len, 2, 1, 0, 0); // no-crash
17 mmap64(0, len, 2, 1, 0, 0); // no-crash
18 }
19