Coverage Report

Created: 2018-09-23 03:40

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h
Line
Count
Source
1
//== DynamicTypeInfo.h - Runtime type information ----------------*- C++ -*--=//
2
//
3
//                     The LLVM Compiler Infrastructure
4
//
5
// This file is distributed under the University of Illinois Open Source
6
// License. See LICENSE.TXT for details.
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
private:
21
  QualType T;
22
  bool CanBeASubClass;
23
24
public:
25
26
2
  DynamicTypeInfo() : T(QualType()) {}
27
  DynamicTypeInfo(QualType WithType, bool CanBeSub = true)
28
6.70k
    : T(WithType), CanBeASubClass(CanBeSub) {}
29
30
  /// Return false if no dynamic type info is available.
31
4.96k
  bool isValid() const { return !T.isNull(); }
32
33
  /// Returns the currently inferred upper bound on the runtime type.
34
5.85k
  QualType getType() const { return T; }
35
36
  /// Returns false if the type information is precise (the type T is
37
  /// the only type in the lattice), true otherwise.
38
2.53k
  bool canBeASubClass() const { return CanBeASubClass; }
39
40
4.92k
  void Profile(llvm::FoldingSetNodeID &ID) const {
41
4.92k
    ID.Add(T);
42
4.92k
    ID.AddInteger((unsigned)CanBeASubClass);
43
4.92k
  }
44
1.01k
  bool operator==(const DynamicTypeInfo &X) const {
45
1.01k
    return T == X.T && CanBeASubClass == X.CanBeASubClass;
46
1.01k
  }
47
};
48
49
} // end ento
50
} // end clang
51
52
#endif