11506 smatch resync

*** 22,33 ****
--- 22,37 ----
  sqliteVdbeExec
  /* cmd/acpi/iasl */
  AslCompilerparse
  /* cmd/fs.d/autofs */
  nfsmount
+ /* cmd/mdb */
+ iob_doprnt
  /* cmd/pppd */
  lcp_nakci
+ /* cmd/cmd-crypto */
+ execute_cmd
  
  /* generated code */
  ipf_yyparse
  ipmon_yyparse
  ipnat_yyparse