class DynamicTypeInfo

Declaration

class DynamicTypeInfo { /* full declaration omitted */ };

Description

Stores the currently inferred strictest bound on the runtime type of a region in a given state along the analysis path.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:19

Member Variables

private clang::QualType DynTy

private bool CanBeASubClass

Method Overview

• public DynamicTypeInfo()
• public DynamicTypeInfo(clang::QualType Ty, bool CanBeSub = true)
• public void Profile(llvm::FoldingSetNodeID & ID) const
• public bool canBeASubClass() const
• public clang::QualType getType() const
• public bool isValid() const
• public bool operator bool() const

Methods

¶DynamicTypeInfo()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:21

¶DynamicTypeInfo(clang::QualType Ty,
                bool CanBeSub = true)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:23

Parameters

clang::QualType Ty

bool CanBeSub = true

¶void Profile(llvm::FoldingSetNodeID& ID) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:42

Parameters

llvm::FoldingSetNodeID& ID

¶bool canBeASubClass() const

Description

Returns false if the type information is precise (the type 'DynTy' is the only type in the lattice), true otherwise.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:28

¶clang::QualType getType() const

Description

Returns the currently inferred upper bound on the runtime type.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:34

¶bool isValid() const

Description

Returns true if the dynamic type info is available.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:31

¶bool operator bool() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h:36