blob: 59197d843a4128ae99e9e6f10c5c4b77fd27210e [file] [log] [blame]
Olivier Deprezf4ef2d02021-04-20 13:36:24 +02001//===--- SignalHandlerCheck.h - clang-tidy ----------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNALHANDLERCHECK_H
10#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNALHANDLERCHECK_H
11
12#include "../ClangTidyCheck.h"
13#include "llvm/ADT/StringSet.h"
14
15namespace clang {
16namespace tidy {
17namespace bugprone {
18
19/// Checker for signal handler functions.
20///
21/// For the user-facing documentation see:
22/// http://clang.llvm.org/extra/clang-tidy/checks/bugprone-signal-handler-check.html
23class SignalHandlerCheck : public ClangTidyCheck {
24public:
25 SignalHandlerCheck(StringRef Name, ClangTidyContext *Context);
26 bool isLanguageVersionSupported(const LangOptions &LangOpts) const override;
27 void registerMatchers(ast_matchers::MatchFinder *Finder) override;
28 void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
29
30private:
31 void reportBug(const FunctionDecl *CalledFunction, const Expr *CallOrRef,
32 const CallExpr *SignalCall, const FunctionDecl *HandlerDecl);
33 bool isSystemCallAllowed(const FunctionDecl *FD) const;
34
35 static llvm::StringSet<> StrictConformingFunctions;
36};
37
38} // namespace bugprone
39} // namespace tidy
40} // namespace clang
41
42#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNALHANDLERCHECK_H