proc_CFGProcessor.cpp File Reference

#include <otawa/proc/CFGProcessor.h>
#include <otawa/cfg/CFGInfo.h>
#include <otawa/cfg.h>
#include <otawa/otawa.h>
#include <otawa/cfg/CFGCollector.h>

Namespaces
	otawa
	Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.

Functions
Identifier< int >	otawa::PROCESSED_CFG ("otawa::processed_cfg", 0)
	This property is used to store statistics about the count of processed CFG. More...
p::id< bool >	otawa::RECURSIVE ("otawa::recursive", true)
	Activate the recucursive feature of BBProcessors : each time a basic block contains a function call, the CFG of this function is recorded to be processed later after the current CFG. More...