ObjTypeInference.cpp File Reference

#include "SVF-LLVM/ObjTypeInference.h"
#include "SVF-LLVM/BasicTypes.h"
#include "SVF-LLVM/LLVMModule.h"
#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/CppUtil.h"
#include "Util/Casting.h"

Go to the source code of this file.

Macros
#define	TYPE_DEBUG   0 /* Turn this on if you're debugging type inference */
#define	ERR_MSG(msg)
#define	ABORT_MSG(msg)
#define	ABORT_IFNOT(condition, msg)
#define	WARN_MSG(msg)
#define	WARN_IFNOT(condition, msg)

Functions
const Type *	infersiteToType (const Value *val)

Variables
const std::string	TYPEMALLOC = "TYPE_MALLOC"

Macro Definition Documentation

ABORT_IFNOT

#define ABORT_IFNOT	(		condition,
			msg
	)

Value:

    do                                                                         \
    {                                                                          \
        if (!(condition))                                                      \
            ABORT_MSG(msg);                                                    \
    } while (0)

Definition at line 50 of file ObjTypeInference.cpp.

    {                                                                          \
        if (!(condition))                                                      \
            ABORT_MSG(msg);                                                    \
    } while (0)

ABORT_MSG

#define ABORT_MSG

(

msg

)

Value:

    do                                                                         \
    {                                                                          \
        ERR_MSG(msg);                                                          \
        abort();                                                               \
    } while (0)

Definition at line 44 of file ObjTypeInference.cpp.

    {                                                                          \
        ERR_MSG(msg);                                                          \
        abort();                                                               \
    } while (0)

ERR_MSG

#define ERR_MSG

(

msg

)

Value:

    do                                                                         \
    {                                                                          \
        SVFUtil::errs() << SVFUtil::errMsg("Error ") << __FILE__ << ':'        \
            << __LINE__ << ": " << (msg) << '\n';                              \
    } while (0)

Definition at line 38 of file ObjTypeInference.cpp.

    {                                                                          \
        SVFUtil::errs() << SVFUtil::errMsg("Error ") << __FILE__ << ':'        \
            << __LINE__ << ": " << (msg) << '\n';                              \
    } while (0)

TYPE_DEBUG

#define TYPE_DEBUG   0 /* Turn this on if you're debugging type inference */

Definition at line 37 of file ObjTypeInference.cpp.

WARN_IFNOT

#define WARN_IFNOT	(		condition,
			msg
	)

Definition at line 72 of file ObjTypeInference.cpp.

WARN_MSG

#define WARN_MSG

(

msg

)

Definition at line 71 of file ObjTypeInference.cpp.

Function Documentation

infersiteToType()

const Type * infersiteToType

(

const Value *

val

)

Determine type based on infer site https://llvm.org/docs/OpaquePointers.html#migration-instructions

Definition at line 85 of file ObjTypeInference.cpp.

{
    assert(val && "value cannot be empty");
    if (SVFUtil::isa<LoadInst, StoreInst>(val))
    {
        return llvm::getLoadStoreType(const_cast<Value *>(val));
    }
    else if (const auto *gepInst = SVFUtil::dyn_cast<GetElementPtrInst>(val))
    {
        return gepInst->getSourceElementType();
    }
    else if (const auto *call = SVFUtil::dyn_cast<CallBase>(val))
    {
        return call->getFunctionType();
    }
    else if (const auto *allocaInst = SVFUtil::dyn_cast<AllocaInst>(val))
    {
        return allocaInst->getAllocatedType();
    }
    else if (const auto *globalValue = SVFUtil::dyn_cast<GlobalValue>(val))
    {
        return globalValue->getValueType();
    }
    else
    {
        ABORT_MSG("unknown value:" + dumpValueAndDbgInfo(val));
    }
}

Variable Documentation

TYPEMALLOC

const std::string TYPEMALLOC = "TYPE_MALLOC"

Definition at line 81 of file ObjTypeInference.cpp.