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