24 #ifndef OTAWA_DATA_CLP_DEADCODE_H_
25 #define OTAWA_DATA_CLP_DEADCODE_H_
WorkSpace * ws
Definition: Processor.h:185
Feature< DeadCodeAnalysis > DEAD_CODE_ANALYSIS_FEATURE
The processor class is implemented by all code processor.
Definition: Processor.h:49
This analyzer add the NEVER_TAKEN identifer on edges which are never taken.
Definition: DeadCodeAnalysis.h:32
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: clp_analysis.cpp:2508
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
DeadCodeAnalysis(void)
Definition: clp_analysis.cpp:2503
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46
Identifier< bool > NEVER_TAKEN