11972 resync smatch

*** 4,14 ****
          ;
          static void *b = &&label1;
  }
  
  /*
!  * check-name: label reference constness verification.
   * check-command: sparse -Wconstexpr-not-const $file
   *
   * check-error-start
   * check-error-end
   */
--- 4,14 ----
          ;
          static void *b = &&label1;
  }
  
  /*
!  * check-name: constexprness label reference
   * check-command: sparse -Wconstexpr-not-const $file
   *
   * check-error-start
   * check-error-end
   */