TypeBasedHeapCloning.cpp File Reference

#include "SVF-FE/CPPUtil.h"
#include "Util/TypeBasedHeapCloning.h"
#include "MemoryModel/PointerAnalysisImpl.h"

Go to the source code of this file.

Functions
static bool	isAliasTestFunction (std::string name)
	Returns true if the function name matches MAYALIAS, NOALIAS, etc. More...

Function Documentation

isAliasTestFunction()

static bool isAliasTestFunction ( std::string  name )

static

Returns true if the function name matches MAYALIAS, NOALIAS, etc.

Definition at line 546 of file TypeBasedHeapCloning.cpp.

{
    return    name == PointerAnalysis::aliasTestMayAlias
              || name == PointerAnalysis::aliasTestMayAliasMangled
              || name == PointerAnalysis::aliasTestNoAlias
              || name == PointerAnalysis::aliasTestNoAliasMangled
              || name == PointerAnalysis::aliasTestPartialAlias
              || name == PointerAnalysis::aliasTestPartialAliasMangled
              || name == PointerAnalysis::aliasTestMustAlias
              || name == PointerAnalysis::aliasTestMustAliasMangled
              || name == PointerAnalysis::aliasTestFailMayAlias
              || name == PointerAnalysis::aliasTestFailMayAliasMangled
              || name == PointerAnalysis::aliasTestFailNoAlias
              || name == PointerAnalysis::aliasTestFailNoAliasMangled;
}