class RegionChanges

Declaration

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

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:332

Method Overview

• private template <typename CHECKER>static clang::ento::ProgramStateRef _checkRegionChanges(void * checker, clang::ento::ProgramStateRef state, const clang::ento::InvalidatedSymbols * invalidated, ArrayRef<const clang::ento::MemRegion *> Explicits, ArrayRef<const clang::ento::MemRegion *> Regions, const clang::LocationContext * LCtx, const clang::ento::CallEvent * Call)
• public template <typename CHECKER>static void _register(CHECKER * checker, clang::ento::CheckerManager & mgr)

Methods

¶template <typename CHECKER>
static clang::ento::ProgramStateRef
_checkRegionChanges(
    void* checker,
    clang::ento::ProgramStateRef state,
    const clang::ento::InvalidatedSymbols*
        invalidated,
    ArrayRef<const clang::ento::MemRegion*>
        Explicits,
    ArrayRef<const clang::ento::MemRegion*>
        Regions,
    const clang::LocationContext* LCtx,
    const clang::ento::CallEvent* Call)

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:335

Templates

CHECKER

Parameters

void* checker

clang::ento::ProgramStateRef state

const clang::ento::InvalidatedSymbols* invalidated

ArrayRef<const clang::ento::MemRegion*> Explicits

ArrayRef<const clang::ento::MemRegion*> Regions

const clang::LocationContext* LCtx

const clang::ento::CallEvent* Call

¶template <typename CHECKER>
static void _register(
    CHECKER* checker,
    clang::ento::CheckerManager& mgr)

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:349

Templates

CHECKER

Parameters

CHECKER* checker

clang::ento::CheckerManager& mgr