clang/test/Analysis/std-c-library-posix-crash.c

   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
  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 }