1 /*
   2  * The below functions cause smatch to fail with "turning off implications after
   3  * 60 seconds" or similar, generally because they're too large for it to handle.
   4  *
   5  * This will disable analysis altogether.
   6  */
   7 
   8 /* libast */
   9 _ast_optget
  10 _ast_opthelp
  11 /* libcmd */
  12 b_uname
  13 /* libcurses */
  14 _updateln
  15 /* libdisasm */
  16 dtrace_disx86
  17 /* libld */
  18 ld32_sym_process
  19 ld64_sym_process
  20 update_osym
  21 /* libsqlite */
  22 sqliteVdbeExec
  23 /* cmd/acpi/iasl */
  24 AslCompilerparse
  25 /* cmd/fs.d/autofs */

   1 /*
   2  * These are specific functions that are generally too complex for smatch to
   3  * reasonably handle.


   4  */
   5 
   6 /* libast */
   7 _ast_optget
   8 _ast_opthelp
   9 /* libcmd */
  10 b_uname
  11 /* libcurses */
  12 _updateln
  13 /* libdisasm */
  14 dtrace_disx86
  15 /* libld */
  16 ld32_sym_process
  17 ld64_sym_process
  18 update_osym
  19 /* libsqlite */
  20 sqliteVdbeExec
  21 /* cmd/acpi/iasl */
  22 AslCompilerparse
  23 /* cmd/fs.d/autofs */