fix crash with byval arg which gains new attributes
MODIFY
ir/value.cpp
ir/value.cpp
@@ -210,7 +210,7 @@ StateValue Input::mkInput(State &s, const Type &ty, unsigned child) const {
if (hasAttribute(ParamAttrs::ByVal)) {
unsigned bid;
expr size = expr::mkUInt(attrs.blockSize, bits_size_t);
- val = get_global(s, getName(), size, attrs.align, false, bid);
+ val = get_global(s, smt_name, size, attrs.align, false, bid);
s.getMemory().markByVal(bid);
} else {
auto name = getSMTName(child);

ADD
tests/alive-tv/attrs/byval-3.srctgt.ll
+define void @src(ptr byval(i8) %a) {
+ ret void
+}
+
+define void @tgt(ptr readnone byval(i8) %a) {
+ ret void
+}

fix #819: crash with byval arg which gains new attributes