1 //===--- 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 
15 namespace clang {
16 namespace tidy {
17 namespace 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
23 class SignalHandlerCheck : public ClangTidyCheck {
24 public:
25   enum class AsyncSafeFunctionSetType { Minimal, POSIX };
26 
27   SignalHandlerCheck(StringRef Name, ClangTidyContext *Context);
28   void storeOptions(ClangTidyOptions::OptionMap &Opts) override;
29   bool isLanguageVersionSupported(const LangOptions &LangOpts) const override;
30   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
31   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
32 
33 private:
34   void reportBug(const FunctionDecl *CalledFunction, const Expr *CallOrRef,
35                  const CallExpr *SignalCall, const FunctionDecl *HandlerDecl);
36   bool isSystemCallAllowed(const FunctionDecl *FD) const;
37 
38   AsyncSafeFunctionSetType AsyncSafeFunctionSet;
39   llvm::StringSet<> &ConformingFunctions;
40 
41   static llvm::StringSet<> MinimalConformingFunctions;
42   static llvm::StringSet<> POSIXConformingFunctions;
43 };
44 
45 } // namespace bugprone
46 } // namespace tidy
47 } // namespace clang
48 
49 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_SIGNALHANDLERCHECK_H
50