78 lines · cpp
1//===- DebugSupport.cpp -----------------------------------------*- 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-exception6//7//===----------------------------------------------------------------------===//8//9// This file defines functions which generate more readable forms of data10// structures used in the dataflow analyses, for debugging purposes.11//12//===----------------------------------------------------------------------===//13 14#include <utility>15 16#include "clang/Analysis/FlowSensitive/DebugSupport.h"17#include "clang/Analysis/FlowSensitive/Solver.h"18#include "clang/Analysis/FlowSensitive/Value.h"19#include "llvm/ADT/StringRef.h"20#include "llvm/Support/ErrorHandling.h"21 22namespace clang {23namespace dataflow {24 25llvm::StringRef debugString(Value::Kind Kind) {26 switch (Kind) {27 case Value::Kind::Integer:28 return "Integer";29 case Value::Kind::Pointer:30 return "Pointer";31 case Value::Kind::AtomicBool:32 return "AtomicBool";33 case Value::Kind::TopBool:34 return "TopBool";35 case Value::Kind::FormulaBool:36 return "FormulaBool";37 }38 llvm_unreachable("Unhandled value kind");39}40 41llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,42 Solver::Result::Assignment Assignment) {43 switch (Assignment) {44 case Solver::Result::Assignment::AssignedFalse:45 return OS << "False";46 case Solver::Result::Assignment::AssignedTrue:47 return OS << "True";48 }49 llvm_unreachable("Booleans can only be assigned true/false");50}51 52llvm::StringRef debugString(Solver::Result::Status Status) {53 switch (Status) {54 case Solver::Result::Status::Satisfiable:55 return "Satisfiable";56 case Solver::Result::Status::Unsatisfiable:57 return "Unsatisfiable";58 case Solver::Result::Status::TimedOut:59 return "TimedOut";60 }61 llvm_unreachable("Unhandled SAT check result status");62}63 64llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Solver::Result &R) {65 OS << debugString(R.getStatus()) << "\n";66 if (auto Solution = R.getSolution()) {67 std::vector<std::pair<Atom, Solver::Result::Assignment>> Sorted = {68 Solution->begin(), Solution->end()};69 llvm::sort(Sorted);70 for (const auto &Entry : Sorted)71 OS << Entry.first << " = " << Entry.second << "\n";72 }73 return OS;74}75 76} // namespace dataflow77} // namespace clang78