Searched refs:Constr (Results 1 – 2 of 2) 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()
218 } else if (const auto *Constr = dyn_cast<CXXConstructExpr>(E)) { in markCanNotBeConst() local219 for (const auto *Arg : Constr->arguments()) { in markCanNotBeConst()