1 #ifndef ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
2 #define ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
3 #include <rosePublicConfig.h>
4 #ifdef ROSE_BUILD_BINARY_ANALYSIS_SUPPORT
6 #include <BaseSemanticsTypes.h>
10 namespace InstructionSemantics2 {
34 bool memoryAddressesMayAlias_;
35 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.
Reference-counting intrusive smart pointer.
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.