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