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