1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
/* Pedantic checking of DWARF files.
Copyright (C) 2009 Red Hat, Inc.
This file is part of Red Hat elfutils.
Written by Petr Machata <pmachata@redhat.com>, 2009.
Red Hat elfutils is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by the
Free Software Foundation; version 2 of the License.
Red Hat elfutils is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License along
with Red Hat elfutils; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
Red Hat elfutils is an included package of the Open Invention Network.
An included package of the Open Invention Network is a package for which
Open Invention Network licensees cross-license their patents. No patent
license is granted, either expressly or impliedly, by designation as an
included package. Should you wish to participate in the Open Invention
Network licensing program, please visit www.openinventionnetwork.com
<http://www.openinventionnetwork.com>. */
#include <map>
#include <set>
#include <stdexcept>
#include <sstream>
#include <cassert>
#include "../libdw/c++/dwarf"
enum optionality
{
opt_optional = 0, // may or may not be present
opt_required, // bogus if missing
opt_expected, // suspicious if missing
};
template <class T>
std::string
string_of (T x)
{
std::ostringstream o;
o << x;
return o.str();
}
struct expected_set
{
typedef std::map <int, optionality> expectation_map;
private:
expectation_map m_map;
public:
#define DEF_FILLER(WHAT) \
expected_set &WHAT (int attribute) \
{ \
assert (m_map.find (attribute) == m_map.end ()); \
m_map.insert (std::make_pair (attribute, opt_##WHAT)); \
return *this; \
} \
expected_set &WHAT (std::set <int> const &attributes) \
{ \
for (std::set <int>::const_iterator it = attributes.begin (); \
it != attributes.end (); ++it) \
WHAT (*it); \
return *this; \
}
DEF_FILLER (required)
DEF_FILLER (expected)
DEF_FILLER (optional)
#undef DEF_FILLER
expectation_map const &map () const
{
return m_map;
}
};
class expected_map
{
typedef std::map <int, expected_set> expected_map_t;
protected:
expected_map_t m_map;
expected_map () {}
public:
expected_set::expectation_map const &map (int tag) const
{
expected_map_t::const_iterator it = m_map.find (tag);
if (it == m_map.end ())
throw std::runtime_error ("Unknown tag "
+ elfutils::dwarf::tags::identifier (tag));
return it->second.map ();
}
};
struct expected_at_map
: public expected_map
{
expected_at_map ();
};
|