[PATCH] D132406: [LibCalls] Mark puts/printf/perror as inaccessible_mem_or_argmem.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In D132406#3740566 <https://reviews.llvm.org/D132406#3740566>, @efriedma wrote:

> They can also write to errno.

Argh, right, that's a shame. I think the most interesting property would be that they don't access local objects that have been captured. But I think we don't have a way to model that at the moment?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D132406/new/

https://reviews.llvm.org/D132406