Searched refs:warning_given (Results 1 – 1 of 1) sorted by relevance
3672 static Bool warning_given = False; in PRE() local3674 if (!warning_given) { in PRE()3675 warning_given = True; in PRE()3884 static Bool warning_given = False; in PRE() local3886 if (!warning_given) { in PRE()3887 warning_given = True; in PRE()