Searched refs:DereferenceInfo (Results 1 – 1 of 1) sorted by relevance
115 struct DereferenceInfo { struct119 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC) in DereferenceInfo() argument126 static std::optional<DereferenceInfo> dereference(ProgramStateRef State,163 std::optional<DereferenceInfo> DerefInfo = dereference(State, FR); in isDereferencableUninit()221 static std::optional<DereferenceInfo> dereference(ProgramStateRef State, in dereference()253 return DereferenceInfo{R, NeedsCastBack, /*IsCyclic*/ true}; in dereference()271 return DereferenceInfo{R, NeedsCastBack, /*IsCyclic*/ false}; in dereference()