write_location_context.cpp File Reference

#include "write_location_context.h"
#include <algorithm>

Include dependency graph for write_location_context.cpp:

Go to the source code of this file.

Functions
static abstract_objectt::combine_result	object_meet (const abstract_object_pointert &op1, const abstract_object_pointert &op2)

Function Documentation

object_meet()

static abstract_objectt::combine_result object_meet ( const abstract_object_pointert &  op1, const abstract_object_pointert &  op2  )

static

Definition at line 100 of file write_location_context.cpp.