Searched refs:ValDefOrUnknown (Results 1 – 1 of 1) sorted by relevance
1267 auto ValDefOrUnknown = V.getAs<DefinedOrUnknownSVal>(); in checkBind() local1268 if (!ValDefOrUnknown) in checkBind()1271 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); in checkBind()1274 if (SymbolRef Sym = ValDefOrUnknown->getAsSymbol()) in checkBind()1324 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind()