1 //== ProgramState_Fwd.h - Incomplete declarations of ProgramState -*- C++ -*--=/
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H
11 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H
13 #include "clang/Basic/LLVM.h"
14 #include "llvm/ADT/IntrusiveRefCntPtr.h"
19 class ProgramStateManager;
20 void ProgramStateRetain(const ProgramState *state);
21 void ProgramStateRelease(const ProgramState *state);
26 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
27 static void retain(const clang::ento::ProgramState *state) {
28 clang::ento::ProgramStateRetain(state);
30 static void release(const clang::ento::ProgramState *state) {
31 clang::ento::ProgramStateRelease(state);
38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef;