fix clang 12 build..
MODIFY
ir/memory.h
ir/memory.h
@@ -236,6 +236,8 @@ public:
bool byval;
bool nocapture;
+ PtrInput(StateValue &&v, bool byval, bool nocapture) :
+ val(std::move(v)), byval(byval), nocapture(nocapture) {}
smt::expr operator==(const PtrInput &rhs) const;
auto operator<=>(const PtrInput &rhs) const = default;
};

fix clang 12 build..