/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h
Line | Count | Source |
1 | | //== ProgramState_Fwd.h - Incomplete declarations of ProgramState -*- 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_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H |
10 | | #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H |
11 | | |
12 | | #include "clang/Basic/LLVM.h" |
13 | | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
14 | | |
15 | | namespace clang { |
16 | | namespace ento { |
17 | | class ProgramState; |
18 | | class ProgramStateManager; |
19 | | void ProgramStateRetain(const ProgramState *state); |
20 | | void ProgramStateRelease(const ProgramState *state); |
21 | | } |
22 | | } |
23 | | |
24 | | namespace llvm { |
25 | | template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> { |
26 | 134M | static void retain(const clang::ento::ProgramState *state) { |
27 | 134M | clang::ento::ProgramStateRetain(state); |
28 | 134M | } |
29 | 125M | static void release(const clang::ento::ProgramState *state) { |
30 | 125M | clang::ento::ProgramStateRelease(state); |
31 | 125M | } |
32 | | }; |
33 | | } |
34 | | |
35 | | namespace clang { |
36 | | namespace ento { |
37 | | typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; |
38 | | } |
39 | | } |
40 | | |
41 | | #endif |
42 | | |