Do not use the same counter for warnings and errors.

Warnings happen normally and could be safely ignored in the most cases,
however errors, if enabled, should not be ignored. Currently since warnings
and errors share the same counter we effectively stop showing errors after
16 warnings (which happen all the time).

Use different counters for errors and warnings.
This commit is contained in:
Anton Korobeynikov 2020-11-01 23:57:42 +03:00
parent ca13e9cd59
commit 9c45221243
2 changed files with 7 additions and 3 deletions

View file

@ -317,6 +317,7 @@ typedef enum mi_option_e {
mi_option_limit_os_alloc,
mi_option_os_tag,
mi_option_max_errors,
mi_option_max_warnings,
_mi_option_last
} mi_option_t;