// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.API -verify %s extern "C" { #ifndef O_RDONLY #define O_RDONLY 0 #endif #ifndef NULL #define NULL ((void*) 0) #endif int open(const char *, int, ...); int close(int fildes); } // extern "C" namespace MyNameSpace { int open(const char *a, int b, int c, int d); } void unix_open(const char *path) { int fd; fd = open(path, O_RDONLY); // no-warning if (fd > -1) close(fd); } void unix_open_misuse(const char *path) { int fd; int mode = 0x0; fd = open(path, O_RDONLY, mode, NULL); // expected-warning{{Call to 'open' with more than 3 arguments}} if (fd > -1) close(fd); } // Don't treat open() in namespaces as the POSIX open() void namespaced_open(const char *path) { MyNameSpace::open("Hi", 2, 3, 4); // no-warning using namespace MyNameSpace; open("Hi", 2, 3, 4); // no-warning int fd; int mode = 0x0; fd = ::open(path, O_RDONLY, mode, NULL); // expected-warning{{Call to 'open' with more than 3 arguments}} if (fd > -1) close(fd); } class MyClass { public: static int open(const char *a, int b, int c, int d); int open(int a, int, int c, int d); }; void class_qualified_open() { MyClass::open("Hi", 2, 3, 4); // no-warning MyClass mc; mc.open(1, 2, 3, 4); // no-warning } |