tree 6eec1aeb5e45466df1162bf2f1523200c94e430b
parent 70924fb599aeb690279522bbd522ca9f0a94aaf4
author Florian Hahn <flo@fhahn.com> 1618523542 +0100
committer Copybara-Service <copybara-worker@google.com> 1618603376 -0700

[InferAttrs] Do not mark first argument of str(n)cat as writeonly.

str(n)cat appends a copy of the second argument to the end of the first
argument. To find the end of the first argument, str(n)cat has to read
from it until it finds the terminating 0. So it should not be marked as
writeonly. I think this means the argument should not be marked as
writeonly.

(This is causing a mis-compile with legacy DSE, before it got removed)

Reviewed By: efriedma

Differential Revision: https://reviews.llvm.org/D100601

GitOrigin-RevId: 3e7ee5428d3442564b9581adc2fb14f4e0a54bcd