11506 smatch resync

*** 31,38 ****
  /*
   * check-name: smatch implied #12
   * check-command: smatch -I.. -m64 sm_implied12.c
   *
   * check-output-start
! sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777'
   * check-output-end
   */
--- 31,38 ----
  /*
   * check-name: smatch implied #12
   * check-command: smatch -I.. -m64 sm_implied12.c
   *
   * check-output-start
! sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
   * check-output-end
   */