clang_c_adjust_guards.h

Go to the documentation of this file.

#ifndef ESBMC_CLANG_C_FRONTEND_CLANG_C_ADJUST_GUARDS_H
#define ESBMC_CLANG_C_FRONTEND_CLANG_C_ADJUST_GUARDS_H
 
#include <irep2/irep2_expr.h>
#include <irep2/irep2_utils.h>


inline bool is_binary_arith(const expr2tc &expr)
{
  return is_add2t(expr) || is_sub2t(expr) || is_mul2t(expr) || is_div2t(expr);
}

inline bool is_complex_unary(const expr2tc &expr)
{
  return (is_neg2t(expr) || is_bitnot2t(expr)) && is_complex_type(expr->type);
}

inline bool is_arith_or_bitwise(const expr2tc &expr)
{
  return is_binary_arith(expr) || is_modulus2t(expr) || is_bitand2t(expr) ||
         is_bitor2t(expr) || is_bitxor2t(expr);
}

inline bool is_shift(const expr2tc &expr)
{
  return is_shl2t(expr) || is_ashr2t(expr) || is_lshr2t(expr);
}

inline bool is_statement_with_condition(const expr2tc &expr)
{
  return is_code_ifthenelse2t(expr) || is_code_while2t(expr) ||
         is_code_dowhile2t(expr) || is_code_for2t(expr);
}

inline bool is_relational(const expr2tc &expr)
{
  return is_equality2t(expr) || is_notequal2t(expr) || is_lessthan2t(expr) ||
         is_lessthanequal2t(expr) || is_greaterthan2t(expr) ||
         is_greaterthanequal2t(expr);
}

inline bool is_short_circuit(const expr2tc &expr)
{
  return is_and2t(expr) || is_or2t(expr) || is_not2t(expr);
}

inline bool is_reference_type(const type2tc &type)
{
  return is_pointer_type(type) &&
         to_pointer_type(type).ref_kind != pointer_ref_kindt::NONE;
}

inline bool is_increment_sideeffect(const expr2tc &expr)
{
  if (!is_sideeffect2t(expr))
    return false;
 
  switch (to_sideeffect2t(expr).kind)
  {
  case sideeffect2t::allockind::preincrement:
  case sideeffect2t::allockind::postincrement:
  case sideeffect2t::allockind::predecrement:
  case sideeffect2t::allockind::postdecrement:
    return true;
  default:
    return false;
  }
}

inline bool is_alloc_sideeffect(const expr2tc &expr)
{
  if (!is_sideeffect2t(expr))
    return false;
 
  switch (to_sideeffect2t(expr).kind)
  {
  case sideeffect2t::allockind::cpp_new:
  case sideeffect2t::allockind::cpp_new_arr:
  case sideeffect2t::allockind::cpp_delete:
  case sideeffect2t::allockind::cpp_delete_array:
    return true;
  default:
    return false;
  }
}

inline bool is_call_site(const expr2tc &expr)
{
  return is_code_function_call2t(expr) || is_sideeffect2t(expr);
}

inline bool is_promotable_unary(const expr2tc &expr)
{
  return (is_neg2t(expr) || is_bitnot2t(expr)) && !is_complex_type(expr->type);
}

inline bool is_derived_to_base_cast(const expr2tc &expr)
{
  return is_typecast2t(expr) && !to_typecast2t(expr).derived_to_base.empty();
}

inline bool is_base_to_derived_cast(const expr2tc &expr)
{
  return is_typecast2t(expr) && to_typecast2t(expr).base_to_derived;
}
 
#endif