11972 resync smatch

@@ -6,7 +6,7 @@
 /*
  * check-name: bool-context
  * check-command: test-linearize -Wno-decl $file
  * check-output-ignore
  *
- * check-output-pattern-4-times: setne\\..* %arg[12]
+ * check-output-pattern(4): setne\\..* %arg[12]
  */