OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
#include <otawa/proc/Processor.h>
Go to the source code of this file.
Classes | |
class | otawa::DeadCodeAnalysis |
Namespaces | |
otawa | |
Development Note Letting the ToDo / ToDoList class visible in the header is clumsy. | |
Variables | |
Feature< DeadCodeAnalysis > | otawa::DEAD_CODE_ANALYSIS_FEATURE |
Identifier< bool > | otawa::NEVER_TAKEN |