1 //===--- AllocationState.h ------------------------------------- *- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
11 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
12 
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 } // end namespace allocation_state
24 
25 } // end namespace ento
26 } // end namespace clang
27 
28 #endif
29