11972 resync smatch

@@ -11,7 +11,7 @@
  *      when needed:
  *      - non-volatile
  *      - bb unreachable.
  *
  * check-output-ignore
- * check-output-pattern-1-times: load\\.
+ * check-output-pattern(1): load\\.
  */