reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
141 SVal V = State->getSVal(FR); 143 assert((isDereferencableType(FR->getDecl()->getType()) || 154 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR); 154 LocalChain.add(LocField(FR, /*IsDereferenced*/ false)), FR); 164 llvm::Optional<DereferenceInfo> DerefInfo = dereference(State, FR); 171 return addFieldToUninits(LocalChain.add(CyclicLocField(FR)), 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); 210 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); 211 return addFieldToUninits(LocalChain.add(LocField(FR)), R);