34   LocField(const FieldRegion *FR, const bool IsDereferenced = true)  in LocField()  argument
35       : FieldNode(FR), IsDereferenced(IsDereferenced) {}  in LocField()
64   NeedsCastLocField(const FieldRegion *FR, const QualType &T)  in NeedsCastLocField()  argument
65       : FieldNode(FR), CastBackType(T) {}  in NeedsCastLocField()
94   CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {}  in CyclicLocField()  argument
128                                                    const FieldRegion *FR);
139     const FieldRegion *FR, FieldChainInfo LocalChain) {  in isDereferencableUninit()  argument
141   SVal V = State->getSVal(FR);  in isDereferencableUninit()
143   assert((isDereferencableType(FR->getDecl()->getType()) ||  in isDereferencableUninit()
154         LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR);  in isDereferencableUninit()
164   llvm::Optional<DereferenceInfo> DerefInfo = dereference(State, FR);  in isDereferencableUninit()
171     return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR);  in isDereferencableUninit()
181       return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT)));  in isDereferencableUninit()
182     return isNonUnionUninit(R, LocalChain.add(LocField(FR)));  in isDereferencableUninit()
188         return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)),  in isDereferencableUninit()
190       return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
210       return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R);  in isDereferencableUninit()
211     return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
223                                                    const FieldRegion *FR) {  in dereference()  argument
227   SVal V = State->getSVal(FR);  in dereference()
233   bool NeedsCastBack = isVoidPointer(FR->getDecl()->getType()) ||  in dereference()