11972 resync smatch
@@ -12,7 +12,7 @@ * * check-output-excludes: mul[us]\\. * check-output-excludes: divs\\. * check-output-contains: neg\\. * check-output-contains: divu\\. - * check-output-pattern-3-times: neg\\. + * check-output-pattern(3): neg\\. */