clang
9.0.0
|
Public Member Functions | |
DereferenceInfo (const TypedValueRegion *R, bool NCB, bool IC) | |
Public Attributes | |
const TypedValueRegion * | R |
const bool | NeedsCastBack |
const bool | IsCyclic |
Definition at line 116 of file UninitializedPointee.cpp.
|
inline |
Definition at line 120 of file UninitializedPointee.cpp.
References clang::ento::FieldChainInfo::add(), dereference(), clang::ento::SVal::getAs(), clang::ento::FieldRegion::getDecl(), clang::Type::getPointeeType(), clang::ValueDecl::getType(), clang::Type::isArrayType(), clang::ento::isDereferencableType(), clang::ento::isPrimitiveType(), clang::Type::isStructureOrClassType(), clang::ento::SVal::isUndef(), clang::Type::isUnionType(), clang::ento::SVal::isUnknown(), isVoidPointer(), State, and V.
const bool DereferenceInfo::IsCyclic |
Definition at line 119 of file UninitializedPointee.cpp.
const bool DereferenceInfo::NeedsCastBack |
Definition at line 118 of file UninitializedPointee.cpp.
const TypedValueRegion* DereferenceInfo::R |
Definition at line 117 of file UninitializedPointee.cpp.