0a6a1f1d05
This brings our tree to NetBSD 7.0, as found on -current on the 10-10-2015. This updates: - LLVM to 3.6.1 - GCC to GCC 5.1 - Replace minix/commands/zdump with usr.bin/zdump - external/bsd/libelf has moved to /external/bsd/elftoolchain/ - Import ctwm - Drop sprintf from libminc Change-Id: I149836ac18e9326be9353958bab9b266efb056f0
76 lines
1.6 KiB
C
76 lines
1.6 KiB
C
// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.API -verify %s
|
|
|
|
#ifndef O_RDONLY
|
|
#define O_RDONLY 0
|
|
#endif
|
|
|
|
#ifndef NULL
|
|
#define NULL ((void*) 0)
|
|
#endif
|
|
|
|
int open(const char *, int, ...);
|
|
int close(int fildes);
|
|
|
|
void open_1(const char *path) {
|
|
int fd;
|
|
fd = open(path, O_RDONLY); // no-warning
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_2(const char *path) {
|
|
int fd;
|
|
int mode = 0x0;
|
|
fd = open(path, O_RDONLY, mode, NULL); // expected-warning{{Call to 'open' with more than three arguments}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_3(const char *path) {
|
|
int fd;
|
|
fd = open(path, O_RDONLY, NULL); // expected-warning{{Third argument to 'open' is not an integer}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_4(const char *path) {
|
|
int fd;
|
|
fd = open(path, O_RDONLY, ""); // expected-warning{{Third argument to 'open' is not an integer}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_5(const char *path) {
|
|
int fd;
|
|
struct {
|
|
int val;
|
|
} st = {0};
|
|
fd = open(path, O_RDONLY, st); // expected-warning{{Third argument to 'open' is not an integer}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_6(const char *path) {
|
|
int fd;
|
|
struct {
|
|
int val;
|
|
} st = {0};
|
|
fd = open(path, O_RDONLY, st.val); // no-warning
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_7(const char *path) {
|
|
int fd;
|
|
fd = open(path, O_RDONLY, &open); // expected-warning{{Third argument to 'open' is not an integer}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|
|
|
|
void open_8(const char *path) {
|
|
int fd;
|
|
fd = open(path, O_RDONLY, 0.0f); // expected-warning{{Third argument to 'open' is not an integer}}
|
|
if (fd > -1)
|
|
close(fd);
|
|
}
|