pointer_offset_sum.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Pointer Analysis
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "pointer_offset_sum.h"
 
#include "std_expr.h"
 
exprt pointer_offset_sum(const exprt &a, const exprt &b)
{
  if(a.id() == ID_unknown)
    return a;
  else if(b.id() == ID_unknown)
    return b;
  else if(a.is_zero())
    return b;
  else if(b.is_zero())
    return a;
 
  return plus_exprt(a, typecast_exprt::conditional_cast(b, a.type()));
}
exprt pointer_offset_sum(const exprt &a, const exprt &b) {…}