util_CFGNormalizer.cpp File Reference

#include <elm/assert.h>
#include <otawa/util/CFGNormalizer.h>
#include <otawa/cfg.h>
#include <elm/genstruct/Vector.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/proc/ProcessorException.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr

Functions
Feature< CFGNormalizer >	otawa::NORMALIZED_CFGS_FEATURE ("otawa::NORMALIZED_CFGS_FEATURE")
	This feature ensures that the CFG are in a normalized form: fully resolved branches, no entering or exiting edges to or from external CFGs. More...