| 673 | Diagnostics_area(ulonglong warning_info_id, bool allow_unlimited_warnings); |
| 674 | |
| 675 | void push_warning_info(Warning_info *wi) |
| 676 | { m_wi_stack.push_front(wi); } |
| 677 | |
| 678 | void pop_warning_info() |
| 679 | { |
nothing calls this directly
no test coverage detected