19 lines · c
1// RUN: %clang_analyze_cc1 \2// RUN: -analyzer-checker=core,unix.StdCLibraryFunctions \3// RUN: -analyzer-config unix.StdCLibraryFunctions:ModelPOSIX=true \4// RUN: -verify %s5//6// expected-no-diagnostics7 8typedef long off_t;9typedef long long off64_t;10typedef unsigned long size_t;11 12void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset);13void *mmap64(void *addr, size_t length, int prot, int flags, int fd, off64_t offset);14 15void test(long len) {16 mmap(0, len, 2, 1, 0, 0); // no-crash17 mmap64(0, len, 2, 1, 0, 0); // no-crash18}19