| Wei Yi Tee | 543af74 | 2022-06-01 06:52:24 -0700 | [diff] [blame] | 1 | // Part of the Crubit project, under the Apache License v2.0 with LLVM |
| 2 | // Exceptions. See /LICENSE for license information. |
| 3 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 4 | |
| 5 | #ifndef CRUBIT_NULLABILITY_VERIFICATION_POINTER_NULLABILITY_MATCHERS_H_ |
| 6 | #define CRUBIT_NULLABILITY_VERIFICATION_POINTER_NULLABILITY_MATCHERS_H_ |
| 7 | |
| 8 | #include "clang/ASTMatchers/ASTMatchersInternal.h" |
| 9 | |
| 10 | namespace clang { |
| 11 | namespace tidy { |
| 12 | namespace nullability { |
| 13 | |
| Wei Yi Tee | 1cd62af | 2022-06-09 00:56:46 -0700 | [diff] [blame] | 14 | ast_matchers::internal::Matcher<Stmt> isPointerVariableReference(); |
| Wei Yi Tee | f02698e | 2022-06-10 04:25:48 -0700 | [diff] [blame] | 15 | ast_matchers::internal::Matcher<Stmt> isMemberExprInvolvingPointers(); |
| Wei Yi Tee | cebc226 | 2022-06-10 04:27:57 -0700 | [diff] [blame] | 16 | ast_matchers::internal::Matcher<Stmt> isCXXThisExpr(); |
| Wei Yi Tee | 1cd62af | 2022-06-09 00:56:46 -0700 | [diff] [blame] | 17 | ast_matchers::internal::Matcher<Stmt> isNullPointerLiteral(); |
| 18 | ast_matchers::internal::Matcher<Stmt> isAddrOf(); |
| Wei Yi Tee | 543af74 | 2022-06-01 06:52:24 -0700 | [diff] [blame] | 19 | ast_matchers::internal::Matcher<Stmt> isPointerDereference(); |
| Wei Yi Tee | 1cd62af | 2022-06-09 00:56:46 -0700 | [diff] [blame] | 20 | ast_matchers::internal::Matcher<Stmt> isPointerCheckBinOp(); |
| 21 | ast_matchers::internal::Matcher<Stmt> isImplicitCastPointerToBool(); |
| Wei Yi Tee | 543af74 | 2022-06-01 06:52:24 -0700 | [diff] [blame] | 22 | } // namespace nullability |
| 23 | } // namespace tidy |
| 24 | } // namespace clang |
| 25 | |
| 26 | #endif // CRUBIT_NULLABILITY_VERIFICATION_POINTER_NULLABILITY_MATCHERS_H_ |
