OTAWA
2.0
Framework to perform machine analysis and compute WCET.
DeadCodeAnalysis.h
Go to the documentation of this file.
1
/*
2
* $Id$
3
* Dead Code processor interface
4
*
5
* This file is part of OTAWA
6
* Copyright (c) 2011, IRIT UPS.
7
*
8
* OTAWA is free software; you can redistribute it and/or modify
9
* it under the terms of the GNU General Public License as published by
10
* the Free Software Foundation; either version 2 of the License, or
11
* (at your option) any later version.
12
*
13
* OTAWA is distributed in the hope that it will be useful,
14
* but WITHOUT ANY WARRANTY; without even the implied warranty of
15
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16
* GNU General Public License for more details.
17
*
18
* You should have received a copy of the GNU General Public License
19
* along with OTAWA; if not, write to the Free Software
20
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
21
* 02110-1301 USA
22
*/
23
24
#ifndef OTAWA_DATA_CLP_DEADCODE_H_
25
#define OTAWA_DATA_CLP_DEADCODE_H_
26
27
#include <
otawa/proc/Processor.h
>
28
29
namespace
otawa
{
30
31
// DeadCodeAnalysis class
32
class
DeadCodeAnalysis
:
public
Processor
{
33
public
:
34
DeadCodeAnalysis
(
void
);
35
protected
:
36
virtual
void
processWorkSpace
(
WorkSpace
*
ws
);
37
};
38
39
extern
Feature<DeadCodeAnalysis>
DEAD_CODE_ANALYSIS_FEATURE
;
40
extern
Identifier<bool>
NEVER_TAKEN
;
41
42
}
// otawa
43
44
#endif
/* OTAWA_DATA_CLP_DEADCODE_H_ */
otawa::DeadCodeAnalysis::processWorkSpace
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition:
clp_analysis.cpp:3748
Processor.h
otawa::WorkSpace
Definition:
WorkSpace.h:71
otawa::Processor::ws
WorkSpace * ws
Definition:
Processor.h:189
otawa::DEAD_CODE_ANALYSIS_FEATURE
Feature< DeadCodeAnalysis > DEAD_CODE_ANALYSIS_FEATURE
otawa::DeadCodeAnalysis
Definition:
DeadCodeAnalysis.h:32
otawa::Processor
Definition:
Processor.h:50
otawa::Feature
Definition:
Feature.h:47
otawa::NEVER_TAKEN
Identifier< bool > NEVER_TAKEN
otawa::DeadCodeAnalysis::DeadCodeAnalysis
DeadCodeAnalysis(void)
Definition:
clp_analysis.cpp:3743
otawa::Identifier< bool >
otawa
Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.
Definition:
ArrayStore.h:25
include
otawa
data
clp
DeadCodeAnalysis.h
Generated on Fri Jul 23 2021 10:50:30 for OTAWA by
1.8.17