/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h
Line | Count | Source (jump to first uncovered line) |
1 | | //===- StoreRef.h - Smart pointer for store objects -------------*- 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 | | // This file defined the type StoreRef. |
10 | | // |
11 | | //===----------------------------------------------------------------------===// |
12 | | |
13 | | #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_STOREREF_H |
14 | | #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_STOREREF_H |
15 | | |
16 | | #include <cassert> |
17 | | |
18 | | namespace clang { |
19 | | namespace ento { |
20 | | |
21 | | class StoreManager; |
22 | | |
23 | | /// Store - This opaque type encapsulates an immutable mapping from |
24 | | /// locations to values. At a high-level, it represents the symbolic |
25 | | /// memory model. Different subclasses of StoreManager may choose |
26 | | /// different types to represent the locations and values. |
27 | | using Store = const void *; |
28 | | |
29 | | class StoreRef { |
30 | | Store store; |
31 | | StoreManager &mgr; |
32 | | |
33 | | public: |
34 | | StoreRef(Store store, StoreManager &smgr); |
35 | | StoreRef(const StoreRef &sr); |
36 | | StoreRef &operator=(StoreRef const &newStore); |
37 | | ~StoreRef(); |
38 | | |
39 | 0 | bool operator==(const StoreRef &x) const { |
40 | 0 | assert(&mgr == &x.mgr); |
41 | 0 | return x.store == store; |
42 | 0 | } |
43 | | |
44 | 0 | bool operator!=(const StoreRef &x) const { return !operator==(x); } |
45 | | |
46 | 1.31M | Store getStore() const { return store; } |
47 | 15.0k | const StoreManager &getStoreManager() const { return mgr; } |
48 | | }; |
49 | | |
50 | | } // namespace ento |
51 | | } // namespace clang |
52 | | |
53 | | #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_STOREREF_H |