Print this page
11506 smatch resync
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 2 * The below functions cause smatch to fail with "turning off implications after
3 3 * 60 seconds" or similar, generally because they're too large for it to handle.
4 4 *
5 5 * This will disable analysis altogether.
6 6 */
7 7
8 8 /* libast */
9 9 _ast_optget
10 10 _ast_opthelp
11 11 /* libcmd */
12 12 b_uname
13 13 /* libcurses */
14 14 _updateln
15 15 /* libdisasm */
16 16 dtrace_disx86
↓ open down ↓ |
16 lines elided |
↑ open up ↑ |
17 17 /* libld */
18 18 ld32_sym_process
19 19 ld64_sym_process
20 20 update_osym
21 21 /* libsqlite */
22 22 sqliteVdbeExec
23 23 /* cmd/acpi/iasl */
24 24 AslCompilerparse
25 25 /* cmd/fs.d/autofs */
26 26 nfsmount
27 +/* cmd/mdb */
28 +iob_doprnt
27 29 /* cmd/pppd */
28 30 lcp_nakci
31 +/* cmd/cmd-crypto */
32 +execute_cmd
29 33
30 34 /* generated code */
31 35 ipf_yyparse
32 36 ipmon_yyparse
33 37 ipnat_yyparse
34 38 ippool_yyparse
35 39 ndr__ndr_hdr
36 40 yyerror
37 41 yylex
38 42 yylook
39 43 yyparse
40 44 yywinput
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX