1//===--- rtsan_stats.h - Realtime Sanitizer ---------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Part of the RealtimeSanitizer runtime library
10//
11//===----------------------------------------------------------------------===//
12
13#pragma once
14
15namespace __rtsan {
16
17void IncrementTotalErrorCount();
18void IncrementUniqueErrorCount();
19void IncrementSuppressedCount();
20
21void PrintStatisticsSummary();
22
23} // namespace __rtsan
24