Coverage Report

Created: 2020-11-24 06:42

/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() : DynTy(QualType()) {}
22
23
  DynamicTypeInfo(QualType Ty, bool CanBeSub = true)
24
8.47k
      : 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.13k
  bool canBeASubClass() const { return CanBeASubClass; }
29
30
  /// Returns true if the dynamic type info is available.
31
6.14k
  bool isValid() const { return !DynTy.isNull(); }
32
33
  /// Returns the currently inferred upper bound on the runtime type.
34
7.10k
  QualType getType() const { return DynTy; }
35
36
51
  operator bool() const { return isValid(); }
37
38
1.12k
  bool operator==(const DynamicTypeInfo &RHS) const {
39
1.12k
    return DynTy == RHS.DynTy && CanBeASubClass == RHS.CanBeASubClass;
40
1.12k
  }
41
42
5.96k
  void Profile(llvm::FoldingSetNodeID &ID) const {
43
5.96k
    ID.Add(DynTy);
44
5.96k
    ID.AddBoolean(CanBeASubClass);
45
5.96k
  }
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