clang 20.0.0git
Classes | Public Types | Public Member Functions | List of all members
clang::UninitUse Class Reference

A use of a variable, which might be uninitialized. More...

#include "clang/Analysis/Analyses/UninitializedValues.h"

Classes

struct  Branch
 

Public Types

enum  Kind {
  Maybe , Sometimes , AfterDecl , AfterCall ,
  Always
}
 The kind of uninitialized use. More...
 
using branch_iterator = SmallVectorImpl< Branch >::const_iterator
 

Public Member Functions

 UninitUse (const Expr *User, bool AlwaysUninit)
 
void addUninitBranch (Branch B)
 
void setUninitAfterCall ()
 
void setUninitAfterDecl ()
 
const ExprgetUser () const
 Get the expression containing the uninitialized use.
 
Kind getKind () const
 Get the kind of uninitialized use.
 
branch_iterator branch_begin () const
 Branches which inevitably result in the variable being used uninitialized.
 
branch_iterator branch_end () const
 
bool branch_empty () const
 

Detailed Description

A use of a variable, which might be uninitialized.

Definition at line 30 of file UninitializedValues.h.

Member Typedef Documentation

◆ branch_iterator

Definition at line 96 of file UninitializedValues.h.

Member Enumeration Documentation

◆ Kind

The kind of uninitialized use.

Enumerator
Maybe 

The use might be uninitialized.

Sometimes 

The use is uninitialized whenever a certain branch is taken.

AfterDecl 

The use is uninitialized the first time it is reached after we reach the variable's declaration.

AfterCall 

The use is uninitialized the first time it is reached after the function is called.

Always 

The use is always uninitialized.

Definition at line 69 of file UninitializedValues.h.

Constructor & Destructor Documentation

◆ UninitUse()

clang::UninitUse::UninitUse ( const Expr User,
bool  AlwaysUninit 
)
inline

Definition at line 55 of file UninitializedValues.h.

Member Function Documentation

◆ addUninitBranch()

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

Definition at line 58 of file UninitializedValues.h.

◆ branch_begin()

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

Branches which inevitably result in the variable being used uninitialized.

Definition at line 99 of file UninitializedValues.h.

Referenced by DiagUninitUse().

◆ branch_empty()

bool clang::UninitUse::branch_empty ( ) const
inline

Definition at line 101 of file UninitializedValues.h.

Referenced by getKind().

◆ branch_end()

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

Definition at line 100 of file UninitializedValues.h.

Referenced by DiagUninitUse().

◆ getKind()

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

Get the kind of uninitialized use.

Definition at line 89 of file UninitializedValues.h.

References AfterCall, AfterDecl, Always, branch_empty(), Maybe, and Sometimes.

Referenced by DiagUninitUse().

◆ getUser()

const Expr * clang::UninitUse::getUser ( ) const
inline

Get the expression containing the uninitialized use.

Definition at line 66 of file UninitializedValues.h.

Referenced by DiagnoseUninitializedConstRefUse(), DiagnoseUninitializedUse(), and DiagUninitUse().

◆ setUninitAfterCall()

void clang::UninitUse::setUninitAfterCall ( )
inline

Definition at line 62 of file UninitializedValues.h.

◆ setUninitAfterDecl()

void clang::UninitUse::setUninitAfterDecl ( )
inline

Definition at line 63 of file UninitializedValues.h.


The documentation for this class was generated from the following file: