11972 resync 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\\. */