-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBasicBlock_8h_source.html
472 lines (472 loc) · 118 KB
/
BasicBlock_8h_source.html
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>ROSE: BasicBlock.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<link rel="search" href="search_opensearch.php?v=opensearch.xml" type="application/opensearchdescription+xml" title="ROSE"/>
<link href="roseDoxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">ROSE<span id="projectnumber"> 0.11.145.141</span>
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.8 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search/",'.html');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(function() {
initMenu('',true,true,'search.html','Search');
$(document).ready(function() {
if ($('.searchresults').length > 0) { searchBox.DOMSearchField().focus(); }
});
});
/* @license-end */
</script>
<div id="main-nav"></div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(document).ready(function() { init_codefold(0); });
/* @license-end */
</script>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_9e62d0ec1b5e35066c963e582c20357f.html">Rose</a></li><li class="navelem"><a class="el" href="dir_b6b36e208517412b6f28695766cc080b.html">BinaryAnalysis</a></li><li class="navelem"><a class="el" href="dir_fa190f295ca00b091ad1987f0125a3ea.html">Partitioner2</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle"><div class="title">BasicBlock.h</div></div>
</div><!--header-->
<div class="contents">
<div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span><span class="preprocessor">#ifndef ROSE_BinaryAnalysis_Partitioner2_BasicBlock_H</span></div>
<div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span><span class="preprocessor">#define ROSE_BinaryAnalysis_Partitioner2_BasicBlock_H</span></div>
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span><span class="preprocessor">#include <featureTests.h></span></div>
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="preprocessor">#ifdef ROSE_ENABLE_BINARY_ANALYSIS</span></div>
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span><span class="preprocessor">#include <Rose/BinaryAnalysis/Partitioner2/BasicTypes.h></span></div>
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span> </div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span><span class="preprocessor">#include <Rose/BinaryAnalysis/Partitioner2/Semantics.h></span></div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="preprocessor">#include <Rose/SourceLocation.h></span></div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span> </div>
<div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span><span class="preprocessor">#include <Sawyer/Attribute.h></span></div>
<div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span><span class="preprocessor">#include <Sawyer/Cached.h></span></div>
<div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span><span class="preprocessor">#include <Sawyer/Map.h></span></div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span><span class="preprocessor">#include <Sawyer/Optional.h></span></div>
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span><span class="preprocessor">#include <Sawyer/SharedPointer.h></span></div>
<div class="line"><a id="l00015" name="l00015"></a><span class="lineno"> 15</span><span class="preprocessor">#include <Sawyer/Synchronization.h></span></div>
<div class="line"><a id="l00016" name="l00016"></a><span class="lineno"> 16</span> </div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno"> 17</span><span class="preprocessor">#ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB</span></div>
<div class="line"><a id="l00018" name="l00018"></a><span class="lineno"> 18</span><span class="preprocessor">#include <boost/serialization/access.hpp></span></div>
<div class="line"><a id="l00019" name="l00019"></a><span class="lineno"> 19</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00020" name="l00020"></a><span class="lineno"> 20</span> </div>
<div class="line"><a id="l00021" name="l00021"></a><span class="lineno"> 21</span><span class="keyword">namespace </span><a class="code hl_namespace" href="namespaceRose.html">Rose</a> {</div>
<div class="line"><a id="l00022" name="l00022"></a><span class="lineno"> 22</span><span class="keyword">namespace </span>BinaryAnalysis {</div>
<div class="line"><a id="l00023" name="l00023"></a><span class="lineno"> 23</span><span class="keyword">namespace </span>Partitioner2 {</div>
<div class="line"><a id="l00024" name="l00024"></a><span class="lineno"> 24</span> </div>
<div class="line"><a id="l00025" name="l00025"></a><span class="lineno"> 25</span><span class="keyword">namespace </span><a class="code hl_namespace" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html">BaseSemantics</a> = <a class="code hl_namespace" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics</a>;</div>
<div class="line"><a id="l00026" name="l00026"></a><span class="lineno"> 26</span> </div>
<div class="line"><a id="l00028" name="l00028"></a><span class="lineno"> 28</span><span class="comment">// BasicBlockSemantics</span></div>
<div class="line"><a id="l00030" name="l00030"></a><span class="lineno"> 30</span> </div>
<div class="foldopen" id="foldopen00035" data-start="{" data-end="};">
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html"> 35</a></span><span class="keyword">class </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html">BasicBlockSemantics</a> {</div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno"> 36</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00043" name="l00043"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a146988429e11db0dca3a5d4779bef1eb"> 43</a></span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#a75ee406f19167965f5217e58fe9dc707">BaseSemantics::DispatcherPtr</a> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a146988429e11db0dca3a5d4779bef1eb">dispatcher</a>;</div>
<div class="line"><a id="l00044" name="l00044"></a><span class="lineno"> 44</span> </div>
<div class="line"><a id="l00049" name="l00049"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ac9a7aac043c650eb1a1c1c5dfc0fdaa3"> 49</a></span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#a0c0106c0f124bfd48cf9c198e6bd7d4b">BaseSemantics::RiscOperatorsPtr</a> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ac9a7aac043c650eb1a1c1c5dfc0fdaa3">operators</a>;</div>
<div class="line"><a id="l00050" name="l00050"></a><span class="lineno"> 50</span> </div>
<div class="line"><a id="l00055" name="l00055"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a92ee0969d892d478700edf121c842766"> 55</a></span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#aae5e1a00d709df3fc68381fdd5383db9">BaseSemantics::StatePtr</a> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a92ee0969d892d478700edf121c842766">initialState</a>;</div>
<div class="line"><a id="l00056" name="l00056"></a><span class="lineno"> 56</span> </div>
<div class="line"><a id="l00061" name="l00061"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210"> 61</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210">usingDispatcher</a>;</div>
<div class="line"><a id="l00062" name="l00062"></a><span class="lineno"> 62</span> </div>
<div class="line"><a id="l00067" name="l00067"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ab4c3b1a3ff984aae94b00e04401d4749"> 67</a></span> <a class="code hl_class" href="classSawyer_1_1Optional.html">Sawyer::Optional<BaseSemantics::StatePtr></a> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ab4c3b1a3ff984aae94b00e04401d4749">optionalPenultimateState</a>;</div>
<div class="line"><a id="l00068" name="l00068"></a><span class="lineno"> 68</span> </div>
<div class="line"><a id="l00070" name="l00070"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a30deab21a2204a2bab3874b58bcd076f"> 70</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a30deab21a2204a2bab3874b58bcd076f">wasDropped</a>;</div>
<div class="line"><a id="l00071" name="l00071"></a><span class="lineno"> 71</span> </div>
<div class="line"><a id="l00072" name="l00072"></a><span class="lineno"> 72</span><span class="keyword">public</span>:</div>
<div class="foldopen" id="foldopen00074" data-start="{" data-end="}">
<div class="line"><a id="l00074" name="l00074"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a3cae61cd89317a1ccc76af7ff6947b3a"> 74</a></span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a3cae61cd89317a1ccc76af7ff6947b3a">BasicBlockSemantics</a>()</div>
<div class="line"><a id="l00075" name="l00075"></a><span class="lineno"> 75</span> : <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210">usingDispatcher</a>(false), <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a30deab21a2204a2bab3874b58bcd076f">wasDropped</a>(false) {}</div>
</div>
<div class="line"><a id="l00076" name="l00076"></a><span class="lineno"> 76</span> </div>
<div class="foldopen" id="foldopen00081" data-start="{" data-end="}">
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aaa0f0914d7730ab9c0341622615ce7a2"> 81</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aaa0f0914d7730ab9c0341622615ce7a2">isSemanticsDropped</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> <span class="keywordflow">return</span> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a146988429e11db0dca3a5d4779bef1eb">dispatcher</a> && !<a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a92ee0969d892d478700edf121c842766">initialState</a>;</div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno"> 83</span> }</div>
</div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span> </div>
<div class="foldopen" id="foldopen00089" data-start="{" data-end="}">
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aacd1baeaef3003b50952e79c32a93c8a"> 89</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aacd1baeaef3003b50952e79c32a93c8a">isSemanticsError</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno"> 90</span> <span class="keywordflow">return</span> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a146988429e11db0dca3a5d4779bef1eb">dispatcher</a> && <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a92ee0969d892d478700edf121c842766">initialState</a> && !<a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210">usingDispatcher</a>;</div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno"> 91</span> }</div>
</div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno"> 92</span> </div>
<div class="foldopen" id="foldopen00098" data-start="{" data-end="}">
<div class="line"><a id="l00098" name="l00098"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aea39aff352dd1fcdeef683862aeec1c3"> 98</a></span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#aae5e1a00d709df3fc68381fdd5383db9">BaseSemantics::StatePtr</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aea39aff352dd1fcdeef683862aeec1c3">finalState</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00099" name="l00099"></a><span class="lineno"> 99</span> <span class="keywordflow">return</span> <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210">usingDispatcher</a> && <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ac9a7aac043c650eb1a1c1c5dfc0fdaa3">operators</a> ? <a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ac9a7aac043c650eb1a1c1c5dfc0fdaa3">operators</a>->currentState() : <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#aae5e1a00d709df3fc68381fdd5383db9">BaseSemantics::StatePtr</a>();</div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno"> 100</span> }</div>
</div>
<div class="line"><a id="l00101" name="l00101"></a><span class="lineno"> 101</span>};</div>
</div>
<div class="line"><a id="l00102" name="l00102"></a><span class="lineno"> 102</span> </div>
<div class="foldopen" id="foldopen00104" data-start="{" data-end="};">
<div class="line"><a id="l00104" name="l00104"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html"> 104</a></span><span class="keyword">class </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">BasicBlockSuccessor</a> {</div>
<div class="line"><a id="l00105" name="l00105"></a><span class="lineno"> 105</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno"> 106</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Semantics::SValuePtr</a> expr_;</div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno"> 107</span> <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> type_;</div>
<div class="line"><a id="l00108" name="l00108"></a><span class="lineno"> 108</span> <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> confidence_;</div>
<div class="line"><a id="l00109" name="l00109"></a><span class="lineno"> 109</span> </div>
<div class="line"><a id="l00110" name="l00110"></a><span class="lineno"> 110</span><span class="preprocessor">#ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB</span></div>
<div class="line"><a id="l00111" name="l00111"></a><span class="lineno"> 111</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno"> 112</span> <span class="keyword">friend</span> <span class="keyword">class </span>boost::serialization::access;</div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> <span class="keyword">template</span><<span class="keyword">class</span> S> <span class="keywordtype">void</span> serialize(S &s, <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="comment">/*version*/</span>);</div>
<div class="line"><a id="l00114" name="l00114"></a><span class="lineno"> 114</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00115" name="l00115"></a><span class="lineno"> 115</span> </div>
<div class="line"><a id="l00116" name="l00116"></a><span class="lineno"> 116</span><span class="keyword">public</span>: <span class="comment">// "protected" fails for boost-1.58.</span></div>
<div class="line"><a id="l00117" name="l00117"></a><span class="lineno"> 117</span> <span class="comment">// intentionally undocumented; needed for serialization</span></div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno"> 118</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">BasicBlockSuccessor</a>()</div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno"> 119</span> : type_(<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af5349e3eb9ad0f639ca34300977eec44">E_USER_DEFINED</a>), confidence_(<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc">ASSUMED</a>) {}</div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno"> 120</span> </div>
<div class="line"><a id="l00121" name="l00121"></a><span class="lineno"> 121</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00122" name="l00122"></a><span class="lineno"> 122</span> <span class="keyword">explicit</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">BasicBlockSuccessor</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Semantics::SValuePtr</a> &<a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a521e3a448d1ebe663d9120a5eded1995">expr</a>, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e">type</a>=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af7b849dcb4c98cebc5319e2fae83a740">E_NORMAL</a>, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#aeacaf25fa0b8f7e29764124d882a938b">confidence</a>=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc">ASSUMED</a>)</div>
<div class="line"><a id="l00123" name="l00123"></a><span class="lineno"> 123</span> : expr_(<a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a521e3a448d1ebe663d9120a5eded1995">expr</a>), type_(<a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e">type</a>), confidence_(<a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#aeacaf25fa0b8f7e29764124d882a938b">confidence</a>) {}</div>
<div class="line"><a id="l00124" name="l00124"></a><span class="lineno"> 124</span> </div>
<div class="line"><a id="l00126" name="l00126"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a521e3a448d1ebe663d9120a5eded1995"> 126</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Semantics::SValuePtr</a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a521e3a448d1ebe663d9120a5eded1995">expr</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> expr_; }</div>
<div class="line"><a id="l00127" name="l00127"></a><span class="lineno"> 127</span> </div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e"> 129</a></span> <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e">type</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> type_; }</div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno"> 130</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e">type</a>(<a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> t) { type_ = t; }</div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno"> 131</span> </div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#aeacaf25fa0b8f7e29764124d882a938b"> 135</a></span> <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#aeacaf25fa0b8f7e29764124d882a938b">confidence</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> confidence_; }</div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#ae1ad075ebe4024619d7909aa650e46f2"> 136</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#ae1ad075ebe4024619d7909aa650e46f2">confidence</a>(<a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> c) { confidence_ = c; }</div>
<div class="line"><a id="l00138" name="l00138"></a><span class="lineno"> 138</span>};</div>
</div>
<div class="line"><a id="l00139" name="l00139"></a><span class="lineno"> 139</span> </div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno"> 141</span><span class="comment">// BasicBlock</span></div>
<div class="line"><a id="l00143" name="l00143"></a><span class="lineno"> 143</span> </div>
<div class="foldopen" id="foldopen00165" data-start="{" data-end="};">
<div class="line"><a id="l00165" name="l00165"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html"> 165</a></span><span class="keyword">class </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">BasicBlock</a>: <span class="keyword">public</span> <a class="code hl_class" href="classSawyer_1_1SharedObject.html">Sawyer::SharedObject</a>, <span class="keyword">public</span> <a class="code hl_class" href="classSawyer_1_1Attribute_1_1Storage.html">Sawyer::Attribute::Storage</a><> {</div>
<div class="line"><a id="l00166" name="l00166"></a><span class="lineno"> 166</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00168" name="l00168"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9a231e80cbd7f85887d95e9174d2feb2"> 168</a></span> <span class="keyword">typedef</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Sawyer::SharedPointer<BasicBlock></a> <a class="code hl_typedef" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9a231e80cbd7f85887d95e9174d2feb2">Ptr</a>;</div>
<div class="line"><a id="l00169" name="l00169"></a><span class="lineno"> 169</span> </div>
<div class="line"><a id="l00171" name="l00171"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#acd2ef3f10b2c962bebf4a18f476b2200"> 171</a></span> <span class="keyword">using </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">Successor</a> = <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">BasicBlockSuccessor</a>;</div>
<div class="line"><a id="l00172" name="l00172"></a><span class="lineno"> 172</span> </div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9337bb89b6c23d87f28fdb059e7ef263"> 174</a></span> <span class="keyword">using </span><a class="code hl_typedef" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9337bb89b6c23d87f28fdb059e7ef263">Successors</a> = <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a7595093daccb663b9934aa6264656473">BasicBlockSuccessors</a>;</div>
<div class="line"><a id="l00175" name="l00175"></a><span class="lineno"> 175</span> </div>
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno"> 176</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno"> 177</span> <span class="keyword">mutable</span> SAWYER_THREAD_TRAITS::Mutex mutex_;</div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno"> 178</span> </div>
<div class="line"><a id="l00179" name="l00179"></a><span class="lineno"> 179</span> <span class="keywordtype">bool</span> isFrozen_; <span class="comment">// True when the object becomes read-only</span></div>
<div class="line"><a id="l00180" name="l00180"></a><span class="lineno"> 180</span> rose_addr_t startVa_; <span class="comment">// Starting address, perhaps redundant with insns_[0]->p_address</span></div>
<div class="line"><a id="l00181" name="l00181"></a><span class="lineno"> 181</span> std::string comment_; <span class="comment">// Mutli-line plain-text comment</span></div>
<div class="line"><a id="l00182" name="l00182"></a><span class="lineno"> 182</span> std::vector<SgAsmInstruction*> insns_; <span class="comment">// Instructions in the order they're executed</span></div>
<div class="line"><a id="l00183" name="l00183"></a><span class="lineno"> 183</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html">BasicBlockSemantics</a> semantics_; <span class="comment">// All semantics-related information</span></div>
<div class="line"><a id="l00184" name="l00184"></a><span class="lineno"> 184</span> std::vector<DataBlockPtr> dblocks_; <span class="comment">// Data blocks owned by this basic block, sorted</span></div>
<div class="line"><a id="l00185" name="l00185"></a><span class="lineno"> 185</span> <a class="code hl_class" href="classRose_1_1SourceLocation.html">SourceLocation</a> sourceLocation_; <span class="comment">// Optional location of basic block in source code</span></div>
<div class="line"><a id="l00186" name="l00186"></a><span class="lineno"> 186</span> </div>
<div class="line"><a id="l00187" name="l00187"></a><span class="lineno"> 187</span> <span class="comment">// When a basic block gets lots of instructions some operations become slow due to the linear nature of the instruction</span></div>
<div class="line"><a id="l00188" name="l00188"></a><span class="lineno"> 188</span> <span class="comment">// list. Therefore, we also keep a mapping from instruction address to position in the list. The mapping is only used when</span></div>
<div class="line"><a id="l00189" name="l00189"></a><span class="lineno"> 189</span> <span class="comment">// the bigBlock size is reached.</span></div>
<div class="line"><a id="l00190" name="l00190"></a><span class="lineno"> 190</span> <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">size_t</span> bigBlock_ = 200;</div>
<div class="line"><a id="l00191" name="l00191"></a><span class="lineno"> 191</span> <span class="keyword">typedef</span> <a class="code hl_class" href="classSawyer_1_1Container_1_1Map.html">Sawyer::Container::Map<rose_addr_t, size_t></a> <a class="code hl_class" href="classSawyer_1_1Container_1_1Map.html">InsnAddrMap</a>;</div>
<div class="line"><a id="l00192" name="l00192"></a><span class="lineno"> 192</span> <a class="code hl_class" href="classSawyer_1_1Container_1_1Map.html">InsnAddrMap</a> insnAddrMap_; <span class="comment">// maps instruction address to index in insns_ vector</span></div>
<div class="line"><a id="l00193" name="l00193"></a><span class="lineno"> 193</span> </div>
<div class="line"><a id="l00194" name="l00194"></a><span class="lineno"> 194</span> <span class="comment">// The following members are caches either because their value is seldom needed and expensive to compute, or because</span></div>
<div class="line"><a id="l00195" name="l00195"></a><span class="lineno"> 195</span> <span class="comment">// the value is best computed at a higher layer than a single basic block (e.g., in the partitioner) yet it makes the</span></div>
<div class="line"><a id="l00196" name="l00196"></a><span class="lineno"> 196</span> <span class="comment">// most sense to store it here. Make sure clearCache() resets these to initial values.</span></div>
<div class="line"><a id="l00197" name="l00197"></a><span class="lineno"> 197</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<Successors></a> successors_; <span class="comment">// control flow successors out of final instruction</span></div>
<div class="line"><a id="l00198" name="l00198"></a><span class="lineno"> 198</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<std::set<rose_addr_t></a> > ghostSuccessors_;<span class="comment">// non-followed successors from opaque predicates, all insns</span></div>
<div class="line"><a id="l00199" name="l00199"></a><span class="lineno"> 199</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a> isFunctionCall_; <span class="comment">// is this block semantically a function call?</span></div>
<div class="line"><a id="l00200" name="l00200"></a><span class="lineno"> 200</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a> isFunctionReturn_; <span class="comment">// is this block semantically a return from the function?</span></div>
<div class="line"><a id="l00201" name="l00201"></a><span class="lineno"> 201</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a> mayReturn_; <span class="comment">// a function return is reachable from this basic block in the CFG</span></div>
<div class="line"><a id="l00202" name="l00202"></a><span class="lineno"> 202</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a> popsStack_; <span class="comment">// basic block has a net popping effect</span></div>
<div class="line"><a id="l00203" name="l00203"></a><span class="lineno"> 203</span> <span class="keywordtype">void</span> clearCacheNS() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00204" name="l00204"></a><span class="lineno"> 204</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00205" name="l00205"></a><span class="lineno"> 205</span> <span class="keywordtype">void</span> copyCache(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">BasicBlockPtr</a> &other);</div>
<div class="line"><a id="l00206" name="l00206"></a><span class="lineno"> 206</span> </div>
<div class="line"><a id="l00207" name="l00207"></a><span class="lineno"> 207</span> </div>
<div class="line"><a id="l00209" name="l00209"></a><span class="lineno"> 209</span> <span class="comment">// Serialization</span></div>
<div class="line"><a id="l00211" name="l00211"></a><span class="lineno"> 211</span><span class="preprocessor">#ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB</span></div>
<div class="line"><a id="l00212" name="l00212"></a><span class="lineno"> 212</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00213" name="l00213"></a><span class="lineno"> 213</span> <span class="keyword">friend</span> <span class="keyword">class </span>boost::serialization::access;</div>
<div class="line"><a id="l00214" name="l00214"></a><span class="lineno"> 214</span> <span class="keyword">template</span><<span class="keyword">class</span> S> <span class="keywordtype">void</span> serializeCommon(S&, <span class="keyword">const</span> <span class="keywordtype">unsigned</span> version);</div>
<div class="line"><a id="l00215" name="l00215"></a><span class="lineno"> 215</span> <span class="keyword">template</span><<span class="keyword">class</span> S> <span class="keywordtype">void</span> save(S&, <span class="keyword">const</span> <span class="keywordtype">unsigned</span> version) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00216" name="l00216"></a><span class="lineno"> 216</span> <span class="keyword">template</span><<span class="keyword">class</span> S> <span class="keywordtype">void</span> load(S&, <span class="keyword">const</span> <span class="keywordtype">unsigned</span> version);</div>
<div class="line"><a id="l00217" name="l00217"></a><span class="lineno"> 217</span> BOOST_SERIALIZATION_SPLIT_MEMBER();</div>
<div class="line"><a id="l00218" name="l00218"></a><span class="lineno"> 218</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00219" name="l00219"></a><span class="lineno"> 219</span> </div>
<div class="line"><a id="l00220" name="l00220"></a><span class="lineno"> 220</span> </div>
<div class="line"><a id="l00222" name="l00222"></a><span class="lineno"> 222</span> <span class="comment">// Constructors</span></div>
<div class="line"><a id="l00224" name="l00224"></a><span class="lineno"> 224</span><span class="keyword">protected</span>:</div>
<div class="line"><a id="l00225" name="l00225"></a><span class="lineno"> 225</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">BasicBlock</a>(); <span class="comment">// needed for serialization</span></div>
<div class="line"><a id="l00226" name="l00226"></a><span class="lineno"> 226</span> </div>
<div class="line"><a id="l00227" name="l00227"></a><span class="lineno"> 227</span> <span class="comment">// use instance() instead</span></div>
<div class="line"><a id="l00228" name="l00228"></a><span class="lineno"> 228</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">BasicBlock</a>(rose_addr_t startVa, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a>&);</div>
<div class="line"><a id="l00229" name="l00229"></a><span class="lineno"> 229</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00230" name="l00230"></a><span class="lineno"> 230</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">~BasicBlock</a>();</div>
<div class="line"><a id="l00231" name="l00231"></a><span class="lineno"> 231</span> </div>
<div class="line"><a id="l00232" name="l00232"></a><span class="lineno"> 232</span><span class="keyword">public</span>:</div>
<div class="foldopen" id="foldopen00238" data-start="{" data-end="}">
<div class="line"><a id="l00238" name="l00238"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a721dec9e5a95c29572286457d7a5a3d2"> 238</a></span> <span class="keyword">static</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Ptr</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a721dec9e5a95c29572286457d7a5a3d2">instance</a>(rose_addr_t startVa, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a> &partitioner) {</div>
<div class="line"><a id="l00239" name="l00239"></a><span class="lineno"> 239</span> <span class="keywordflow">return</span> <a class="code hl_typedef" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9a231e80cbd7f85887d95e9174d2feb2">Ptr</a>(<span class="keyword">new</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">BasicBlock</a>(startVa, partitioner));</div>
<div class="line"><a id="l00240" name="l00240"></a><span class="lineno"> 240</span> }</div>
</div>
<div class="line"><a id="l00241" name="l00241"></a><span class="lineno"> 241</span> </div>
<div class="foldopen" id="foldopen00247" data-start="{" data-end="}">
<div class="line"><a id="l00247" name="l00247"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab26d112db803427e7efa8c573ea67ce4"> 247</a></span> <span class="keyword">virtual</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Ptr</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab26d112db803427e7efa8c573ea67ce4">create</a>(rose_addr_t startVa, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a> &partitioner)<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00248" name="l00248"></a><span class="lineno"> 248</span> <span class="keywordflow">return</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a721dec9e5a95c29572286457d7a5a3d2">instance</a>(startVa, partitioner);</div>
<div class="line"><a id="l00249" name="l00249"></a><span class="lineno"> 249</span> }</div>
</div>
<div class="line"><a id="l00250" name="l00250"></a><span class="lineno"> 250</span> </div>
<div class="line"><a id="l00252" name="l00252"></a><span class="lineno"> 252</span> <span class="comment">// Cache</span></div>
<div class="line"><a id="l00254" name="l00254"></a><span class="lineno"> 254</span><span class="keyword">public</span>:</div>
<div class="foldopen" id="foldopen00258" data-start="{" data-end="}">
<div class="line"><a id="l00258" name="l00258"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0d02dc5b7cca7811f4e9df0ccd7f8f05"> 258</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0d02dc5b7cca7811f4e9df0ccd7f8f05">clearCache</a>() {</div>
<div class="line"><a id="l00259" name="l00259"></a><span class="lineno"> 259</span> SAWYER_THREAD_TRAITS::LockGuard lock(mutex_);</div>
<div class="line"><a id="l00260" name="l00260"></a><span class="lineno"> 260</span> clearCacheNS();</div>
<div class="line"><a id="l00261" name="l00261"></a><span class="lineno"> 261</span> }</div>
</div>
<div class="line"><a id="l00262" name="l00262"></a><span class="lineno"> 262</span> </div>
<div class="line"><a id="l00264" name="l00264"></a><span class="lineno"> 264</span> <span class="comment">// Status</span></div>
<div class="line"><a id="l00266" name="l00266"></a><span class="lineno"> 266</span><span class="keyword">public</span>:</div>
<div class="foldopen" id="foldopen00272" data-start="{" data-end="}">
<div class="line"><a id="l00272" name="l00272"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeabc20b98046fe33c35d40780e0478a2"> 272</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeabc20b98046fe33c35d40780e0478a2">isFrozen</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00273" name="l00273"></a><span class="lineno"> 273</span> SAWYER_THREAD_TRAITS::LockGuard lock(mutex_);</div>
<div class="line"><a id="l00274" name="l00274"></a><span class="lineno"> 274</span> <span class="keywordflow">return</span> isFrozen_;</div>
<div class="line"><a id="l00275" name="l00275"></a><span class="lineno"> 275</span> }</div>
</div>
<div class="line"><a id="l00276" name="l00276"></a><span class="lineno"> 276</span> </div>
<div class="line"><a id="l00284" name="l00284"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#affc0f5765eae013301d327ba9f1f144e"> 284</a></span> <span class="keyword">const</span> std::string& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#affc0f5765eae013301d327ba9f1f144e">comment</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> comment_; }</div>
<div class="line"><a id="l00285" name="l00285"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8543c4058aa6c1c982cc55f40bba8f84"> 285</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8543c4058aa6c1c982cc55f40bba8f84">comment</a>(<span class="keyword">const</span> std::string &s) { comment_ = s; }</div>
<div class="line"><a id="l00291" name="l00291"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8cde5ef0a6712aa8031b813dca3cb307"> 291</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1SourceLocation.html">SourceLocation</a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8cde5ef0a6712aa8031b813dca3cb307">sourceLocation</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> sourceLocation_; }</div>
<div class="line"><a id="l00292" name="l00292"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a60b53b39f27db7c32fe09e8fcd8ba8b4"> 292</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a60b53b39f27db7c32fe09e8fcd8ba8b4">sourceLocation</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1SourceLocation.html">SourceLocation</a> &loc) { sourceLocation_ = loc; }</div>
<div class="line"><a id="l00297" name="l00297"></a><span class="lineno"> 297</span> <span class="comment">// Instructions</span></div>
<div class="line"><a id="l00299" name="l00299"></a><span class="lineno"> 299</span><span class="keyword">public</span>:</div>
<div class="foldopen" id="foldopen00307" data-start="{" data-end="}">
<div class="line"><a id="l00307" name="l00307"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8722459585ec6491c5802eeb016bd980"> 307</a></span> rose_addr_t <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8722459585ec6491c5802eeb016bd980">address</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00308" name="l00308"></a><span class="lineno"> 308</span> SAWYER_THREAD_TRAITS::LockGuard lock(mutex_);</div>
<div class="line"><a id="l00309" name="l00309"></a><span class="lineno"> 309</span> <span class="keywordflow">return</span> startVa_;</div>
<div class="line"><a id="l00310" name="l00310"></a><span class="lineno"> 310</span> }</div>
</div>
<div class="line"><a id="l00311" name="l00311"></a><span class="lineno"> 311</span> </div>
<div class="line"><a id="l00318" name="l00318"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a224098d4b0f51356b78d2fb5c5a90abc"> 318</a></span> <a class="code hl_class" href="classSawyer_1_1Container_1_1IntervalSet.html">AddressIntervalSet</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a224098d4b0f51356b78d2fb5c5a90abc">insnAddresses</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00319" name="l00319"></a><span class="lineno"> 319</span> </div>
<div class="line"><a id="l00326" name="l00326"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a63596073bbdb19c172fe367f17d53ad0"> 326</a></span> rose_addr_t <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a63596073bbdb19c172fe367f17d53ad0">fallthroughVa</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00327" name="l00327"></a><span class="lineno"> 327</span> </div>
<div class="foldopen" id="foldopen00331" data-start="{" data-end="}">
<div class="line"><a id="l00331" name="l00331"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab57eefdafbd29acec40991d7ed0af2f6"> 331</a></span> <span class="keywordtype">size_t</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab57eefdafbd29acec40991d7ed0af2f6">nInstructions</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00332" name="l00332"></a><span class="lineno"> 332</span> SAWYER_THREAD_TRAITS::LockGuard lock(mutex_);</div>
<div class="line"><a id="l00333" name="l00333"></a><span class="lineno"> 333</span> <span class="keywordflow">return</span> insns_.size();</div>
<div class="line"><a id="l00334" name="l00334"></a><span class="lineno"> 334</span> }</div>
</div>
<div class="line"><a id="l00335" name="l00335"></a><span class="lineno"> 335</span> </div>
<div class="foldopen" id="foldopen00343" data-start="{" data-end="}">
<div class="line"><a id="l00343" name="l00343"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4ae472645e65da98340f932233c68dda"> 343</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4ae472645e65da98340f932233c68dda">isEmpty</a>()<span class="keyword"> const </span>{</div>
<div class="line"><a id="l00344" name="l00344"></a><span class="lineno"> 344</span> SAWYER_THREAD_TRAITS::LockGuard lock(mutex_);</div>
<div class="line"><a id="l00345" name="l00345"></a><span class="lineno"> 345</span> <span class="keywordflow">return</span> insns_.empty();</div>
<div class="line"><a id="l00346" name="l00346"></a><span class="lineno"> 346</span> }</div>
</div>
<div class="line"><a id="l00347" name="l00347"></a><span class="lineno"> 347</span> </div>
<div class="line"><a id="l00354" name="l00354"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2a9652c7e4c7e35a17631bba9dd34699"> 354</a></span> <a class="code hl_class" href="classSgAsmInstruction.html">SgAsmInstruction</a>* <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2a9652c7e4c7e35a17631bba9dd34699">instructionExists</a>(rose_addr_t startVa) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00355" name="l00355"></a><span class="lineno"> 355</span> </div>
<div class="line"><a id="l00362" name="l00362"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a6a477e20fd7aa8bfbfc6681cce2ac12a"> 362</a></span> <a class="code hl_class" href="classSawyer_1_1Optional.html">Sawyer::Optional<size_t></a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a6a477e20fd7aa8bfbfc6681cce2ac12a">instructionExists</a>(<a class="code hl_class" href="classSgAsmInstruction.html">SgAsmInstruction</a>*) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00363" name="l00363"></a><span class="lineno"> 363</span> </div>
<div class="line"><a id="l00370" name="l00370"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4bc0f1672e3dc41fb8856c57a2e97df7"> 370</a></span> <a class="code hl_class" href="classSawyer_1_1Optional.html">Sawyer::Optional<size_t></a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4bc0f1672e3dc41fb8856c57a2e97df7">instructionIndex</a>(rose_addr_t) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00371" name="l00371"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0f255d1bb40d22c4131a9e9669f54508"> 371</a></span> <a class="code hl_class" href="classSawyer_1_1Optional.html">Sawyer::Optional<size_t></a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0f255d1bb40d22c4131a9e9669f54508">instructionIndex</a>(<a class="code hl_class" href="classSgAsmInstruction.html">SgAsmInstruction</a>*) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00381" name="l00381"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad96c4962c3081ed175270f9582b434ab"> 381</a></span> <span class="keyword">const</span> std::vector<SgAsmInstruction*>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad96c4962c3081ed175270f9582b434ab">instructions</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> insns_; }</div>
<div class="line"><a id="l00382" name="l00382"></a><span class="lineno"> 382</span> </div>
<div class="line"><a id="l00400" name="l00400"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9b21ad4f5ec7c1a8a711a1c2e9215aa0"> 400</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9b21ad4f5ec7c1a8a711a1c2e9215aa0">append</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a>&, <a class="code hl_class" href="classSgAsmInstruction.html">SgAsmInstruction</a>*);</div>
<div class="line"><a id="l00401" name="l00401"></a><span class="lineno"> 401</span> </div>
<div class="line"><a id="l00408" name="l00408"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af5a60139976768f55084989706caa54c"> 408</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af5a60139976768f55084989706caa54c">pop</a>();</div>
<div class="line"><a id="l00409" name="l00409"></a><span class="lineno"> 409</span> </div>
<div class="line"><a id="l00416" name="l00416"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab39ef62d894b0a950dd73b997a6ddcf4"> 416</a></span> std::set<rose_addr_t> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab39ef62d894b0a950dd73b997a6ddcf4">explicitConstants</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00417" name="l00417"></a><span class="lineno"> 417</span> </div>
<div class="line"><a id="l00418" name="l00418"></a><span class="lineno"> 418</span> </div>
<div class="line"><a id="l00420" name="l00420"></a><span class="lineno"> 420</span> <span class="comment">// Static data blocks</span></div>
<div class="line"><a id="l00422" name="l00422"></a><span class="lineno"> 422</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00426" name="l00426"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a466722f645e9372f1909c22825f4d663"> 426</a></span> <span class="keywordtype">size_t</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a466722f645e9372f1909c22825f4d663">nDataBlocks</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00427" name="l00427"></a><span class="lineno"> 427</span> </div>
<div class="line"><a id="l00433" name="l00433"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aff173598e2f2d95457418b006ae6ee7f"> 433</a></span> <a class="code hl_class" href="classSawyer_1_1Container_1_1IntervalSet.html">AddressIntervalSet</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aff173598e2f2d95457418b006ae6ee7f">dataAddresses</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00434" name="l00434"></a><span class="lineno"> 434</span> </div>
<div class="line"><a id="l00441" name="l00441"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad7fdac38b5832b7b1d19b298ffec5ebe"> 441</a></span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">DataBlockPtr</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad7fdac38b5832b7b1d19b298ffec5ebe">dataBlockExists</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">DataBlockPtr</a>&) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00442" name="l00442"></a><span class="lineno"> 442</span> </div>
<div class="line"><a id="l00451" name="l00451"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a82ae26a8fc2001990a8c1f933b13a249"> 451</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a82ae26a8fc2001990a8c1f933b13a249">insertDataBlock</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">DataBlockPtr</a>&);</div>
<div class="line"><a id="l00452" name="l00452"></a><span class="lineno"> 452</span> </div>
<div class="line"><a id="l00460" name="l00460"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a7e053d29e968c1e3f6e017f1333fd521"> 460</a></span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">DataBlockPtr</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a7e053d29e968c1e3f6e017f1333fd521">eraseDataBlock</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">DataBlockPtr</a>&);</div>
<div class="line"><a id="l00461" name="l00461"></a><span class="lineno"> 461</span> </div>
<div class="line"><a id="l00467" name="l00467"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a14ed6e8dcad61c0721e296ee6700d6c8"> 467</a></span> <span class="keyword">const</span> std::vector<DataBlockPtr>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a14ed6e8dcad61c0721e296ee6700d6c8">dataBlocks</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> dblocks_; }</div>
<div class="line"><a id="l00468" name="l00468"></a><span class="lineno"> 468</span> </div>
<div class="line"><a id="l00469" name="l00469"></a><span class="lineno"> 469</span> </div>
<div class="line"><a id="l00471" name="l00471"></a><span class="lineno"> 471</span> <span class="comment">// Semantics</span></div>
<div class="line"><a id="l00473" name="l00473"></a><span class="lineno"> 473</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00480" name="l00480"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a032e89c52cc51996592155c9dbfa3499"> 480</a></span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html">BasicBlockSemantics</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a032e89c52cc51996592155c9dbfa3499">semantics</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00481" name="l00481"></a><span class="lineno"> 481</span> </div>
<div class="line"><a id="l00489" name="l00489"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8b365a03211eaee8481bfa81c95d10a2"> 489</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8b365a03211eaee8481bfa81c95d10a2">dropSemantics</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a>&);</div>
<div class="line"><a id="l00490" name="l00490"></a><span class="lineno"> 490</span> </div>
<div class="line"><a id="l00498" name="l00498"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeac7730dde2c0892743facfac8e7f471"> 498</a></span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html">BasicBlockSemantics</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeac7730dde2c0892743facfac8e7f471">undropSemantics</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a>&);</div>
<div class="line"><a id="l00499" name="l00499"></a><span class="lineno"> 499</span> </div>
<div class="line"><a id="l00500" name="l00500"></a><span class="lineno"> 500</span> </div>
<div class="line"><a id="l00501" name="l00501"></a><span class="lineno"> 501</span> </div>
<div class="line"><a id="l00503" name="l00503"></a><span class="lineno"> 503</span> <span class="comment">// Control flow</span></div>
<div class="line"><a id="l00505" name="l00505"></a><span class="lineno"> 505</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00516" name="l00516"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ac010780fd90b4adb57021d5d65838f90"> 516</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<Successors></a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ac010780fd90b4adb57021d5d65838f90">successors</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> successors_; }</div>
<div class="line"><a id="l00517" name="l00517"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a24afeeb9e31007a37253cb71c05a509f"> 517</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a24afeeb9e31007a37253cb71c05a509f">successors</a>(<span class="keyword">const</span> <a class="code hl_typedef" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9337bb89b6c23d87f28fdb059e7ef263">Successors</a>&);</div>
<div class="line"><a id="l00530" name="l00530"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2c654cd9ae99fc94b4ed6aef533bde1e"> 530</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<std::set<rose_addr_t></a> >& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2c654cd9ae99fc94b4ed6aef533bde1e">ghostSuccessors</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> ghostSuccessors_; }</div>
<div class="line"><a id="l00531" name="l00531"></a><span class="lineno"> 531</span> </div>
<div class="line"><a id="l00542" name="l00542"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a373d4b07069a23ddcb352ab9821e2fe4"> 542</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a373d4b07069a23ddcb352ab9821e2fe4">insertSuccessor</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">BaseSemantics::SValuePtr</a>&, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> type=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af7b849dcb4c98cebc5319e2fae83a740">E_NORMAL</a>, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> confidence=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc">ASSUMED</a>);</div>
<div class="line"><a id="l00543" name="l00543"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a3ea312296f400f41477f8ca44f486702"> 543</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a3ea312296f400f41477f8ca44f486702">insertSuccessor</a>(rose_addr_t va, <span class="keywordtype">size_t</span> nBits, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">EdgeType</a> type=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af7b849dcb4c98cebc5319e2fae83a740">E_NORMAL</a>, <a class="code hl_enumeration" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Confidence</a> confidence=<a class="code hl_enumvalue" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc">ASSUMED</a>);</div>
<div class="line"><a id="l00549" name="l00549"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8828571c3b2ce211b23eab06954392b4"> 549</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8828571c3b2ce211b23eab06954392b4">clearSuccessors</a>();</div>
<div class="line"><a id="l00550" name="l00550"></a><span class="lineno"> 550</span> </div>
<div class="line"><a id="l00551" name="l00551"></a><span class="lineno"> 551</span> </div>
<div class="line"><a id="l00553" name="l00553"></a><span class="lineno"> 553</span> <span class="comment">// Cached properties computed elsewhere</span></div>
<div class="line"><a id="l00555" name="l00555"></a><span class="lineno"> 555</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00564" name="l00564"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0fac9606c4530a4329d9c13b8481f04f"> 564</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0fac9606c4530a4329d9c13b8481f04f">isFunctionCall</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> isFunctionCall_; }</div>
<div class="line"><a id="l00565" name="l00565"></a><span class="lineno"> 565</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0fac9606c4530a4329d9c13b8481f04f">isFunctionCall</a>(<span class="keywordtype">bool</span> flag)<span class="keyword"> const </span>{ isFunctionCall_.<a class="code hl_function" href="classSawyer_1_1Cached.html#ab8346dad38defa70e3a087badb80e9da">set</a>(flag); }</div>
<div class="line"><a id="l00566" name="l00566"></a><span class="lineno"> 566</span> </div>
<div class="line"><a id="l00574" name="l00574"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aa3777bc1f90bc2144ea6db80122b33c8"> 574</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aa3777bc1f90bc2144ea6db80122b33c8">isFunctionReturn</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> isFunctionReturn_; }</div>
<div class="line"><a id="l00575" name="l00575"></a><span class="lineno"> 575</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aa3777bc1f90bc2144ea6db80122b33c8">isFunctionReturn</a>(<span class="keywordtype">bool</span> flag)<span class="keyword"> const </span>{ isFunctionReturn_.<a class="code hl_function" href="classSawyer_1_1Cached.html#ab8346dad38defa70e3a087badb80e9da">set</a>(flag); }</div>
<div class="line"><a id="l00576" name="l00576"></a><span class="lineno"> 576</span> </div>
<div class="line"><a id="l00583" name="l00583"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af52ccc46880a0675733716e9f7c9b3d9"> 583</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af52ccc46880a0675733716e9f7c9b3d9">mayReturn</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> mayReturn_; }</div>
<div class="line"><a id="l00584" name="l00584"></a><span class="lineno"> 584</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af52ccc46880a0675733716e9f7c9b3d9">mayReturn</a>(<span class="keywordtype">bool</span> flag)<span class="keyword"> const </span>{ mayReturn_.<a class="code hl_function" href="classSawyer_1_1Cached.html#ab8346dad38defa70e3a087badb80e9da">set</a>(flag); }</div>
<div class="line"><a id="l00585" name="l00585"></a><span class="lineno"> 585</span> </div>
<div class="line"><a id="l00591" name="l00591"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0479fb434e791cd1288c22d70c497d4a"> 591</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1Cached.html">Sawyer::Cached<bool></a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0479fb434e791cd1288c22d70c497d4a">popsStack</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> popsStack_; }</div>
<div class="line"><a id="l00592" name="l00592"></a><span class="lineno"> 592</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0479fb434e791cd1288c22d70c497d4a">popsStack</a>(<span class="keywordtype">bool</span> flag)<span class="keyword"> const </span>{ popsStack_.<a class="code hl_function" href="classSawyer_1_1Cached.html#ab8346dad38defa70e3a087badb80e9da">set</a>(flag); }</div>
<div class="line"><a id="l00593" name="l00593"></a><span class="lineno"> 593</span> </div>
<div class="line"><a id="l00594" name="l00594"></a><span class="lineno"> 594</span> </div>
<div class="line"><a id="l00596" name="l00596"></a><span class="lineno"> 596</span> <span class="comment">// Output</span></div>
<div class="line"><a id="l00598" name="l00598"></a><span class="lineno"> 598</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00602" name="l00602"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a42e7bae56ad720a45c3b43d73fa84a45"> 602</a></span> std::string <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a42e7bae56ad720a45c3b43d73fa84a45">printableName</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00603" name="l00603"></a><span class="lineno"> 603</span> </div>
<div class="line"><a id="l00604" name="l00604"></a><span class="lineno"> 604</span> </div>
<div class="line"><a id="l00606" name="l00606"></a><span class="lineno"> 606</span> <span class="comment">// Private members for the partitioner</span></div>
<div class="line"><a id="l00608" name="l00608"></a><span class="lineno"> 608</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00609" name="l00609"></a><span class="lineno"> 609</span> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1Partitioner.html">Partitioner</a>;</div>
<div class="line"><a id="l00610" name="l00610"></a><span class="lineno"> 610</span> <span class="keywordtype">void</span> init(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">PartitionerConstPtr</a>&);</div>
<div class="line"><a id="l00611" name="l00611"></a><span class="lineno"> 611</span> <span class="keywordtype">void</span> freeze() { isFrozen_ = <span class="keyword">true</span>; semantics_.<a class="code hl_variable" href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ab4c3b1a3ff984aae94b00e04401d4749">optionalPenultimateState</a> = <a class="code hl_class" href="classSawyer_1_1Nothing.html">Sawyer::Nothing</a>(); }</div>
<div class="line"><a id="l00612" name="l00612"></a><span class="lineno"> 612</span> <span class="keywordtype">void</span> thaw() { isFrozen_ = <span class="keyword">false</span>; }</div>
<div class="line"><a id="l00613" name="l00613"></a><span class="lineno"> 613</span> BasicBlockSemantics undropSemanticsNS(<span class="keyword">const</span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a461d763e33e7cf0364b64e0af0c267a0">PartitionerConstPtr</a>&);</div>
<div class="line"><a id="l00614" name="l00614"></a><span class="lineno"> 614</span> </div>
<div class="line"><a id="l00615" name="l00615"></a><span class="lineno"> 615</span> <span class="comment">// Find an equivalent data block and replace it with the specified data block, or insert the specified data block.</span></div>
<div class="line"><a id="l00616" name="l00616"></a><span class="lineno"> 616</span> <span class="keywordtype">void</span> replaceOrInsertDataBlock(<span class="keyword">const</span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#aa7d95e808e98c66e47216bd15f405718">DataBlockPtr</a>&);</div>
<div class="line"><a id="l00617" name="l00617"></a><span class="lineno"> 617</span>};</div>
</div>
<div class="line"><a id="l00618" name="l00618"></a><span class="lineno"> 618</span> </div>
<div class="line"><a id="l00619" name="l00619"></a><span class="lineno"> 619</span>} <span class="comment">// namespace</span></div>
<div class="line"><a id="l00620" name="l00620"></a><span class="lineno"> 620</span>} <span class="comment">// namespace</span></div>
<div class="line"><a id="l00621" name="l00621"></a><span class="lineno"> 621</span>} <span class="comment">// namespace</span></div>
<div class="line"><a id="l00622" name="l00622"></a><span class="lineno"> 622</span> </div>
<div class="line"><a id="l00623" name="l00623"></a><span class="lineno"> 623</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00624" name="l00624"></a><span class="lineno"> 624</span><span class="preprocessor">#endif</span></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics</a></div><div class="ttdoc">Information related to instruction semantics.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00035">BasicBlock.h:35</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_a146988429e11db0dca3a5d4779bef1eb"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a146988429e11db0dca3a5d4779bef1eb">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::dispatcher</a></div><div class="ttdeci">BaseSemantics::DispatcherPtr dispatcher</div><div class="ttdoc">How instructions are dispatched.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00043">BasicBlock.h:43</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_a30deab21a2204a2bab3874b58bcd076f"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a30deab21a2204a2bab3874b58bcd076f">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::wasDropped</a></div><div class="ttdeci">bool wasDropped</div><div class="ttdoc">Whether the semantics had been dropped and reconstructed.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00070">BasicBlock.h:70</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_a3cae61cd89317a1ccc76af7ff6947b3a"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a3cae61cd89317a1ccc76af7ff6947b3a">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::BasicBlockSemantics</a></div><div class="ttdeci">BasicBlockSemantics()</div><div class="ttdoc">Construct an empty semantics object.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00074">BasicBlock.h:74</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_a7bad4a4a377102fa24ca01c0e9ad9210"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a7bad4a4a377102fa24ca01c0e9ad9210">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::usingDispatcher</a></div><div class="ttdeci">bool usingDispatcher</div><div class="ttdoc">Whether semantic state is up-to-date.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00061">BasicBlock.h:61</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_a92ee0969d892d478700edf121c842766"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#a92ee0969d892d478700edf121c842766">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::initialState</a></div><div class="ttdeci">BaseSemantics::StatePtr initialState</div><div class="ttdoc">Initial state for semantics.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00055">BasicBlock.h:55</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_aaa0f0914d7730ab9c0341622615ce7a2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aaa0f0914d7730ab9c0341622615ce7a2">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::isSemanticsDropped</a></div><div class="ttdeci">bool isSemanticsDropped() const</div><div class="ttdoc">Determines whether semantics have been dropped.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00081">BasicBlock.h:81</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_aacd1baeaef3003b50952e79c32a93c8a"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aacd1baeaef3003b50952e79c32a93c8a">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::isSemanticsError</a></div><div class="ttdeci">bool isSemanticsError() const</div><div class="ttdoc">Determines whether a semantics error was encountered.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00089">BasicBlock.h:89</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_ab4c3b1a3ff984aae94b00e04401d4749"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ab4c3b1a3ff984aae94b00e04401d4749">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::optionalPenultimateState</a></div><div class="ttdeci">Sawyer::Optional< BaseSemantics::StatePtr > optionalPenultimateState</div><div class="ttdoc">The state just prior to executing the final instruction.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00067">BasicBlock.h:67</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_ac9a7aac043c650eb1a1c1c5dfc0fdaa3"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#ac9a7aac043c650eb1a1c1c5dfc0fdaa3">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::operators</a></div><div class="ttdeci">BaseSemantics::RiscOperatorsPtr operators</div><div class="ttdoc">Risc operators.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00049">BasicBlock.h:49</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics_html_aea39aff352dd1fcdeef683862aeec1c3"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSemantics.html#aea39aff352dd1fcdeef683862aeec1c3">Rose::BinaryAnalysis::Partitioner2::BasicBlockSemantics::finalState</a></div><div class="ttdeci">BaseSemantics::StatePtr finalState() const</div><div class="ttdoc">Return the final semantic state.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00098">BasicBlock.h:98</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor</a></div><div class="ttdoc">Basic block successor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00104">BasicBlock.h:104</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor_html_a521e3a448d1ebe663d9120a5eded1995"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a521e3a448d1ebe663d9120a5eded1995">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::expr</a></div><div class="ttdeci">const Semantics::SValuePtr & expr() const</div><div class="ttdoc">Symbolic expression for the successor address.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00126">BasicBlock.h:126</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor_html_a824dc84cfa9b2c7a9f00fea124adaa7e"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#a824dc84cfa9b2c7a9f00fea124adaa7e">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::type</a></div><div class="ttdeci">EdgeType type() const</div><div class="ttdoc">Type of successor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00129">BasicBlock.h:129</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor_html_ae1ad075ebe4024619d7909aa650e46f2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#ae1ad075ebe4024619d7909aa650e46f2">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::confidence</a></div><div class="ttdeci">void confidence(Confidence c)</div><div class="ttdoc">Confidence level of this successor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00136">BasicBlock.h:136</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor_html_aeacaf25fa0b8f7e29764124d882a938b"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlockSuccessor.html#aeacaf25fa0b8f7e29764124d882a938b">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::confidence</a></div><div class="ttdeci">Confidence confidence() const</div><div class="ttdoc">Confidence level of this successor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00135">BasicBlock.h:135</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html">Rose::BinaryAnalysis::Partitioner2::BasicBlock</a></div><div class="ttdoc">Basic block information.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00165">BasicBlock.h:165</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a032e89c52cc51996592155c9dbfa3499"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a032e89c52cc51996592155c9dbfa3499">Rose::BinaryAnalysis::Partitioner2::BasicBlock::semantics</a></div><div class="ttdeci">BasicBlockSemantics semantics() const</div><div class="ttdoc">Return information about semantics.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a0479fb434e791cd1288c22d70c497d4a"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0479fb434e791cd1288c22d70c497d4a">Rose::BinaryAnalysis::Partitioner2::BasicBlock::popsStack</a></div><div class="ttdeci">const Sawyer::Cached< bool > & popsStack() const</div><div class="ttdoc">Pops stack property.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00591">BasicBlock.h:591</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a0d02dc5b7cca7811f4e9df0ccd7f8f05"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0d02dc5b7cca7811f4e9df0ccd7f8f05">Rose::BinaryAnalysis::Partitioner2::BasicBlock::clearCache</a></div><div class="ttdeci">void clearCache()</div><div class="ttdoc">Clear all cached data.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00258">BasicBlock.h:258</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a0f255d1bb40d22c4131a9e9669f54508"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0f255d1bb40d22c4131a9e9669f54508">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instructionIndex</a></div><div class="ttdeci">Sawyer::Optional< size_t > instructionIndex(SgAsmInstruction *) const</div><div class="ttdoc">Position of an instruction.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a0fac9606c4530a4329d9c13b8481f04f"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a0fac9606c4530a4329d9c13b8481f04f">Rose::BinaryAnalysis::Partitioner2::BasicBlock::isFunctionCall</a></div><div class="ttdeci">const Sawyer::Cached< bool > & isFunctionCall() const</div><div class="ttdoc">Is a function call?</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00564">BasicBlock.h:564</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a14ed6e8dcad61c0721e296ee6700d6c8"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a14ed6e8dcad61c0721e296ee6700d6c8">Rose::BinaryAnalysis::Partitioner2::BasicBlock::dataBlocks</a></div><div class="ttdeci">const std::vector< DataBlockPtr > & dataBlocks() const</div><div class="ttdoc">Data blocks owned.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00467">BasicBlock.h:467</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a224098d4b0f51356b78d2fb5c5a90abc"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a224098d4b0f51356b78d2fb5c5a90abc">Rose::BinaryAnalysis::Partitioner2::BasicBlock::insnAddresses</a></div><div class="ttdeci">AddressIntervalSet insnAddresses() const</div><div class="ttdoc">Get all instruction addresses.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a24afeeb9e31007a37253cb71c05a509f"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a24afeeb9e31007a37253cb71c05a509f">Rose::BinaryAnalysis::Partitioner2::BasicBlock::successors</a></div><div class="ttdeci">void successors(const Successors &)</div><div class="ttdoc">Control flow successors.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a2a9652c7e4c7e35a17631bba9dd34699"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2a9652c7e4c7e35a17631bba9dd34699">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instructionExists</a></div><div class="ttdeci">SgAsmInstruction * instructionExists(rose_addr_t startVa) const</div><div class="ttdoc">Determine if this basic block contains an instruction at a specific address.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a2c654cd9ae99fc94b4ed6aef533bde1e"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a2c654cd9ae99fc94b4ed6aef533bde1e">Rose::BinaryAnalysis::Partitioner2::BasicBlock::ghostSuccessors</a></div><div class="ttdeci">const Sawyer::Cached< std::set< rose_addr_t > > & ghostSuccessors() const</div><div class="ttdoc">Ghost successors.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00530">BasicBlock.h:530</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a373d4b07069a23ddcb352ab9821e2fe4"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a373d4b07069a23ddcb352ab9821e2fe4">Rose::BinaryAnalysis::Partitioner2::BasicBlock::insertSuccessor</a></div><div class="ttdeci">void insertSuccessor(const BaseSemantics::SValuePtr &, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED)</div><div class="ttdoc">Insert a new successor.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a3ea312296f400f41477f8ca44f486702"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a3ea312296f400f41477f8ca44f486702">Rose::BinaryAnalysis::Partitioner2::BasicBlock::insertSuccessor</a></div><div class="ttdeci">void insertSuccessor(rose_addr_t va, size_t nBits, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED)</div><div class="ttdoc">Insert a new successor.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a42e7bae56ad720a45c3b43d73fa84a45"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a42e7bae56ad720a45c3b43d73fa84a45">Rose::BinaryAnalysis::Partitioner2::BasicBlock::printableName</a></div><div class="ttdeci">std::string printableName() const</div><div class="ttdoc">A printable name for this basic block.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a466722f645e9372f1909c22825f4d663"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a466722f645e9372f1909c22825f4d663">Rose::BinaryAnalysis::Partitioner2::BasicBlock::nDataBlocks</a></div><div class="ttdeci">size_t nDataBlocks() const</div><div class="ttdoc">Get the number of data blocks owned.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a4ae472645e65da98340f932233c68dda"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4ae472645e65da98340f932233c68dda">Rose::BinaryAnalysis::Partitioner2::BasicBlock::isEmpty</a></div><div class="ttdeci">bool isEmpty() const</div><div class="ttdoc">Return true if this basic block has no instructions.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00343">BasicBlock.h:343</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a4bc0f1672e3dc41fb8856c57a2e97df7"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a4bc0f1672e3dc41fb8856c57a2e97df7">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instructionIndex</a></div><div class="ttdeci">Sawyer::Optional< size_t > instructionIndex(rose_addr_t) const</div><div class="ttdoc">Position of an instruction.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a60b53b39f27db7c32fe09e8fcd8ba8b4"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a60b53b39f27db7c32fe09e8fcd8ba8b4">Rose::BinaryAnalysis::Partitioner2::BasicBlock::sourceLocation</a></div><div class="ttdeci">void sourceLocation(const SourceLocation &loc)</div><div class="ttdoc">Optional location in source code.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00292">BasicBlock.h:292</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a63596073bbdb19c172fe367f17d53ad0"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a63596073bbdb19c172fe367f17d53ad0">Rose::BinaryAnalysis::Partitioner2::BasicBlock::fallthroughVa</a></div><div class="ttdeci">rose_addr_t fallthroughVa() const</div><div class="ttdoc">Get the address after the end of the final instruction.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a6a477e20fd7aa8bfbfc6681cce2ac12a"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a6a477e20fd7aa8bfbfc6681cce2ac12a">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instructionExists</a></div><div class="ttdeci">Sawyer::Optional< size_t > instructionExists(SgAsmInstruction *) const</div><div class="ttdoc">Determines if this basic block contains the specified instruction.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a721dec9e5a95c29572286457d7a5a3d2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a721dec9e5a95c29572286457d7a5a3d2">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instance</a></div><div class="ttdeci">static Ptr instance(rose_addr_t startVa, const PartitionerConstPtr &partitioner)</div><div class="ttdoc">Static allocating constructor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00238">BasicBlock.h:238</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a7e053d29e968c1e3f6e017f1333fd521"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a7e053d29e968c1e3f6e017f1333fd521">Rose::BinaryAnalysis::Partitioner2::BasicBlock::eraseDataBlock</a></div><div class="ttdeci">DataBlockPtr eraseDataBlock(const DataBlockPtr &)</div><div class="ttdoc">Remove specified or equivalent data block from this basic block.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a82ae26a8fc2001990a8c1f933b13a249"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a82ae26a8fc2001990a8c1f933b13a249">Rose::BinaryAnalysis::Partitioner2::BasicBlock::insertDataBlock</a></div><div class="ttdeci">bool insertDataBlock(const DataBlockPtr &)</div><div class="ttdoc">Make this basic block own the specified data block or equivalent data block.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a8543c4058aa6c1c982cc55f40bba8f84"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8543c4058aa6c1c982cc55f40bba8f84">Rose::BinaryAnalysis::Partitioner2::BasicBlock::comment</a></div><div class="ttdeci">void comment(const std::string &s)</div><div class="ttdoc">Comment.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00285">BasicBlock.h:285</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a8722459585ec6491c5802eeb016bd980"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8722459585ec6491c5802eeb016bd980">Rose::BinaryAnalysis::Partitioner2::BasicBlock::address</a></div><div class="ttdeci">rose_addr_t address() const</div><div class="ttdoc">Get the address for a basic block.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00307">BasicBlock.h:307</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a8828571c3b2ce211b23eab06954392b4"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8828571c3b2ce211b23eab06954392b4">Rose::BinaryAnalysis::Partitioner2::BasicBlock::clearSuccessors</a></div><div class="ttdeci">void clearSuccessors()</div><div class="ttdoc">Clear all successor information.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a8b365a03211eaee8481bfa81c95d10a2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8b365a03211eaee8481bfa81c95d10a2">Rose::BinaryAnalysis::Partitioner2::BasicBlock::dropSemantics</a></div><div class="ttdeci">void dropSemantics(const PartitionerConstPtr &)</div><div class="ttdoc">Drops semantic information.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a8cde5ef0a6712aa8031b813dca3cb307"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a8cde5ef0a6712aa8031b813dca3cb307">Rose::BinaryAnalysis::Partitioner2::BasicBlock::sourceLocation</a></div><div class="ttdeci">const SourceLocation & sourceLocation() const</div><div class="ttdoc">Optional location in source code.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00291">BasicBlock.h:291</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a9337bb89b6c23d87f28fdb059e7ef263"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9337bb89b6c23d87f28fdb059e7ef263">Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successors</a></div><div class="ttdeci">BasicBlockSuccessors Successors</div><div class="ttdoc">All successors in no particular order.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00174">BasicBlock.h:174</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a9a231e80cbd7f85887d95e9174d2feb2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9a231e80cbd7f85887d95e9174d2feb2">Rose::BinaryAnalysis::Partitioner2::BasicBlock::Ptr</a></div><div class="ttdeci">Sawyer::SharedPointer< BasicBlock > Ptr</div><div class="ttdoc">Shared pointer to a basic block.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00168">BasicBlock.h:168</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_a9b21ad4f5ec7c1a8a711a1c2e9215aa0"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#a9b21ad4f5ec7c1a8a711a1c2e9215aa0">Rose::BinaryAnalysis::Partitioner2::BasicBlock::append</a></div><div class="ttdeci">void append(const PartitionerConstPtr &, SgAsmInstruction *)</div><div class="ttdoc">Append an instruction to a basic block.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_aa3777bc1f90bc2144ea6db80122b33c8"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aa3777bc1f90bc2144ea6db80122b33c8">Rose::BinaryAnalysis::Partitioner2::BasicBlock::isFunctionReturn</a></div><div class="ttdeci">const Sawyer::Cached< bool > & isFunctionReturn() const</div><div class="ttdoc">Is a function return?</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00574">BasicBlock.h:574</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ab26d112db803427e7efa8c573ea67ce4"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab26d112db803427e7efa8c573ea67ce4">Rose::BinaryAnalysis::Partitioner2::BasicBlock::create</a></div><div class="ttdeci">virtual Ptr create(rose_addr_t startVa, const PartitionerConstPtr &partitioner) const</div><div class="ttdoc">Virtual constructor.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00247">BasicBlock.h:247</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ab39ef62d894b0a950dd73b997a6ddcf4"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab39ef62d894b0a950dd73b997a6ddcf4">Rose::BinaryAnalysis::Partitioner2::BasicBlock::explicitConstants</a></div><div class="ttdeci">std::set< rose_addr_t > explicitConstants() const</div><div class="ttdoc">Set of explicit constants.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ab57eefdafbd29acec40991d7ed0af2f6"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ab57eefdafbd29acec40991d7ed0af2f6">Rose::BinaryAnalysis::Partitioner2::BasicBlock::nInstructions</a></div><div class="ttdeci">size_t nInstructions() const</div><div class="ttdoc">Get the number of instructions in this block.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00331">BasicBlock.h:331</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ac010780fd90b4adb57021d5d65838f90"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ac010780fd90b4adb57021d5d65838f90">Rose::BinaryAnalysis::Partitioner2::BasicBlock::successors</a></div><div class="ttdeci">const Sawyer::Cached< Successors > & successors() const</div><div class="ttdoc">Control flow successors.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00516">BasicBlock.h:516</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ad7fdac38b5832b7b1d19b298ffec5ebe"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad7fdac38b5832b7b1d19b298ffec5ebe">Rose::BinaryAnalysis::Partitioner2::BasicBlock::dataBlockExists</a></div><div class="ttdeci">DataBlockPtr dataBlockExists(const DataBlockPtr &) const</div><div class="ttdoc">Determine if this basic block contains the specified data block or equivalent data block.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_ad96c4962c3081ed175270f9582b434ab"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#ad96c4962c3081ed175270f9582b434ab">Rose::BinaryAnalysis::Partitioner2::BasicBlock::instructions</a></div><div class="ttdeci">const std::vector< SgAsmInstruction * > & instructions() const</div><div class="ttdoc">Get the instructions for this block.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00381">BasicBlock.h:381</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_aeabc20b98046fe33c35d40780e0478a2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeabc20b98046fe33c35d40780e0478a2">Rose::BinaryAnalysis::Partitioner2::BasicBlock::isFrozen</a></div><div class="ttdeci">bool isFrozen() const</div><div class="ttdoc">Determine if basic block is read-only.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00272">BasicBlock.h:272</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_aeac7730dde2c0892743facfac8e7f471"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aeac7730dde2c0892743facfac8e7f471">Rose::BinaryAnalysis::Partitioner2::BasicBlock::undropSemantics</a></div><div class="ttdeci">BasicBlockSemantics undropSemantics(const PartitionerConstPtr &)</div><div class="ttdoc">Undrop semantics.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_af52ccc46880a0675733716e9f7c9b3d9"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af52ccc46880a0675733716e9f7c9b3d9">Rose::BinaryAnalysis::Partitioner2::BasicBlock::mayReturn</a></div><div class="ttdeci">const Sawyer::Cached< bool > & mayReturn() const</div><div class="ttdoc">May-return property.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00583">BasicBlock.h:583</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_af5a60139976768f55084989706caa54c"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#af5a60139976768f55084989706caa54c">Rose::BinaryAnalysis::Partitioner2::BasicBlock::pop</a></div><div class="ttdeci">void pop()</div><div class="ttdoc">Undo the latest append.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_aff173598e2f2d95457418b006ae6ee7f"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#aff173598e2f2d95457418b006ae6ee7f">Rose::BinaryAnalysis::Partitioner2::BasicBlock::dataAddresses</a></div><div class="ttdeci">AddressIntervalSet dataAddresses() const</div><div class="ttdoc">Addresses that are part of static data.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock_html_affc0f5765eae013301d327ba9f1f144e"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1BasicBlock.html#affc0f5765eae013301d327ba9f1f144e">Rose::BinaryAnalysis::Partitioner2::BasicBlock::comment</a></div><div class="ttdeci">const std::string & comment() const</div><div class="ttdoc">Comment.</div><div class="ttdef"><b>Definition</b> <a href="BasicBlock_8h_source.html#l00284">BasicBlock.h:284</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1Partitioner2_1_1Partitioner_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1Partitioner2_1_1Partitioner.html">Rose::BinaryAnalysis::Partitioner2::Partitioner</a></div><div class="ttdoc">Partitions instructions into basic blocks and functions.</div><div class="ttdef"><b>Definition</b> <a href="Partitioner_8h_source.html#l00263">Partitioner.h:264</a></div></div>
<div class="ttc" id="aclassRose_1_1SourceLocation_html"><div class="ttname"><a href="classRose_1_1SourceLocation.html">Rose::SourceLocation</a></div><div class="ttdoc">Information about a source location.</div><div class="ttdef"><b>Definition</b> <a href="SourceLocation_8h_source.html#l00069">SourceLocation.h:69</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Attribute_1_1Storage_html"><div class="ttname"><a href="classSawyer_1_1Attribute_1_1Storage.html">Sawyer::Attribute::Storage</a></div><div class="ttdoc">API and storage for attributes.</div><div class="ttdef"><b>Definition</b> <a href="Attribute_8h_source.html#l00215">Attribute.h:215</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Cached_html"><div class="ttname"><a href="classSawyer_1_1Cached.html">Sawyer::Cached</a></div><div class="ttdoc">Implements cache data members.</div><div class="ttdef"><b>Definition</b> <a href="Cached_8h_source.html#l00040">Cached.h:40</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Cached_html_ab8346dad38defa70e3a087badb80e9da"><div class="ttname"><a href="classSawyer_1_1Cached.html#ab8346dad38defa70e3a087badb80e9da">Sawyer::Cached::set</a></div><div class="ttdeci">void set(const Value &x) const</div><div class="ttdoc">Assign a new value.</div><div class="ttdef"><b>Definition</b> <a href="Cached_8h_source.html#l00134">Cached.h:134</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Container_1_1IntervalSet_html"><div class="ttname"><a href="classSawyer_1_1Container_1_1IntervalSet.html">Sawyer::Container::IntervalSet< AddressInterval ></a></div></div>
<div class="ttc" id="aclassSawyer_1_1Container_1_1Map_html"><div class="ttname"><a href="classSawyer_1_1Container_1_1Map.html">Sawyer::Container::Map</a></div><div class="ttdoc">Container associating values with keys.</div><div class="ttdef"><b>Definition</b> <a href="Sawyer_2Map_8h_source.html#l00072">Sawyer/Map.h:72</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Nothing_html"><div class="ttname"><a href="classSawyer_1_1Nothing.html">Sawyer::Nothing</a></div><div class="ttdoc">Represents no value.</div><div class="ttdef"><b>Definition</b> <a href="Optional_8h_source.html#l00036">Optional.h:36</a></div></div>
<div class="ttc" id="aclassSawyer_1_1Optional_html"><div class="ttname"><a href="classSawyer_1_1Optional.html">Sawyer::Optional</a></div><div class="ttdoc">Holds a value or nothing.</div><div class="ttdef"><b>Definition</b> <a href="Optional_8h_source.html#l00056">Optional.h:56</a></div></div>
<div class="ttc" id="aclassSawyer_1_1SharedObject_html"><div class="ttname"><a href="classSawyer_1_1SharedObject.html">Sawyer::SharedObject</a></div><div class="ttdoc">Base class for reference counted objects.</div><div class="ttdef"><b>Definition</b> <a href="SharedObject_8h_source.html#l00064">SharedObject.h:64</a></div></div>
<div class="ttc" id="aclassSawyer_1_1SharedPointer_html"><div class="ttname"><a href="classSawyer_1_1SharedPointer.html">Sawyer::SharedPointer</a></div><div class="ttdoc">Reference-counting intrusive smart pointer.</div><div class="ttdef"><b>Definition</b> <a href="SharedPointer_8h_source.html#l00065">SharedPointer.h:65</a></div></div>
<div class="ttc" id="aclassSgAsmInstruction_html"><div class="ttname"><a href="classSgAsmInstruction.html">SgAsmInstruction</a></div><div class="ttdoc">Base class for machine instructions.</div><div class="ttdef"><b>Definition</b> <a href="binaryInstruction_8C_source.html#l43208">binaryInstruction.C:43208</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_html"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics</a></div><div class="ttdoc">Base classes for instruction semantics.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2InstructionSemantics_2BaseSemantics_2BasicTypes_8h_source.html#l00022">Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h:22</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_html_a0c0106c0f124bfd48cf9c198e6bd7d4b"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#a0c0106c0f124bfd48cf9c198e6bd7d4b">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RiscOperatorsPtr</a></div><div class="ttdeci">boost::shared_ptr< RiscOperators > RiscOperatorsPtr</div><div class="ttdoc">Shared-ownership pointer to a RISC operators object.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2InstructionSemantics_2BaseSemantics_2BasicTypes_8h_source.html#l00066">Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h:66</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_html_a75ee406f19167965f5217e58fe9dc707"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#a75ee406f19167965f5217e58fe9dc707">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::DispatcherPtr</a></div><div class="ttdeci">boost::shared_ptr< Dispatcher > DispatcherPtr</div><div class="ttdoc">Shared-ownership pointer to a semantics instruction dispatcher.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2InstructionSemantics_2BaseSemantics_2BasicTypes_8h_source.html#l00069">Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h:69</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_html_aae5e1a00d709df3fc68381fdd5383db9"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#aae5e1a00d709df3fc68381fdd5383db9">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::StatePtr</a></div><div class="ttdeci">boost::shared_ptr< State > StatePtr</div><div class="ttdoc">Shared-ownership pointer to a semantic state.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2InstructionSemantics_2BaseSemantics_2BasicTypes_8h_source.html#l00063">Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h:63</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a461d763e33e7cf0364b64e0af0c267a0"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a461d763e33e7cf0364b64e0af0c267a0">Rose::BinaryAnalysis::Partitioner2::PartitionerConstPtr</a></div><div class="ttdeci">Sawyer::SharedPointer< const Partitioner > PartitionerConstPtr</div><div class="ttdoc">Shared-ownership pointer for Partitioner.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00714">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:714</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a7595093daccb663b9934aa6264656473"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a7595093daccb663b9934aa6264656473">Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessors</a></div><div class="ttdeci">std::vector< BasicBlockSuccessor > BasicBlockSuccessors</div><div class="ttdoc">All successors in no particular order.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00667">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:667</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a8c65d98b5dc4b8b62b640a77af63f6a9"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9">Rose::BinaryAnalysis::Partitioner2::EdgeType</a></div><div class="ttdeci">EdgeType</div><div class="ttdoc">Partitioner control flow edge types.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00062">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:62</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a8c65d98b5dc4b8b62b640a77af63f6a9af5349e3eb9ad0f639ca34300977eec44"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af5349e3eb9ad0f639ca34300977eec44">Rose::BinaryAnalysis::Partitioner2::E_USER_DEFINED</a></div><div class="ttdeci">@ E_USER_DEFINED</div><div class="ttdoc">User defined edge.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00082">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:80</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a8c65d98b5dc4b8b62b640a77af63f6a9af7b849dcb4c98cebc5319e2fae83a740"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8c65d98b5dc4b8b62b640a77af63f6a9af7b849dcb4c98cebc5319e2fae83a740">Rose::BinaryAnalysis::Partitioner2::E_NORMAL</a></div><div class="ttdeci">@ E_NORMAL</div><div class="ttdoc">Normal control flow edge, nothing special.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00063">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:63</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a8fe96c83c4b19e6723fc7e63c05643d3"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3">Rose::BinaryAnalysis::Partitioner2::Confidence</a></div><div class="ttdeci">Confidence</div><div class="ttdoc">How sure are we of something.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00086">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:86</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#a8fe96c83c4b19e6723fc7e63c05643d3a4c7223eb439ddb4271ace85d291f01cc">Rose::BinaryAnalysis::Partitioner2::ASSUMED</a></div><div class="ttdeci">@ ASSUMED</div><div class="ttdoc">The value is an assumption without any proof.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00087">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:87</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1Partitioner2_html_aa7d95e808e98c66e47216bd15f405718"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1Partitioner2.html#aa7d95e808e98c66e47216bd15f405718">Rose::BinaryAnalysis::Partitioner2::DataBlockPtr</a></div><div class="ttdeci">Sawyer::SharedPointer< DataBlock > DataBlockPtr</div><div class="ttdoc">Shared-ownership pointer for DataBlock.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2Partitioner2_2BasicTypes_8h_source.html#l00680">Rose/BinaryAnalysis/Partitioner2/BasicTypes.h:680</a></div></div>
<div class="ttc" id="anamespaceRose_html"><div class="ttname"><a href="namespaceRose.html">Rose</a></div><div class="ttdoc">The ROSE library.</div><div class="ttdef"><b>Definition</b> <a href="BinaryTutorial_8dox_source.html#l00003">BinaryTutorial.dox:3</a></div></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Wed Oct 2 2024 00:08:24 for ROSE by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
</small></address>
</body>
</html>