Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here.
PiperOrigin-RevId: 528495113
diff --git a/nullability/pointer_nullability_analysis.h b/nullability/pointer_nullability_analysis.h
new file mode 100644
index 0000000..0b88497
--- /dev/null
+++ b/nullability/pointer_nullability_analysis.h
@@ -0,0 +1,57 @@
+// Part of the Crubit project, under the Apache License v2.0 with LLVM
+// Exceptions. See /LICENSE for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#ifndef CRUBIT_NULLABILITY_POINTER_NULLABILITY_ANALYSIS_H_
+#define CRUBIT_NULLABILITY_POINTER_NULLABILITY_ANALYSIS_H_
+
+#include "nullability/pointer_nullability_lattice.h"
+#include "clang/AST/ASTContext.h"
+#include "clang/AST/Type.h"
+#include "clang/Analysis/FlowSensitive/CFGMatchSwitch.h"
+#include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
+#include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
+#include "clang/Analysis/FlowSensitive/Value.h"
+
+namespace clang {
+namespace tidy {
+namespace nullability {
+
+/// Analyses constructs in the source code to collect nullability information
+/// about pointers at each program point.
+class PointerNullabilityAnalysis
+ : public dataflow::DataflowAnalysis<PointerNullabilityAnalysis,
+ PointerNullabilityLattice> {
+ private:
+ absl::flat_hash_map<const Expr*, std::vector<NullabilityKind>>
+ ExprToNullability;
+
+ public:
+ explicit PointerNullabilityAnalysis(ASTContext& context);
+
+ PointerNullabilityLattice initialElement() {
+ return PointerNullabilityLattice(ExprToNullability);
+ }
+
+ void transfer(const CFGElement& Elt, PointerNullabilityLattice& Lattice,
+ dataflow::Environment& Env);
+
+ bool merge(QualType Type, const dataflow::Value& Val1,
+ const dataflow::Environment& Env1, const dataflow::Value& Val2,
+ const dataflow::Environment& Env2, dataflow::Value& MergedVal,
+ dataflow::Environment& MergedEnv) override;
+
+ private:
+ // Applies non-flow-sensitive transfer functions on statements
+ dataflow::CFGMatchSwitch<dataflow::TransferState<PointerNullabilityLattice>>
+ NonFlowSensitiveTransferer;
+
+ // Applies flow-sensitive transfer functions on statements
+ dataflow::CFGMatchSwitch<dataflow::TransferState<PointerNullabilityLattice>>
+ FlowSensitiveTransferer;
+};
+} // namespace nullability
+} // namespace tidy
+} // namespace clang
+
+#endif // CRUBIT_NULLABILITY_POINTER_NULLABILITY_ANALYSIS_H_
