symex_other.cpp File Reference

#include <cassert>
#include <goto-symex/engine/goto_symex.h>
#include <goto-symex/scheduler/reachability_tree.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>
#include <irep2/irep2_utils.h>
#include <util/symtab/pretty.h>

Include dependency graph for symex_other.cpp:

Functions
static bool	reusable_type (const type2tc &type)
	Numbers, or fixed-size aggregates of them.

Function Documentation

reusable_type()

bool reusable_type ( const type2tc & type )

static

Numbers, or fixed-size aggregates of them.

A pointer is left out: a reused one would carry every iteration's targets into its value set. So is a variable-length array, which may get another size each time.