fix false positive with noread fn calls with local block passed as input

ir/memory.cpp

@@ -1196,6 +1196,13 @@ Memory::Memory(State &state) : state(&state), escaped_local_blks(*this) {
   }
 }
 
+Memory Memory::dupNoRead() const {
+  Memory ret(*state);
+  // minimal state to allow fn calls to compare input fn ptrs that can't be read
+  ret.local_blk_addr = local_blk_addr;
+  return ret;
+}
+
 void Memory::mkAxioms(const Memory &tgt) const {
   assert(state->isSource() && !tgt.state->isSource());
   if (memory_unused())

ir/memory.h

@@ -237,6 +237,7 @@ class Memory {
   Memory& operator=(Memory&&) = default;
 
   Memory dup() const { return *this; }
+  Memory dupNoRead() const;
 
   void mkAxioms(const Memory &other) const;
 

ir/state.cpp

@@ -1014,7 +1014,7 @@ State::addFnCall(const string &name, vector<StateValue> &&inputs,
     auto call_data_pair
       = calls_fn.try_emplace(
           { std::move(inputs), std::move(ptr_inputs), std::move(call_ranges),
-            attrs.mem.canReadSomething() ? memory.dup() : Memory(*this),
+            attrs.mem.canReadSomething() ? memory.dup() : memory.dupNoRead(),
             attrs.mem, noret, willret });
     auto &I = call_data_pair.first;
     bool inserted = call_data_pair.second;

tests/alive-tv/calls/noread.srctgt.ll

@@ -0,0 +1,14 @@
+define ptr @src() {
+  %call = call nonnull ptr @_Znwm(i64 8)
+  call void @fn(ptr %call) memory(argmem:write)
+  ret ptr %call
+}
+
+define ptr @tgt() {
+  %call = call nonnull ptr @_Znwm(i64 8)
+  call void @fn(ptr %call) memory(argmem:write)
+  ret ptr %call
+}
+
+declare ptr @_Znwm(i64)
+declare void @fn(ptr)