clang  8.0.0
Public Member Functions | List of all members
clang::ento::FindUninitializedFields Class Reference

Searches for and stores uninitialized fields in a non-union object. More...

#include "/work/www-prereleases/8.0.0/rc2/builddocs/llvm.src/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h"

Public Member Functions

 FindUninitializedFields (ProgramStateRef State, const TypedValueRegion *const R, const UninitObjCheckerOptions &Opts)
 Constructs the FindUninitializedField object, searches for and stores uninitialized fields in R. More...
 
std::pair< ProgramStateRef, const UninitFieldMap & > getResults ()
 Returns with the modified state and a map of (uninitialized region, note message) pairs. More...
 
bool isAnyFieldInitialized ()
 Returns whether the analyzed region contains at least one initialized field. More...
 

Detailed Description

Searches for and stores uninitialized fields in a non-union object.

Definition at line 190 of file UninitializedObject.h.

Constructor & Destructor Documentation

◆ FindUninitializedFields()

FindUninitializedFields::FindUninitializedFields ( ProgramStateRef  State,
const TypedValueRegion *const  R,
const UninitObjCheckerOptions Opts 
)

Member Function Documentation

◆ getResults()

std::pair<ProgramStateRef, const UninitFieldMap &> clang::ento::FindUninitializedFields::getResults ( )
inline

Returns with the modified state and a map of (uninitialized region, note message) pairs.

Definition at line 220 of file UninitializedObject.h.

References State.

◆ isAnyFieldInitialized()

bool clang::ento::FindUninitializedFields::isAnyFieldInitialized ( )
inline

Returns whether the analyzed region contains at least one initialized field.

Note that this includes subfields as well, not just direct ones, and will return false if an uninitialized pointee is found with CheckPointeeInitialization enabled.

Definition at line 228 of file UninitializedObject.h.

Referenced by FindUninitializedFields().


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