class RegionAndSymbolInvalidationTraits

Declaration

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

Description

Information about invalidation for a particular region/symbol.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1558

Member Variables

private llvm::DenseMap<const MemRegion*, StorageTypeForKinds> MRTraitsMap

private llvm::DenseMap<SymbolRef, StorageTypeForKinds> SymTraitsMap

Method Overview

• public bool hasTrait(clang::ento::SymbolRef Sym, clang::ento::RegionAndSymbolInvalidationTraits::InvalidationKinds IK) const
• public bool hasTrait(const clang::ento::MemRegion * MR, clang::ento::RegionAndSymbolInvalidationTraits::InvalidationKinds IK) const
• public void setTrait(clang::ento::SymbolRef Sym, clang::ento::RegionAndSymbolInvalidationTraits::InvalidationKinds IK)
• public void setTrait(const clang::ento::MemRegion * MR, clang::ento::RegionAndSymbolInvalidationTraits::InvalidationKinds IK)

Methods

¶bool hasTrait(
    clang::ento::SymbolRef Sym,
    clang::ento::
        RegionAndSymbolInvalidationTraits::
            InvalidationKinds IK) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1591

Parameters

clang::ento::SymbolRef Sym

clang::ento::RegionAndSymbolInvalidationTraits:: InvalidationKinds IK

¶bool hasTrait(
    const clang::ento::MemRegion* MR,
    clang::ento::
        RegionAndSymbolInvalidationTraits::
            InvalidationKinds IK) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1592

Parameters

const clang::ento::MemRegion* MR

clang::ento::RegionAndSymbolInvalidationTraits:: InvalidationKinds IK

¶void setTrait(
    clang::ento::SymbolRef Sym,
    clang::ento::
        RegionAndSymbolInvalidationTraits::
            InvalidationKinds IK)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1589

Parameters

clang::ento::SymbolRef Sym

clang::ento::RegionAndSymbolInvalidationTraits:: InvalidationKinds IK

¶void setTrait(
    const clang::ento::MemRegion* MR,
    clang::ento::
        RegionAndSymbolInvalidationTraits::
            InvalidationKinds IK)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1590

Parameters

const clang::ento::MemRegion* MR

clang::ento::RegionAndSymbolInvalidationTraits:: InvalidationKinds IK