summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/AllocationState.h
diff options
context:
space:
mode:
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/AllocationState.h')
-rw-r--r--lib/StaticAnalyzer/Checkers/AllocationState.h38
1 files changed, 0 insertions, 38 deletions
diff --git a/lib/StaticAnalyzer/Checkers/AllocationState.h b/lib/StaticAnalyzer/Checkers/AllocationState.h
deleted file mode 100644
index 25de370033190..0000000000000
--- a/lib/StaticAnalyzer/Checkers/AllocationState.h
+++ /dev/null
@@ -1,38 +0,0 @@
-//===--- AllocationState.h ------------------------------------- *- C++ -*-===//
-//
-// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
-// See https://llvm.org/LICENSE.txt for license information.
-// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
-#define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
-
-#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
-#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
-
-namespace clang {
-namespace ento {
-
-namespace allocation_state {
-
-ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
- const Expr *Origin);
-
-/// This function provides an additional visitor that augments the bug report
-/// with information relevant to memory errors caused by the misuse of
-/// AF_InnerBuffer symbols.
-std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
-
-/// 'Sym' represents a pointer to the inner buffer of a container object.
-/// This function looks up the memory region of that object in
-/// DanglingInternalBufferChecker's program state map.
-const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
-
-} // end namespace allocation_state
-
-} // end namespace ento
-} // end namespace clang
-
-#endif