class UninitUse

Declaration

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

Description

A use of a variable, which might be uninitialized.

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:30

Member Variables

private const clang::Expr* User

The expression which uses this variable.

private bool UninitAfterCall = false

Is this use uninitialized whenever the function is called?

private bool UninitAfterDecl = false

Is this use uninitialized whenever the variable declaration is reached?

private bool AlwaysUninit

Does this use always see an uninitialized value?

private SmallVector<clang::UninitUse::Branch, 2> UninitBranches

This use is always uninitialized if it occurs after any of these branches is taken.

Method Overview

• public UninitUse(const clang::Expr * User, bool AlwaysUninit)
• public void addUninitBranch(clang::UninitUse::Branch B)
• public clang::UninitUse::branch_iterator branch_begin() const
• public bool branch_empty() const
• public clang::UninitUse::branch_iterator branch_end() const
• public clang::UninitUse::Kind getKind() const
• public const clang::Expr * getUser() const
• public void setUninitAfterCall()
• public void setUninitAfterDecl()

Methods

¶UninitUse(const clang::Expr* User,
          bool AlwaysUninit)

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:55

Parameters

const clang::Expr* User

bool AlwaysUninit

¶void addUninitBranch(clang::UninitUse::Branch B)

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:58

Parameters

clang::UninitUse::Branch B

¶clang::UninitUse::branch_iterator branch_begin()
    const

Description

Branches which inevitably result in the variable being used uninitialized.

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:99

¶bool branch_empty() const

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:101

¶clang::UninitUse::branch_iterator branch_end()
    const

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:100

¶clang::UninitUse::Kind getKind() const

Description

Get the kind of uninitialized use.

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:89

¶const clang::Expr* getUser() const

Description

Get the expression containing the uninitialized use.

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:66

¶void setUninitAfterCall()

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:62

¶void setUninitAfterDecl()

Declared at: clang/include/clang/Analysis/Analyses/UninitializedValues.h:63