@@ -29,7 +29,7 @@ class EdgeValue {
2929 enum Type { Top, Integer, String, FloatingPoint };
3030
3131private:
32- std::variant<llvm::APInt, llvm::APFloat, std::string, std::nullptr_t >
32+ std::variant<llvm::APInt, llvm::APFloat, std::string, std::nullptr_t >
3333 ValVariant = nullptr ;
3434 Type VariantType;
3535
@@ -56,7 +56,7 @@ class EdgeValue {
5656 [[nodiscard]] Type getKind () const ;
5757 // std::unique_ptr<ObjectLLVM> asObjLLVM(llvm::LLVMContext &ctx) const;
5858 [[nodiscard]] bool sqSubsetEq (const EdgeValue &Other) const ;
59- [[nodiscard]] EdgeValue performBinOp (llvm::BinaryOperator::BinaryOps Op,
59+ [[nodiscard]] EdgeValue performBinOp (llvm::BinaryOperator::BinaryOps Op,
6060 const EdgeValue &Other) const ;
6161 [[nodiscard]] EdgeValue typecast (Type Dest, unsigned Bits) const ;
6262 EdgeValue &operator =(const EdgeValue &EV);
@@ -89,7 +89,7 @@ using ev_t = EdgeValueSet;
8989ev_t performBinOp (llvm::BinaryOperator::BinaryOps Op, const ev_t &Lhs,
9090 const ev_t &Rhs, size_t MaxSize);
9191ev_t performTypecast (const ev_t &Ev, EdgeValue::Type Dest, unsigned Bits);
92- Ordering compare (const ev_t &Lhs, const ev_t &Rhs);
92+ Ordering compare (const ev_t &Lhs, const ev_t &Rhs);
9393ev_t join (const ev_t &Lhs, const ev_t &Rhs, size_t MaxSize);
9494// / \brief implements square subset equal
9595bool operator <(const ev_t &Lhs, const ev_t &Rhs);
@@ -108,13 +108,13 @@ template <> struct hash<psr::EdgeValue> {
108108 double AsFloat;
109109 string AsString;
110110 if (Val.tryGetInt (AsInt)) {
111- return hash<uint64_t >()(AsInt) * 31 + Hash;
112- }
111+ return hash<uint64_t >()(AsInt) * 31 + Hash;
112+ }
113113 if (Val.tryGetFP (AsFloat)) {
114- return hash<double >()(round (AsFloat)) * 31 + Hash;
115- }
116- if (Val.tryGetString (AsString)) {
117- return hash<string>()(AsString) * 31 + Hash;
114+ return hash<double >()(round (AsFloat)) * 31 + Hash;
115+ }
116+ if (Val.tryGetString (AsString)) {
117+ return hash<string>()(AsString) * 31 + Hash;
118118 }
119119 return Hash;
120120 }
0 commit comments