|
131
|
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 }
|
