Analysis/FlowSensitive/DebugSupport.h

0001 //===-- DebugSupport.h ------------------------------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 //  This file defines functions which generate more readable forms of data
0010 //  structures used in the dataflow analyses, for debugging purposes.
0011 //
0012 //===----------------------------------------------------------------------===//
0013
0014 #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_
0015 #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_
0016
0017 #include <string>
0018 #include <vector>
0019
0020 #include "clang/Analysis/FlowSensitive/Solver.h"
0021 #include "clang/Analysis/FlowSensitive/Value.h"
0022 #include "llvm/ADT/StringRef.h"
0023
0024 namespace clang {
0025 namespace dataflow {
0026
0027 /// Returns a string representation of a value kind.
0028 llvm::StringRef debugString(Value::Kind Kind);
0029
0030 /// Returns a string representation of the result status of a SAT check.
0031 llvm::StringRef debugString(Solver::Result::Status Status);
0032
0033 } // namespace dataflow
0034 } // namespace clang
0035
0036 #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DEBUGSUPPORT_H_