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