new smatch

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