diff --git a/svf-llvm/include/SVF-LLVM/LLVMUtil.h b/svf-llvm/include/SVF-LLVM/LLVMUtil.h index 428d91269..5c1c20e0c 100644 --- a/svf-llvm/include/SVF-LLVM/LLVMUtil.h +++ b/svf-llvm/include/SVF-LLVM/LLVMUtil.h @@ -52,16 +52,17 @@ inline bool isCallSite(const Value* val) return SVFUtil::isa(val); } -inline double getDoubleValue(const ConstantFP* fpValue) { +inline double getDoubleValue(const ConstantFP* fpValue) +{ double dval = 0; if (fpValue->isNormalFP()) { const llvm::fltSemantics& semantics = fpValue->getValueAPF().getSemantics(); if (&semantics == &llvm::APFloat::IEEEhalf() || - &semantics == &llvm::APFloat::IEEEsingle() || - &semantics == &llvm::APFloat::IEEEdouble() || - &semantics == &llvm::APFloat::IEEEquad() || - &semantics == &llvm::APFloat::x87DoubleExtended()) + &semantics == &llvm::APFloat::IEEEsingle() || + &semantics == &llvm::APFloat::IEEEdouble() || + &semantics == &llvm::APFloat::IEEEquad() || + &semantics == &llvm::APFloat::x87DoubleExtended()) { dval = fpValue->getValueAPF().convertToDouble(); } @@ -79,7 +80,8 @@ inline double getDoubleValue(const ConstantFP* fpValue) { return dval; } -inline std::pair getIntegerValue(const ConstantInt* intValue) { +inline std::pair getIntegerValue(const ConstantInt* intValue) +{ if (intValue->getBitWidth() <= 64 && intValue->getBitWidth() >= 1) return std::make_pair(intValue->getSExtValue(), intValue->getZExtValue()); else diff --git a/svf/include/SVFIR/SVFIR.h b/svf/include/SVFIR/SVFIR.h index 999ef8f67..a9ab9edab 100644 --- a/svf/include/SVFIR/SVFIR.h +++ b/svf/include/SVFIR/SVFIR.h @@ -656,7 +656,8 @@ class SVFIR : public IRGraph } - inline NodeID addConstantIntObjNode(const SVFValue* curInst, const std::pair& intValue, const NodeID i) { + inline NodeID addConstantIntObjNode(const SVFValue* curInst, const std::pair& intValue, const NodeID i) + { const MemObj* mem = getMemObj(curInst); NodeID base = mem->getId(); memToFieldsMap[base].set(mem->getId());