fallible_calls.h

Go to the documentation of this file.

#pragma once
 
#include <irep2/irep2.h>
#include <string_view>
#include <vector>

 
enum class success_kind : uint8_t
{
  non_null,
  non_negative,
  zero,
};
 
struct fallible_call_t
{
  std::string_view name;
  success_kind kind;
};

const std::vector<fallible_call_t> &fallible_calls();

const fallible_call_t *find_fallible(std::string_view name);

expr2tc success_predicate(success_kind kind, const expr2tc &ret_value);