1 //===--- AllocationState.h ------------------------------------- *- 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_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
10 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
11 
12 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
13 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
14 
15 namespace clang {
16 namespace ento {
17 
18 namespace allocation_state {
19 
20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
21                              const Expr *Origin);
22 
23 /// This function provides an additional visitor that augments the bug report
24 /// with information relevant to memory errors caused by the misuse of
25 /// AF_InnerBuffer symbols.
26 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
27 
28 /// 'Sym' represents a pointer to the inner buffer of a container object.
29 /// This function looks up the memory region of that object in
30 /// DanglingInternalBufferChecker's program state map.
31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
32 
33 } // end namespace allocation_state
34 
35 } // end namespace ento
36 } // end namespace clang
37 
38 #endif
39