error.cpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412
  1. struct ErrorCollector {
  2. TokenPos prev;
  3. std::atomic<i64> count;
  4. std::atomic<i64> warning_count;
  5. std::atomic<bool> in_block;
  6. BlockingMutex mutex;
  7. BlockingMutex error_out_mutex;
  8. BlockingMutex string_mutex;
  9. RecursiveMutex block_mutex;
  10. Array<u8> error_buffer;
  11. Array<String> errors;
  12. };
  13. gb_global ErrorCollector global_error_collector;
  14. #define MAX_ERROR_COLLECTOR_COUNT (36)
  15. bool any_errors(void) {
  16. return global_error_collector.count.load() != 0;
  17. }
  18. void init_global_error_collector(void) {
  19. mutex_init(&global_error_collector.mutex);
  20. mutex_init(&global_error_collector.block_mutex);
  21. mutex_init(&global_error_collector.error_out_mutex);
  22. mutex_init(&global_error_collector.string_mutex);
  23. array_init(&global_error_collector.errors, heap_allocator());
  24. array_init(&global_error_collector.error_buffer, heap_allocator());
  25. array_init(&global_file_path_strings, heap_allocator(), 1, 4096);
  26. array_init(&global_files, heap_allocator(), 1, 4096);
  27. }
  28. bool set_file_path_string(i32 index, String const &path) {
  29. bool ok = false;
  30. GB_ASSERT(index >= 0);
  31. mutex_lock(&global_error_collector.string_mutex);
  32. if (index >= global_file_path_strings.count) {
  33. array_resize(&global_file_path_strings, index+1);
  34. }
  35. String prev = global_file_path_strings[index];
  36. if (prev.len == 0) {
  37. global_file_path_strings[index] = path;
  38. ok = true;
  39. }
  40. mutex_unlock(&global_error_collector.string_mutex);
  41. return ok;
  42. }
  43. bool thread_safe_set_ast_file_from_id(i32 index, AstFile *file) {
  44. bool ok = false;
  45. GB_ASSERT(index >= 0);
  46. mutex_lock(&global_error_collector.string_mutex);
  47. if (index >= global_files.count) {
  48. array_resize(&global_files, index+1);
  49. }
  50. AstFile *prev = global_files[index];
  51. if (prev == nullptr) {
  52. global_files[index] = file;
  53. ok = true;
  54. }
  55. mutex_unlock(&global_error_collector.string_mutex);
  56. return ok;
  57. }
  58. String get_file_path_string(i32 index) {
  59. GB_ASSERT(index >= 0);
  60. mutex_lock(&global_error_collector.string_mutex);
  61. String path = {};
  62. if (index < global_file_path_strings.count) {
  63. path = global_file_path_strings[index];
  64. }
  65. mutex_unlock(&global_error_collector.string_mutex);
  66. return path;
  67. }
  68. AstFile *thread_safe_get_ast_file_from_id(i32 index) {
  69. GB_ASSERT(index >= 0);
  70. mutex_lock(&global_error_collector.string_mutex);
  71. AstFile *file = nullptr;
  72. if (index < global_files.count) {
  73. file = global_files[index];
  74. }
  75. mutex_unlock(&global_error_collector.string_mutex);
  76. return file;
  77. }
  78. void begin_error_block(void) {
  79. mutex_lock(&global_error_collector.block_mutex);
  80. global_error_collector.in_block.store(true);
  81. }
  82. void end_error_block(void) {
  83. if (global_error_collector.error_buffer.count > 0) {
  84. isize n = global_error_collector.error_buffer.count;
  85. u8 *text = gb_alloc_array(permanent_allocator(), u8, n+1);
  86. gb_memmove(text, global_error_collector.error_buffer.data, n);
  87. text[n] = 0;
  88. String s = {text, n};
  89. array_add(&global_error_collector.errors, s);
  90. global_error_collector.error_buffer.count = 0;
  91. }
  92. global_error_collector.in_block.store(false);
  93. mutex_unlock(&global_error_collector.block_mutex);
  94. }
  95. #define ERROR_BLOCK() begin_error_block(); defer (end_error_block())
  96. #define ERROR_OUT_PROC(name) void name(char const *fmt, va_list va)
  97. typedef ERROR_OUT_PROC(ErrorOutProc);
  98. ERROR_OUT_PROC(default_error_out_va) {
  99. gbFile *f = gb_file_get_standard(gbFileStandard_Error);
  100. char buf[4096] = {};
  101. isize len = gb_snprintf_va(buf, gb_size_of(buf), fmt, va);
  102. isize n = len-1;
  103. if (global_error_collector.in_block) {
  104. isize cap = global_error_collector.error_buffer.count + n;
  105. array_reserve(&global_error_collector.error_buffer, cap);
  106. u8 *data = global_error_collector.error_buffer.data + global_error_collector.error_buffer.count;
  107. gb_memmove(data, buf, n);
  108. global_error_collector.error_buffer.count += n;
  109. } else {
  110. mutex_lock(&global_error_collector.error_out_mutex);
  111. {
  112. u8 *text = gb_alloc_array(permanent_allocator(), u8, n+1);
  113. gb_memmove(text, buf, n);
  114. text[n] = 0;
  115. array_add(&global_error_collector.errors, make_string(text, n));
  116. }
  117. mutex_unlock(&global_error_collector.error_out_mutex);
  118. }
  119. gb_file_write(f, buf, n);
  120. }
  121. ErrorOutProc *error_out_va = default_error_out_va;
  122. // NOTE: defined in build_settings.cpp
  123. bool global_warnings_as_errors(void);
  124. bool global_ignore_warnings(void);
  125. bool show_error_line(void);
  126. gbString get_file_line_as_string(TokenPos const &pos, i32 *offset);
  127. void error_out(char const *fmt, ...) {
  128. va_list va;
  129. va_start(va, fmt);
  130. error_out_va(fmt, va);
  131. va_end(va);
  132. }
  133. bool show_error_on_line(TokenPos const &pos, TokenPos end) {
  134. if (!show_error_line()) {
  135. return false;
  136. }
  137. i32 offset = 0;
  138. gbString the_line = get_file_line_as_string(pos, &offset);
  139. defer (gb_string_free(the_line));
  140. if (the_line != nullptr) {
  141. String line = make_string(cast(u8 const *)the_line, gb_string_length(the_line));
  142. // TODO(bill): This assumes ASCII
  143. enum {
  144. MAX_LINE_LENGTH = 76,
  145. MAX_TAB_WIDTH = 8,
  146. ELLIPSIS_PADDING = 8
  147. };
  148. error_out("\n\t");
  149. if (line.len+MAX_TAB_WIDTH+ELLIPSIS_PADDING > MAX_LINE_LENGTH) {
  150. i32 const half_width = MAX_LINE_LENGTH/2;
  151. i32 left = cast(i32)(offset);
  152. i32 right = cast(i32)(line.len - offset);
  153. left = gb_min(left, half_width);
  154. right = gb_min(right, half_width);
  155. line.text += offset-left;
  156. line.len -= offset+right-left;
  157. line = string_trim_whitespace(line);
  158. offset = left + ELLIPSIS_PADDING/2;
  159. error_out("... %.*s ...", LIT(line));
  160. } else {
  161. error_out("%.*s", LIT(line));
  162. }
  163. error_out("\n\t");
  164. for (i32 i = 0; i < offset; i++) {
  165. error_out(" ");
  166. }
  167. error_out("^");
  168. if (end.file_id == pos.file_id) {
  169. if (end.line > pos.line) {
  170. for (i32 i = offset; i < line.len; i++) {
  171. error_out("~");
  172. }
  173. } else if (end.line == pos.line && end.column > pos.column) {
  174. i32 length = gb_min(end.offset - pos.offset, cast(i32)(line.len-offset));
  175. for (i32 i = 1; i < length-1; i++) {
  176. error_out("~");
  177. }
  178. if (length > 1) {
  179. error_out("^");
  180. }
  181. }
  182. }
  183. error_out("\n\n");
  184. return true;
  185. }
  186. return false;
  187. }
  188. void error_va(TokenPos const &pos, TokenPos end, char const *fmt, va_list va) {
  189. global_error_collector.count.fetch_add(1);
  190. mutex_lock(&global_error_collector.mutex);
  191. // NOTE(bill): Duplicate error, skip it
  192. if (pos.line == 0) {
  193. error_out("Error: %s\n", gb_bprintf_va(fmt, va));
  194. } else if (global_error_collector.prev != pos) {
  195. global_error_collector.prev = pos;
  196. error_out("%s %s\n",
  197. token_pos_to_string(pos),
  198. gb_bprintf_va(fmt, va));
  199. show_error_on_line(pos, end);
  200. }
  201. mutex_unlock(&global_error_collector.mutex);
  202. if (global_error_collector.count > MAX_ERROR_COLLECTOR_COUNT) {
  203. gb_exit(1);
  204. }
  205. }
  206. void warning_va(TokenPos const &pos, TokenPos end, char const *fmt, va_list va) {
  207. if (global_warnings_as_errors()) {
  208. error_va(pos, end, fmt, va);
  209. return;
  210. }
  211. global_error_collector.warning_count.fetch_add(1);
  212. mutex_lock(&global_error_collector.mutex);
  213. if (!global_ignore_warnings()) {
  214. // NOTE(bill): Duplicate error, skip it
  215. if (pos.line == 0) {
  216. error_out("Warning: %s\n", gb_bprintf_va(fmt, va));
  217. } else if (global_error_collector.prev != pos) {
  218. global_error_collector.prev = pos;
  219. error_out("%s Warning: %s\n",
  220. token_pos_to_string(pos),
  221. gb_bprintf_va(fmt, va));
  222. show_error_on_line(pos, end);
  223. }
  224. }
  225. mutex_unlock(&global_error_collector.mutex);
  226. }
  227. void error_line_va(char const *fmt, va_list va) {
  228. error_out_va(fmt, va);
  229. }
  230. void error_no_newline_va(TokenPos const &pos, char const *fmt, va_list va) {
  231. mutex_lock(&global_error_collector.mutex);
  232. global_error_collector.count++;
  233. // NOTE(bill): Duplicate error, skip it
  234. if (pos.line == 0) {
  235. error_out("Error: %s", gb_bprintf_va(fmt, va));
  236. } else if (global_error_collector.prev != pos) {
  237. global_error_collector.prev = pos;
  238. error_out("%s %s",
  239. token_pos_to_string(pos),
  240. gb_bprintf_va(fmt, va));
  241. }
  242. mutex_unlock(&global_error_collector.mutex);
  243. if (global_error_collector.count > MAX_ERROR_COLLECTOR_COUNT) {
  244. gb_exit(1);
  245. }
  246. }
  247. void syntax_error_va(TokenPos const &pos, TokenPos end, char const *fmt, va_list va) {
  248. mutex_lock(&global_error_collector.mutex);
  249. global_error_collector.count++;
  250. // NOTE(bill): Duplicate error, skip it
  251. if (global_error_collector.prev != pos) {
  252. global_error_collector.prev = pos;
  253. error_out("%s Syntax Error: %s\n",
  254. token_pos_to_string(pos),
  255. gb_bprintf_va(fmt, va));
  256. show_error_on_line(pos, end);
  257. } else if (pos.line == 0) {
  258. error_out("Syntax Error: %s\n", gb_bprintf_va(fmt, va));
  259. }
  260. mutex_unlock(&global_error_collector.mutex);
  261. if (global_error_collector.count > MAX_ERROR_COLLECTOR_COUNT) {
  262. gb_exit(1);
  263. }
  264. }
  265. void syntax_warning_va(TokenPos const &pos, TokenPos end, char const *fmt, va_list va) {
  266. if (global_warnings_as_errors()) {
  267. syntax_error_va(pos, end, fmt, va);
  268. return;
  269. }
  270. mutex_lock(&global_error_collector.mutex);
  271. global_error_collector.warning_count++;
  272. if (!global_ignore_warnings()) {
  273. // NOTE(bill): Duplicate error, skip it
  274. if (global_error_collector.prev != pos) {
  275. global_error_collector.prev = pos;
  276. error_out("%s Syntax Warning: %s\n",
  277. token_pos_to_string(pos),
  278. gb_bprintf_va(fmt, va));
  279. show_error_on_line(pos, end);
  280. } else if (pos.line == 0) {
  281. error_out("Warning: %s\n", gb_bprintf_va(fmt, va));
  282. }
  283. }
  284. mutex_unlock(&global_error_collector.mutex);
  285. }
  286. void warning(Token const &token, char const *fmt, ...) {
  287. va_list va;
  288. va_start(va, fmt);
  289. warning_va(token.pos, {}, fmt, va);
  290. va_end(va);
  291. }
  292. void error(Token const &token, char const *fmt, ...) {
  293. va_list va;
  294. va_start(va, fmt);
  295. error_va(token.pos, {}, fmt, va);
  296. va_end(va);
  297. }
  298. void error(TokenPos pos, char const *fmt, ...) {
  299. va_list va;
  300. va_start(va, fmt);
  301. Token token = {};
  302. token.pos = pos;
  303. error_va(pos, {}, fmt, va);
  304. va_end(va);
  305. }
  306. void error_line(char const *fmt, ...) {
  307. va_list va;
  308. va_start(va, fmt);
  309. error_line_va(fmt, va);
  310. va_end(va);
  311. }
  312. void syntax_error(Token const &token, char const *fmt, ...) {
  313. va_list va;
  314. va_start(va, fmt);
  315. syntax_error_va(token.pos, {}, fmt, va);
  316. va_end(va);
  317. }
  318. void syntax_error(TokenPos pos, char const *fmt, ...) {
  319. va_list va;
  320. va_start(va, fmt);
  321. syntax_error_va(pos, {}, fmt, va);
  322. va_end(va);
  323. }
  324. void syntax_warning(Token const &token, char const *fmt, ...) {
  325. va_list va;
  326. va_start(va, fmt);
  327. syntax_warning_va(token.pos, {}, fmt, va);
  328. va_end(va);
  329. }
  330. void compiler_error(char const *fmt, ...) {
  331. va_list va;
  332. va_start(va, fmt);
  333. gb_printf_err("Internal Compiler Error: %s\n",
  334. gb_bprintf_va(fmt, va));
  335. va_end(va);
  336. GB_DEBUG_TRAP();
  337. gb_exit(1);
  338. }