Searched refs:checkParamsForPreconditionViolation (Results 1 – 1 of 1) sorted by relevance
382 checkParamsForPreconditionViolation(ArrayRef<ParmVarDecl *> Params, in checkParamsForPreconditionViolation() function449 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) || in checkInvariantViolation()