/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h
Line | Count | Source |
1 | | //===- DynamicTypeInfo.h - Runtime type information -------------*- 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_DYNAMICTYPEINFO_H |
10 | | #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H |
11 | | |
12 | | #include "clang/AST/Type.h" |
13 | | |
14 | | namespace clang { |
15 | | namespace ento { |
16 | | |
17 | | /// Stores the currently inferred strictest bound on the runtime type |
18 | | /// of a region in a given state along the analysis path. |
19 | | class DynamicTypeInfo { |
20 | | public: |
21 | 16 | DynamicTypeInfo() {} |
22 | | |
23 | | DynamicTypeInfo(QualType Ty, bool CanBeSub = true) |
24 | 8.70k | : DynTy(Ty), CanBeASubClass(CanBeSub) {} |
25 | | |
26 | | /// Returns false if the type information is precise (the type 'DynTy' is |
27 | | /// the only type in the lattice), true otherwise. |
28 | 3.10k | bool canBeASubClass() const { return CanBeASubClass; } |
29 | | |
30 | | /// Returns true if the dynamic type info is available. |
31 | 6.11k | bool isValid() const { return !DynTy.isNull(); } |
32 | | |
33 | | /// Returns the currently inferred upper bound on the runtime type. |
34 | 7.11k | QualType getType() const { return DynTy; } |
35 | | |
36 | 51 | operator bool() const { return isValid(); } |
37 | | |
38 | 1.19k | bool operator==(const DynamicTypeInfo &RHS) const { |
39 | 1.19k | return DynTy == RHS.DynTy && CanBeASubClass == RHS.CanBeASubClass; |
40 | 1.19k | } |
41 | | |
42 | 6.42k | void Profile(llvm::FoldingSetNodeID &ID) const { |
43 | 6.42k | ID.Add(DynTy); |
44 | 6.42k | ID.AddBoolean(CanBeASubClass); |
45 | 6.42k | } |
46 | | |
47 | | private: |
48 | | QualType DynTy; |
49 | | bool CanBeASubClass; |
50 | | }; |
51 | | |
52 | | } // namespace ento |
53 | | } // namespace clang |
54 | | |
55 | | #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_DYNAMICTYPEINFO_H |