Static Value-Flow Analysis
Loading...
Searching...
No Matches
Functions
SVFValue.cpp File Reference
#include "SVFIR/SVFValue.h"
#include "Util/SVFUtil.h"
#include "Graphs/BasicBlockG.h"
#include "Graphs/GenericGraph.h"
#include "Util/SVFLoopAndDomInfo.h"

Go to the source code of this file.

Functions

 __attribute__ ((weak)) const std
 

Function Documentation

◆ __attribute__()

__attribute__ ( (weak ) const

Definition at line 43 of file SVFValue.cpp.

45{
46 assert("SVFBaseNode::valueOnlyToString should be implemented or supported by fronted" && false);
47 abort();
48}
49
51const bool SVFValue::hasLLVMValue() const
52{
53 assert("SVFBaseNode::hasLLVMValue should be implemented or supported by fronted" && false);
54 abort();
55}
56
59{
60 fldIdxVec.push_back(fldIdx);
61 elemIdxVec.push_back(elemIdx);
62 fldIdx2TypeMap[fldIdx] = type;
63}
unsigned u32_t
Definition CommandLine.h:18
newitem type
Definition cJSON.cpp:2739
const bool hasLLVMValue() const
Definition LLVMUtil.cpp:760
void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)
Add field index and element index and their corresponding type.
std::vector< u32_t > fldIdxVec
flattened field indices of a struct (ignoring arrays)
Definition SVFType.h:77
std::vector< u32_t > elemIdxVec
Definition SVFType.h:80
Map< u32_t, const SVFType * > fldIdx2TypeMap
Types of all fields of a struct.
Definition SVFType.h:82
__attribute__((weak)) std
Definition SVFType.cpp:10
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:76