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