11506 smatch resync

@@ -27,8 +27,8 @@
 /*
  * check-name: smatch implied #11
  * check-command: smatch -I.. -m64 sm_implied11.c
  *
  * check-output-start
-sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777'
+sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
  * check-output-end
  */