Print this page
12013 fix GCC4 as primary compiler

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/smatch_data/illumos_user.skipped_functions
          +++ new/usr/src/tools/smatch/src/smatch_data/illumos_user.skipped_functions
   1    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.
        2 + * These are specific functions that are generally too complex for smatch to
        3 + * reasonably handle.
   6    4   */
   7    5  
   8    6  /* libast */
   9    7  _ast_optget
  10    8  _ast_opthelp
  11    9  /* libcmd */
  12   10  b_uname
  13   11  /* libcurses */
  14   12  _updateln
  15   13  /* libdisasm */
↓ open down ↓ 29 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX