Searched refs:variableIsConstrainedInPrecondition (Results 1 – 1 of 1) sorted by relevance
170 …const auto variableIsConstrainedInPrecondition = [&loopConditionSmartCasts](const varbinder::Varia… in EnterLoop() local187 if (isAccessedAfterReassign || !(variableIsConstrainedInPrecondition(variable))) { in EnterLoop()