Searched refs:Constr (Results 1 – 3 of 3) 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()
1469 "Constrói tabelas globais de\n"