BranchTypes.h

Go to the documentation of this file.

//===-- BranchTypes.h -------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
#ifndef KLEE_BRANCHTYPES_H
#define KLEE_BRANCHTYPES_H
 
#include <cstdint>
 
#define BRANCH_TYPES                                                           \
  BTYPE(NONE, 0U)                                                              \
  BTYPE(ConditionalBranch, 1U)                                                 \
  BTYPE(IndirectBranch, 2U)                                                    \
  BTYPE(Switch, 3U)                                                            \
  BTYPE(Call, 4U)                                                              \
  BTYPE(MemOp, 5U)                                                             \
  BTYPE(ResolvePointer, 6U)                                                    \
  BTYPE(Alloc, 7U)                                                             \
  BTYPE(Realloc, 8U)                                                           \
  BTYPE(Free, 9U)                                                              \
  BTYPE(GetVal, 10U)                                                           \
  MARK(END, 10U)
 
enum class BranchType : std::uint8_t {
#define BTYPE(N,I) N = (I),
#define MARK(N,I) N = (I),
  BRANCH_TYPES
#undef BTYPE
#undef MARK
};
 
#endif