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 */
16 14 dtrace_disx86
17 15 /* libld */
18 16 ld32_sym_process
19 17 ld64_sym_process
20 18 update_osym
21 19 /* libsqlite */
22 20 sqliteVdbeExec
23 21 /* cmd/acpi/iasl */
24 22 AslCompilerparse
25 23 /* cmd/fs.d/autofs */
26 24 nfsmount
27 25 /* cmd/mdb */
28 26 iob_doprnt
29 27 /* cmd/pppd */
30 28 lcp_nakci
31 29 /* cmd/cmd-crypto */
32 30 execute_cmd
33 31
34 32 /* generated code */
35 33 ipf_yyparse
36 34 ipmon_yyparse
37 35 ipnat_yyparse
38 36 ippool_yyparse
39 37 ndr__ndr_hdr
40 38 yyerror
41 39 yylex
42 40 yylook
43 41 yyparse
44 42 yywinput
↓ open down ↓ |
29 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX