1 | //===-- DebugSupport.h ------------------------------------------*- 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 | // This file defines functions which generate more readable forms of data |
10 | // structures used in the dataflow analyses, for debugging purposes. |
11 | // |
12 | //===----------------------------------------------------------------------===// |
13 | |
14 | #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_ |
15 | #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_ |
16 | |
17 | #include <string> |
18 | #include <vector> |
19 | |
20 | #include "clang/Analysis/FlowSensitive/Solver.h" |
21 | #include "clang/Analysis/FlowSensitive/Value.h" |
22 | #include "llvm/ADT/StringRef.h" |
23 | |
24 | namespace clang { |
25 | namespace dataflow { |
26 | |
27 | /// Returns a string representation of a value kind. |
28 | llvm::StringRef debugString(Value::Kind Kind); |
29 | |
30 | /// Returns a string representation of the result status of a SAT check. |
31 | llvm::StringRef debugString(Solver::Result::Status Status); |
32 | |
33 | } // namespace dataflow |
34 | } // namespace clang |
35 | |
36 | #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_ |
37 | |