summaryrefslogtreecommitdiffstats
path: root/build/clang-plugin/MustReturnFromCallerChecker.h
diff options
context:
space:
mode:
Diffstat (limited to 'build/clang-plugin/MustReturnFromCallerChecker.h')
-rw-r--r--build/clang-plugin/MustReturnFromCallerChecker.h27
1 files changed, 27 insertions, 0 deletions
diff --git a/build/clang-plugin/MustReturnFromCallerChecker.h b/build/clang-plugin/MustReturnFromCallerChecker.h
new file mode 100644
index 0000000000..68630bf7a7
--- /dev/null
+++ b/build/clang-plugin/MustReturnFromCallerChecker.h
@@ -0,0 +1,27 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+#ifndef MustReturnFromCallerChecker_h__
+#define MustReturnFromCallerChecker_h__
+
+#include "RecurseGuard.h"
+#include "StmtToBlockMap.h"
+#include "Utils.h"
+#include "plugin.h"
+
+class MustReturnFromCallerChecker : public BaseCheck {
+public:
+ MustReturnFromCallerChecker(StringRef CheckName,
+ ContextType *Context = nullptr)
+ : BaseCheck(CheckName, Context) {}
+ void registerMatchers(MatchFinder *AstMatcher) override;
+ void check(const MatchFinder::MatchResult &Result) override;
+
+private:
+ bool isIgnorable(const Stmt *S);
+ bool immediatelyReturns(RecurseGuard<const CFGBlock *> Block,
+ ASTContext *TheContext, size_t FromIdx);
+};
+
+#endif