Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/plugin/expensive_selftests_plugin.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
111:04ced10e8804 | 131:84e7813d76e9 |
---|---|
1 /* Run expensive selftests. */ | |
2 /* { dg-options "-O" } */ | |
3 | |
4 #include "gcc-plugin.h" | |
5 #include "config.h" | |
6 #include "system.h" | |
7 #include "coretypes.h" | |
8 #include "diagnostic.h" | |
9 #include "edit-context.h" | |
10 #include "selftest.h" | |
11 #include "selftest-diagnostic.h" | |
12 | |
13 int plugin_is_GPL_compatible; | |
14 | |
15 #if CHECKING_P | |
16 | |
17 namespace selftest { | |
18 | |
19 /* Subroutine of test_fixit_on_very_long_line. | |
20 Verify that LOC has the EXPECTED_COLUMN, apart from the various | |
21 cases where it can't. */ | |
22 | |
23 static void | |
24 verify_column (location_t loc, | |
25 const line_map_ordinary *ord_map, | |
26 int line_width, | |
27 int expected_column) | |
28 { | |
29 ASSERT_TRUE (/* Normal case. */ | |
30 LOCATION_COLUMN (loc) == expected_column | |
31 /* ord_map can't store columns e.g. due to | |
32 max_column_hint being too high. */ | |
33 || ord_map->m_column_and_range_bits == 0 | |
34 /* Running out of location_t values. */ | |
35 || loc > LINE_MAP_MAX_LOCATION_WITH_COLS | |
36 /* column exceeds LINE_MAP_MAX_COLUMN_NUMBER. */ | |
37 || expected_column > (int)LINE_MAP_MAX_COLUMN_NUMBER | |
38 /* column exceeds max_column_hint for ord_map. */ | |
39 || expected_column > line_width); | |
40 } | |
41 | |
42 /* Subroutine of test_fixit_on_very_long_line. | |
43 Run various things for RICHLOC, but don't check; we just want them | |
44 to survive. */ | |
45 | |
46 static void | |
47 test_richloc (rich_location *richloc) | |
48 { | |
49 /* Run the diagnostic and fix-it printing code. */ | |
50 test_diagnostic_context dc; | |
51 diagnostic_show_locus (&dc, richloc, DK_ERROR); | |
52 | |
53 /* Generate a diff. */ | |
54 edit_context ec; | |
55 ec.add_fixits (richloc); | |
56 char *diff = ec.generate_diff (true); | |
57 free (diff); | |
58 } | |
59 | |
60 /* Verify that the fix-it-printing code can cope with very long lines | |
61 (PR c/82050). */ | |
62 | |
63 static void | |
64 test_fixit_on_very_long_line (const line_table_case &case_) | |
65 { | |
66 /* Various interesting column/line-width values, to try to tickle | |
67 out bugs. */ | |
68 const int VERY_LONG_LINE = 8192; | |
69 const int columns[] = {0, | |
70 1, | |
71 80, | |
72 LINE_MAP_MAX_COLUMN_NUMBER - 2, | |
73 LINE_MAP_MAX_COLUMN_NUMBER - 1, | |
74 LINE_MAP_MAX_COLUMN_NUMBER, | |
75 LINE_MAP_MAX_COLUMN_NUMBER + 1, | |
76 LINE_MAP_MAX_COLUMN_NUMBER + 2, | |
77 VERY_LONG_LINE, | |
78 VERY_LONG_LINE + 5}; | |
79 for (unsigned int width_idx = 0; width_idx < ARRAY_SIZE (columns); | |
80 width_idx++) | |
81 { | |
82 int line_width = columns[width_idx]; | |
83 | |
84 /* Create a source file with a very long line. */ | |
85 named_temp_file tmp (".c"); | |
86 FILE *f = fopen (tmp.get_filename (), "w"); | |
87 for (int i = 0; i < line_width; i++) | |
88 fputc (' ', f); | |
89 fputc ('\n', f); | |
90 fclose (f); | |
91 | |
92 line_table_test ltt (case_); | |
93 const line_map_ordinary *ord_map = linemap_check_ordinary | |
94 (linemap_add (line_table, LC_ENTER, false, tmp.get_filename (), 0)); | |
95 linemap_line_start (line_table, 1, line_width); | |
96 | |
97 for (unsigned int start_idx = 0; start_idx < ARRAY_SIZE (columns); | |
98 start_idx++) | |
99 { | |
100 int start_col = columns[start_idx]; | |
101 location_t start_loc | |
102 = linemap_position_for_line_and_column (line_table, ord_map, 1, | |
103 start_col); | |
104 verify_column (start_loc, ord_map, line_width, start_col); | |
105 for (unsigned int finish_idx = 0; finish_idx < ARRAY_SIZE (columns); | |
106 finish_idx++) | |
107 { | |
108 int finish_col = columns[finish_idx]; | |
109 location_t finish_loc | |
110 = linemap_position_for_line_and_column (line_table, ord_map, 1, | |
111 finish_col); | |
112 verify_column (finish_loc, ord_map, line_width, finish_col); | |
113 | |
114 /* Now use start-finish to exercise the fix-it code. | |
115 In each case, run the printing code, but don't check; | |
116 we just want it to survive. */ | |
117 | |
118 /* Insertion. */ | |
119 { | |
120 rich_location richloc (line_table, start_loc); | |
121 richloc.add_fixit_insert_after (start_loc, "insertion"); | |
122 test_richloc (&richloc); | |
123 } | |
124 | |
125 /* Replacement. */ | |
126 { | |
127 rich_location richloc (line_table, start_loc); | |
128 source_range range | |
129 = source_range::from_locations (start_loc, finish_loc); | |
130 richloc.add_fixit_replace (range, "replacement"); | |
131 test_richloc (&richloc); | |
132 } | |
133 | |
134 /* Deletion. */ | |
135 { | |
136 rich_location richloc (line_table, start_loc); | |
137 source_range range | |
138 = source_range::from_locations (start_loc, finish_loc); | |
139 richloc.add_fixit_remove (range); | |
140 test_richloc (&richloc); | |
141 } | |
142 } | |
143 } | |
144 } | |
145 } | |
146 | |
147 /* Callback handler for the PLUGIN_FINISH event. | |
148 At this point, all GCC subsystems should be initialized and | |
149 "warmed up"; this is where we run our unit tests. */ | |
150 | |
151 static void | |
152 expensive_tests (void */*gcc_data*/, void */*user_data*/) | |
153 { | |
154 test_runner r ("expensive_selftests_plugin"); | |
155 | |
156 for_each_line_table_case (test_fixit_on_very_long_line); | |
157 } | |
158 | |
159 } // namespace selftest | |
160 | |
161 #endif /* #if CHECKING_P */ | |
162 | |
163 int | |
164 plugin_init (struct plugin_name_args *plugin_info, | |
165 struct plugin_gcc_version *version) | |
166 { | |
167 #if CHECKING_P | |
168 const char *plugin_name = plugin_info->base_name; | |
169 register_callback (plugin_info->base_name, | |
170 PLUGIN_FINISH, | |
171 selftest::expensive_tests, | |
172 NULL); /* void *user_data */ | |
173 #else | |
174 inform (UNKNOWN_LOCATION, "self-tests are not enabled in this build"); | |
175 #endif /* #if CHECKING_P */ | |
176 return 0; | |
177 } |