| //===--- AllocationState.h ------------------------------------- *- C++ -*-===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #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); |
| |
| } // end namespace allocation_state |
| |
| } // end namespace ento |
| } // end namespace clang |
| |
| #endif |
