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