Lines Matching defs:FR
34 LocField(const FieldRegion *FR, const bool IsDereferenced = true)
35 : FieldNode(FR), IsDereferenced(IsDereferenced) {}
64 NeedsCastLocField(const FieldRegion *FR, const QualType &T)
65 : FieldNode(FR), CastBackType(T) {}
94 CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {}
124 /// Dereferences \p FR and returns with the pointee's region, and whether it
128 const FieldRegion *FR);
139 const FieldRegion *FR, FieldChainInfo LocalChain) {
141 SVal V = State->getSVal(FR);
143 assert((isDereferencableType(FR->getDecl()->getType()) ||
154 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR);
164 llvm::Optional<DereferenceInfo> DerefInfo = dereference(State, FR);
171 return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), FR);
181 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT)));
182 return isNonUnionUninit(R, LocalChain.add(LocField(FR)));
188 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)),
190 return addFieldToUninits(LocalChain.add(LocField(FR)), R);
203 "At this point FR must either have a primitive dynamic type, or it "
210 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R);
211 return addFieldToUninits(LocalChain.add(LocField(FR)), R);
223 const FieldRegion *FR) {
227 SVal V = State->getSVal(FR);
233 bool NeedsCastBack = isVoidPointer(FR->getDecl()->getType()) ||