Searched refs:WarningLevel (Results 1 – 5 of 5) sorted by relevance
596 if ( (non_covered!=NULL || alt1->predicate==NULL) && WarningLevel>1 )617 if ( (non_covered!=NULL || alt2->predicate==NULL) && WarningLevel>1 )641 if ( set_deg(non_covered)>0 && WarningLevel>1 )655 if ( set_deg(non_covered)>0 && WarningLevel>1 )689 if (inGuessBlock && WarningLevel <= 1) return;1024 && WarningLevel>1 )1028 if ( WarningLevel>1 )1068 if ( WarningLevel==1 )1113 if (HoistPredicateContext&&(alt1->predicate!=NULL||alt2->predicate!=NULL) && WarningLevel>1)1115 if ( WarningLevel == 1 &&[all …]
325 static void pW1(void) { WarningLevel = 1; } in pW1()331 static void pW2(void) { WarningLevel = 2; } in pW2()372 static void pW1() { WarningLevel = 1; } in pW1()378 static void pW2() { WarningLevel = 2; } in pW2()746 if ( WarningLevel>1 && HdrAction == NULL )876 if (LTinTokenAction && WarningLevel >= 2) {
456 int WarningLevel = 1; variable
197 extern int WarningLevel;
295 if ( WarningLevel>1 ) in genDefFile()