class ConstraintManager::AssumeStackTy

Declaration

class ConstraintManager::AssumeStackTy { /* full declaration omitted */ };

Description

A helper class to simulate the call stack of nested assume calls.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:133

Member Variables

private llvm::SmallVector<const ProgramState*, 4> Aux

Method Overview

• public bool contains(const clang::ento::ProgramState * S) const
• public void pop()
• public void push(const clang::ento::ProgramState * S)

Methods

¶bool contains(
    const clang::ento::ProgramState* S) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:137

Parameters

const clang::ento::ProgramState* S

¶void pop()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:136

¶void push(const clang::ento::ProgramState* S)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:135

Parameters

const clang::ento::ProgramState* S