1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
6 #include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/Types.h>
9 namespace BinaryAnalysis {
10 namespace InstructionSemantics2 {
39 bool memoryAddressesMayAlias_;
40 bool memoryMergeDebugging_;
MergerPtr Ptr
Shared ownership pointer for Merger.
Main namespace for the ROSE library.
bool memoryMergeDebugging() const
Turn on output for memory merge debugging.
Controls state merge operations.
Base classes for instruction semantics.
static Ptr instance()
Allocating constructor.
bool memoryAddressesMayAlias() const
Whether memory addresses can alias one another.
void memoryAddressesMayAlias(bool b)
Whether memory addresses can alias one another.
Base class for reference counted objects.
void memoryMergeDebugging(bool b)
Turn on output for memory merge debugging.