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

Author: nunoplopes

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);

tests/alive-tv/attrs/byval-3.srctgt.ll

@@ -0,0 +1,7 @@
+define void @src(ptr byval(i8) %a) {
+  ret void
+}
+
+define void @tgt(ptr readnone byval(i8) %a) {
+  ret void
+}