Searched refs:warning_given (Results 1 – 1 of 1) sorted by relevance
4225 static Bool warning_given = False; in PRE() local4227 if (!warning_given) { in PRE()4228 warning_given = True; in PRE()4437 static Bool warning_given = False; in PRE() local4439 if (!warning_given) { in PRE()4440 warning_given = True; in PRE()