11506 smatch resync

@@ -31,8 +31,8 @@
 /*
  * 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'
+sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
  * check-output-end
  */