new smatch

@@ -10,7 +10,7 @@
  *      Check that stores are optimized away but only
  *      when needed:
  *      - bb unreachable.
  *
  * check-output-ignore
- * check-output-pattern-1-times: store\\.
+ * check-output-pattern(1): store\\.
  */