Searched refs:Constr (Results 1 – 1 of 1) sorted by relevance
80 Optional<DefinedOrUnknownSVal> Constr = V.getAs<DefinedOrUnknownSVal>(); in checkLocation() local82 if (Constr) { in checkLocation()85 ProgramStateRef OutputState = State->assume(*Constr, true); in checkLocation()