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()
92   CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {}  in CyclicLocField()  argument
126                                                    const FieldRegion *FR);
137     const FieldRegion *FR, FieldChainInfo LocalChain) {  in isDereferencableUninit()  argument
139   SVal V = State->getSVal(FR);  in isDereferencableUninit()
141   assert((isDereferencableType(FR->getDecl()->getType()) ||  in isDereferencableUninit()
152         LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR);  in isDereferencableUninit()
162   llvm::Optional<DereferenceInfo> DerefInfo = dereference(State, FR);  in isDereferencableUninit()
169     return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR);  in isDereferencableUninit()
179       return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT)));  in isDereferencableUninit()
180     return isNonUnionUninit(R, LocalChain.add(LocField(FR)));  in isDereferencableUninit()
186         return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)),  in isDereferencableUninit()
188       return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
208       return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R);  in isDereferencableUninit()
209     return addFieldToUninits(LocalChain.add(LocField(FR)), R);  in isDereferencableUninit()
221                                                    const FieldRegion *FR) {  in dereference()  argument
225   SVal V = State->getSVal(FR);  in dereference()
232       isVoidPointer(FR->getDecl()->getType()) || isa<nonloc::LocAsInteger>(V);  in dereference()