1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// RUN: %clang_analyze_cc1 \
// RUN: -analyzer-checker=core,unix.BlockInCriticalSection \
// RUN: -analyzer-output text -verify %s
// expected-no-diagnostics
#include "Inputs/system-header-simulator-cxx-std-locks.h"
std::mutex mtx;
using ssize_t = long long;
using size_t = unsigned long long;
int open(const char *__file, int __oflag, ...);
ssize_t read(int fd, void *buf, size_t count);
void close(int fd);
#define O_RDONLY 00
#define O_NONBLOCK 04000
void foo() {
std::lock_guard<std::mutex> lock(mtx);
const char *filename = "example.txt";
int fd = open(filename, O_RDONLY | O_NONBLOCK);
char buffer[200] = {};
read(fd, buffer, 199); // no-warning: fd is a non-block file descriptor or equals to -1
close(fd);
}
void foo1(int fd) {
std::lock_guard<std::mutex> lock(mtx);
const char *filename = "example.txt";
char buffer[200] = {};
if (fd == -1)
read(fd, buffer, 199); // no-warning: consider file descriptor is a symbol equals to -1
close(fd);
}
|
