class VisitReducer

Declaration

template <class Self>
class VisitReducer : public VisitReducerBase { /* full declaration omitted */ };

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:185

Inherits from: VisitReducerBase

Templates

Self

Member Variables

private bool Success

Method Overview

public VisitReducer<Self>()
public void enterBasicBlock(clang::threadSafety::til::BasicBlock & BB)
public void enterCFG(clang::threadSafety::til::SCFG & Cfg)
public clang::threadSafety::til::Variable * enterScope(clang::threadSafety::til::Variable & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public void exitBasicBlock(clang::threadSafety::til::BasicBlock & BB)
public void exitCFG(clang::threadSafety::til::SCFG & Cfg)
public void exitScope(const clang::threadSafety::til::Variable & Orig)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceAlloc(clang::threadSafety::til::Alloc & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceApply(clang::threadSafety::til::Apply & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceArrayAdd(clang::threadSafety::til::Store & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceArrayIndex(clang::threadSafety::til::Store & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_BasicBlock reduceBasicBlock(clang::threadSafety::til::BasicBlock & Orig, Container<clang::threadSafety::til::VisitReducerBase::R_SExpr> & As, Container<clang::threadSafety::til::VisitReducerBase::R_SExpr> & Is, clang::threadSafety::til::VisitReducerBase::R_SExpr T)
public clang::threadSafety::til::BasicBlock * reduceBasicBlockRef(clang::threadSafety::til::BasicBlock * Obb)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceBinaryOp(clang::threadSafety::til::BinaryOp & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceBranch(clang::threadSafety::til::Branch & O, clang::threadSafety::til::VisitReducerBase::R_SExpr C, clang::threadSafety::til::BasicBlock * B0, clang::threadSafety::til::BasicBlock * B1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceCall(clang::threadSafety::til::Call & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceCast(clang::threadSafety::til::Cast & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceCode(clang::threadSafety::til::Code & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceField(clang::threadSafety::til::Field & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceFunction(clang::threadSafety::til::Function & Orig, clang::threadSafety::til::Variable * Nvd, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceGoto(clang::threadSafety::til::Goto & Orig, clang::threadSafety::til::BasicBlock * B)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceIdentifier(clang::threadSafety::til::Identifier & Orig)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceIfThenElse(clang::threadSafety::til::IfThenElse & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr C, clang::threadSafety::til::VisitReducerBase::R_SExpr T, clang::threadSafety::til::VisitReducerBase::R_SExpr E)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceLet(clang::threadSafety::til::Let & Orig, clang::threadSafety::til::Variable * Nvd, clang::threadSafety::til::VisitReducerBase::R_SExpr B)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceLiteral(clang::threadSafety::til::Literal & Orig)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceLiteralPtr(clang::threadSafety::til::Literal & Orig)
public template <class T>clang::threadSafety::til::VisitReducerBase::R_SExpr reduceLiteralT(LiteralT<T> & Orig)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceLoad(clang::threadSafety::til::Load & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceNull()
public clang::threadSafety::til::VisitReducerBase::R_SExpr reducePhi(clang::threadSafety::til::Phi & Orig, Container<clang::threadSafety::til::VisitReducerBase::R_SExpr> & As)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceProject(clang::threadSafety::til::Project & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceReturn(clang::threadSafety::til::Return & O, clang::threadSafety::til::VisitReducerBase::R_SExpr E)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceSApply(clang::threadSafety::til::SApply & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceSCFG(clang::threadSafety::til::SCFG & Orig, Container<clang::threadSafety::til::BasicBlock *> Bbs)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceSFunction(clang::threadSafety::til::SFunction & Orig, clang::threadSafety::til::Variable * Nvd, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceStore(clang::threadSafety::til::Store & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0, clang::threadSafety::til::VisitReducerBase::R_SExpr E1)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceUnaryOp(clang::threadSafety::til::UnaryOp & Orig, clang::threadSafety::til::VisitReducerBase::R_SExpr E0)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceUndefined(clang::threadSafety::til::Undefined & Orig)
public clang::threadSafety::til::Variable * reduceVariableRef(clang::threadSafety::til::Variable * Ovd)
public clang::threadSafety::til::VisitReducerBase::R_SExpr reduceWildcard(clang::threadSafety::til::Wildcard & Orig)
public bool traverse(clang::threadSafety::til::SExpr * E, clang::threadSafety::til::SimpleReducerBase::TraversalKind K = TRV_Normal)
public static bool visit(clang::threadSafety::til::SExpr * E)

Inherited from SimpleReducerBase:

Methods

¶VisitReducer<Self>()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:188

¶void enterBasicBlock(
    clang::threadSafety::til::BasicBlock& BB)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:287

Parameters

clang::threadSafety::til::BasicBlock& BB

¶void enterCFG(clang::threadSafety::til::SCFG& Cfg)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:285

Parameters

clang::threadSafety::til::SCFG& Cfg

¶clang::threadSafety::til::Variable* enterScope(
    clang::threadSafety::til::Variable& Orig,
    clang::threadSafety::til::VisitReducerBase::
        R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:283

Parameters

clang::threadSafety::til::Variable& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶void exitBasicBlock(
    clang::threadSafety::til::BasicBlock& BB)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:288

Parameters

clang::threadSafety::til::BasicBlock& BB

¶void exitCFG(clang::threadSafety::til::SCFG& Cfg)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:286

Parameters

clang::threadSafety::til::SCFG& Cfg

¶void exitScope(
    const clang::threadSafety::til::Variable&
        Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:284

Parameters

const clang::threadSafety::til::Variable& Orig

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceAlloc(
        clang::threadSafety::til::Alloc& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:226

Parameters

clang::threadSafety::til::Alloc& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceApply(
        clang::threadSafety::til::Apply& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:216

Parameters

clang::threadSafety::til::Apply& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceArrayAdd(
        clang::threadSafety::til::Store& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:234

Parameters

clang::threadSafety::til::Store& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceArrayIndex(
        clang::threadSafety::til::Store& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:230

Parameters

clang::threadSafety::til::Store& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_BasicBlock
    reduceBasicBlock(
        clang::threadSafety::til::BasicBlock&
            Orig,
        Container<clang::threadSafety::til::
                      VisitReducerBase::R_SExpr>&
            As,
        Container<clang::threadSafety::til::
                      VisitReducerBase::R_SExpr>&
            Is,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr T)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:250

Parameters

clang::threadSafety::til::BasicBlock& Orig
Container<clang::threadSafety::til:: VisitReducerBase::R_SExpr>& As
Container<clang::threadSafety::til:: VisitReducerBase::R_SExpr>& Is
clang::threadSafety::til::VisitReducerBase:: R_SExpr T

¶clang::threadSafety::til::BasicBlock*
reduceBasicBlockRef(
    clang::threadSafety::til::BasicBlock* Obb)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:291

Parameters

clang::threadSafety::til::BasicBlock* Obb

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceBinaryOp(
        clang::threadSafety::til::BinaryOp& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:240

Parameters

clang::threadSafety::til::BinaryOp& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceBranch(
        clang::threadSafety::til::Branch& O,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr C,
        clang::threadSafety::til::BasicBlock* B0,
        clang::threadSafety::til::BasicBlock* B1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:263

Parameters

clang::threadSafety::til::Branch& O
clang::threadSafety::til::VisitReducerBase:: R_SExpr C
clang::threadSafety::til::BasicBlock* B0
clang::threadSafety::til::BasicBlock* B1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceCall(
        clang::threadSafety::til::Call& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:225

Parameters

clang::threadSafety::til::Call& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceCast(
        clang::threadSafety::til::Cast& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:244

Parameters

clang::threadSafety::til::Cast& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceCode(
        clang::threadSafety::til::Code& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:208

Parameters

clang::threadSafety::til::Code& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceField(
        clang::threadSafety::til::Field& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:212

Parameters

clang::threadSafety::til::Field& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceFunction(
        clang::threadSafety::til::Function& Orig,
        clang::threadSafety::til::Variable* Nvd,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:200

Parameters

clang::threadSafety::til::Function& Orig
clang::threadSafety::til::Variable* Nvd
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceGoto(
        clang::threadSafety::til::Goto& Orig,
        clang::threadSafety::til::BasicBlock* B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:259

Parameters

clang::threadSafety::til::Goto& Orig
clang::threadSafety::til::BasicBlock* B

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceIdentifier(
        clang::threadSafety::til::Identifier&
            Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:271

Parameters

clang::threadSafety::til::Identifier& Orig

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceIfThenElse(
        clang::threadSafety::til::IfThenElse&
            Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr C,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr T,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:275

Parameters

clang::threadSafety::til::IfThenElse& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr C
clang::threadSafety::til::VisitReducerBase:: R_SExpr T
clang::threadSafety::til::VisitReducerBase:: R_SExpr E

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceLet(
        clang::threadSafety::til::Let& Orig,
        clang::threadSafety::til::Variable* Nvd,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:279

Parameters

clang::threadSafety::til::Let& Orig
clang::threadSafety::til::Variable* Nvd
clang::threadSafety::til::VisitReducerBase:: R_SExpr B

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceLiteral(
        clang::threadSafety::til::Literal& Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:195

Parameters

clang::threadSafety::til::Literal& Orig

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceLiteralPtr(
        clang::threadSafety::til::Literal& Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:198

Parameters

clang::threadSafety::til::Literal& Orig

¶template <class T>
clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceLiteralT(LiteralT<T>& Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:197

Templates

T

Parameters

LiteralT<T>& Orig

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceLoad(
        clang::threadSafety::til::Load& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:227

Parameters

clang::threadSafety::til::Load& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceNull()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:191

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reducePhi(
        clang::threadSafety::til::Phi& Orig,
        Container<clang::threadSafety::til::
                      VisitReducerBase::R_SExpr>&
            As)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:255

Parameters

clang::threadSafety::til::Phi& Orig
Container<clang::threadSafety::til:: VisitReducerBase::R_SExpr>& As

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceProject(
        clang::threadSafety::til::Project& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:224

Parameters

clang::threadSafety::til::Project& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceReturn(
        clang::threadSafety::til::Return& O,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:267

Parameters

clang::threadSafety::til::Return& O
clang::threadSafety::til::VisitReducerBase:: R_SExpr E

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceSApply(
        clang::threadSafety::til::SApply& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:220

Parameters

clang::threadSafety::til::SApply& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceSCFG(
        clang::threadSafety::til::SCFG& Orig,
        Container<
            clang::threadSafety::til::BasicBlock*>
            Bbs)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:246

Parameters

clang::threadSafety::til::SCFG& Orig
Container<clang::threadSafety::til::BasicBlock*> Bbs

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceSFunction(
        clang::threadSafety::til::SFunction& Orig,
        clang::threadSafety::til::Variable* Nvd,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:204

Parameters

clang::threadSafety::til::SFunction& Orig
clang::threadSafety::til::Variable* Nvd
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceStore(
        clang::threadSafety::til::Store& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E1)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:228

Parameters

clang::threadSafety::til::Store& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0
clang::threadSafety::til::VisitReducerBase:: R_SExpr E1

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceUnaryOp(
        clang::threadSafety::til::UnaryOp& Orig,
        clang::threadSafety::til::
            VisitReducerBase::R_SExpr E0)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:238

Parameters

clang::threadSafety::til::UnaryOp& Orig
clang::threadSafety::til::VisitReducerBase:: R_SExpr E0

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceUndefined(
        clang::threadSafety::til::Undefined& Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:192

Parameters

clang::threadSafety::til::Undefined& Orig

¶clang::threadSafety::til::Variable*
reduceVariableRef(
    clang::threadSafety::til::Variable* Ovd)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:290

Parameters

clang::threadSafety::til::Variable* Ovd

¶clang::threadSafety::til::VisitReducerBase::
    R_SExpr
    reduceWildcard(
        clang::threadSafety::til::Wildcard& Orig)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:193

Parameters

clang::threadSafety::til::Wildcard& Orig

¶bool traverse(
    clang::threadSafety::til::SExpr* E,
    clang::threadSafety::til::SimpleReducerBase::
        TraversalKind K = TRV_Normal)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:294

Parameters

clang::threadSafety::til::SExpr* E
clang::threadSafety::til::SimpleReducerBase:: TraversalKind K = TRV_Normal

¶static bool visit(
    clang::threadSafety::til::SExpr* E)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:299

Parameters

clang::threadSafety::til::SExpr* E

class VisitReducer

Declaration

Templates

Member Variables

Method Overview

Methods

¶VisitReducer<Self>()

¶void enterBasicBlock( clang::threadSafety::til::BasicBlock& BB)

Parameters

¶void enterCFG(clang::threadSafety::til::SCFG& Cfg)

Parameters

¶clang::threadSafety::til::Variable* enterScope( clang::threadSafety::til::Variable& Orig, clang::threadSafety::til::VisitReducerBase:: R_SExpr E0)

Parameters

¶void exitBasicBlock( clang::threadSafety::til::BasicBlock& BB)

Parameters

¶void exitCFG(clang::threadSafety::til::SCFG& Cfg)

Parameters

¶void exitScope( const clang::threadSafety::til::Variable& Orig)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceAlloc( clang::threadSafety::til::Alloc& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceApply( clang::threadSafety::til::Apply& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceArrayAdd( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceArrayIndex( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

Parameters

¶clang::threadSafety::til::BasicBlock* reduceBasicBlockRef( clang::threadSafety::til::BasicBlock* Obb)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceBinaryOp( clang::threadSafety::til::BinaryOp& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceBranch( clang::threadSafety::til::Branch& O, clang::threadSafety::til:: VisitReducerBase::R_SExpr C, clang::threadSafety::til::BasicBlock* B0, clang::threadSafety::til::BasicBlock* B1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCall( clang::threadSafety::til::Call& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCast( clang::threadSafety::til::Cast& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCode( clang::threadSafety::til::Code& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceField( clang::threadSafety::til::Field& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceFunction( clang::threadSafety::til::Function& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceGoto( clang::threadSafety::til::Goto& Orig, clang::threadSafety::til::BasicBlock* B)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceIdentifier( clang::threadSafety::til::Identifier& Orig)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceIfThenElse( clang::threadSafety::til::IfThenElse& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr C, clang::threadSafety::til:: VisitReducerBase::R_SExpr T, clang::threadSafety::til:: VisitReducerBase::R_SExpr E)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLet( clang::threadSafety::til::Let& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr B)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteral( clang::threadSafety::til::Literal& Orig)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteralPtr( clang::threadSafety::til::Literal& Orig)

Parameters

¶template <class T> clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteralT(LiteralT<T>& Orig)

Templates

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLoad( clang::threadSafety::til::Load& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceNull()

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reducePhi( clang::threadSafety::til::Phi& Orig, Container<clang::threadSafety::til:: VisitReducerBase::R_SExpr>& As)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceProject( clang::threadSafety::til::Project& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceReturn( clang::threadSafety::til::Return& O, clang::threadSafety::til:: VisitReducerBase::R_SExpr E)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSApply( clang::threadSafety::til::SApply& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSCFG( clang::threadSafety::til::SCFG& Orig, Container< clang::threadSafety::til::BasicBlock*> Bbs)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSFunction( clang::threadSafety::til::SFunction& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceStore( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceUnaryOp( clang::threadSafety::til::UnaryOp& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)

Parameters

¶clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceUndefined( clang::threadSafety::til::Undefined& Orig)

Parameters

¶`VisitReducer<Self>()`

¶`void enterBasicBlock( clang::threadSafety::til::BasicBlock& BB)`

¶`void enterCFG(clang::threadSafety::til::SCFG& Cfg)`

¶`clang::threadSafety::til::Variable* enterScope( clang::threadSafety::til::Variable& Orig, clang::threadSafety::til::VisitReducerBase:: R_SExpr E0)`

¶`void exitBasicBlock( clang::threadSafety::til::BasicBlock& BB)`

¶`void exitCFG(clang::threadSafety::til::SCFG& Cfg)`

¶`void exitScope( const clang::threadSafety::til::Variable& Orig)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceAlloc( clang::threadSafety::til::Alloc& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceApply( clang::threadSafety::til::Apply& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceArrayAdd( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceArrayIndex( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::BasicBlock* reduceBasicBlockRef( clang::threadSafety::til::BasicBlock* Obb)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceBinaryOp( clang::threadSafety::til::BinaryOp& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceBranch( clang::threadSafety::til::Branch& O, clang::threadSafety::til:: VisitReducerBase::R_SExpr C, clang::threadSafety::til::BasicBlock* B0, clang::threadSafety::til::BasicBlock* B1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCall( clang::threadSafety::til::Call& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCast( clang::threadSafety::til::Cast& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceCode( clang::threadSafety::til::Code& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceField( clang::threadSafety::til::Field& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceFunction( clang::threadSafety::til::Function& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceGoto( clang::threadSafety::til::Goto& Orig, clang::threadSafety::til::BasicBlock* B)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceIdentifier( clang::threadSafety::til::Identifier& Orig)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceIfThenElse( clang::threadSafety::til::IfThenElse& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr C, clang::threadSafety::til:: VisitReducerBase::R_SExpr T, clang::threadSafety::til:: VisitReducerBase::R_SExpr E)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLet( clang::threadSafety::til::Let& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr B)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteral( clang::threadSafety::til::Literal& Orig)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteralPtr( clang::threadSafety::til::Literal& Orig)`

¶`template <class T> clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLiteralT(LiteralT<T>& Orig)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceLoad( clang::threadSafety::til::Load& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceNull()`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reducePhi( clang::threadSafety::til::Phi& Orig, Container<clang::threadSafety::til:: VisitReducerBase::R_SExpr>& As)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceProject( clang::threadSafety::til::Project& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceReturn( clang::threadSafety::til::Return& O, clang::threadSafety::til:: VisitReducerBase::R_SExpr E)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSApply( clang::threadSafety::til::SApply& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSCFG( clang::threadSafety::til::SCFG& Orig, Container< clang::threadSafety::til::BasicBlock*> Bbs)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceSFunction( clang::threadSafety::til::SFunction& Orig, clang::threadSafety::til::Variable* Nvd, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceStore( clang::threadSafety::til::Store& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0, clang::threadSafety::til:: VisitReducerBase::R_SExpr E1)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceUnaryOp( clang::threadSafety::til::UnaryOp& Orig, clang::threadSafety::til:: VisitReducerBase::R_SExpr E0)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceUndefined( clang::threadSafety::til::Undefined& Orig)`

¶`clang::threadSafety::til::Variable* reduceVariableRef( clang::threadSafety::til::Variable* Ovd)`

¶`clang::threadSafety::til::VisitReducerBase:: R_SExpr reduceWildcard( clang::threadSafety::til::Wildcard& Orig)`

¶`bool traverse( clang::threadSafety::til::SExpr* E, clang::threadSafety::til::SimpleReducerBase:: TraversalKind K = TRV_Normal)`

¶`static bool visit( clang::threadSafety::til::SExpr* E)`