Static Value-Flow Analysis
Loading...
Searching...
No Matches
Functions
SVFValue.cpp File Reference
#include "SVFIR/SVFValue.h"
#include "Util/SVFUtil.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 42 of file SVFValue.cpp.

44{
45 assert("SVFBaseNode::valueOnlyToString should be implemented or supported by fronted" && false);
46 abort();
47}
48
50const bool SVFValue::hasLLVMValue() const
51{
52 assert("SVFBaseNode::hasLLVMValue should be implemented or supported by fronted" && false);
53 abort();
54}
55
58{
59 fldIdxVec.push_back(fldIdx);
60 elemIdxVec.push_back(elemIdx);
61 fldIdx2TypeMap[fldIdx] = type;
62}
unsigned u32_t
Definition CommandLine.h:18
newitem type
Definition cJSON.cpp:2739
const bool hasLLVMValue() const
Definition LLVMUtil.cpp:754
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:79
std::vector< u32_t > elemIdxVec
Definition SVFType.h:82
Map< u32_t, const SVFType * > fldIdx2TypeMap
Types of all fields of a struct.
Definition SVFType.h:84
__attribute__((weak)) std
Definition SVFType.cpp:10
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74