35   LocField(const FieldRegion *FR, const bool IsDereferenced = true)  in LocField()  argument
36       : FieldNode(FR), IsDereferenced(IsDereferenced) {}  in LocField()
65   NeedsCastLocField(const FieldRegion *FR, const QualType &T)  in NeedsCastLocField()  argument
66       : FieldNode(FR), CastBackType(T) {}  in NeedsCastLocField()
93   CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {}  in CyclicLocField()  argument
123 /// Dereferences \p FR and returns with the pointee's region, and whether it
127                                                   const FieldRegion *FR);
138     const FieldRegion *FR, FieldChainInfo LocalChain) {  in isDereferencableUninit()  argument
140   SVal V = State->getSVal(FR);  in isDereferencableUninit()
142   assert((isDereferencableType(FR->getDecl()->getType()) ||  in isDereferencableUninit()
153         LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR);  in isDereferencableUninit()
163   std::optional<DereferenceInfo> DerefInfo = dereference(State, FR);  in isDereferencableUninit()
170     return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR);  in isDereferencableUninit()
180       return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT)));  in isDereferencableUninit()
181     return isNonUnionUninit(R, LocalChain.add(LocField(FR)));  in isDereferencableUninit()
187         return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)),  in isDereferencableUninit()
189       return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
202          "At this point FR must either have a primitive dynamic type, or it "  in isDereferencableUninit()
209       return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R);  in isDereferencableUninit()
210     return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
222                                                   const FieldRegion *FR) {  in dereference()  argument
226   SVal V = State->getSVal(FR);  in dereference()
233       isVoidPointer(FR->getDecl()->getType()) || isa<nonloc::LocAsInteger>(V);  in dereference()