[all-commits] [llvm/llvm-project] 155ac3: [BuildLibCalls] Add noalias for strcat and stpcpy

[Dávid Bolvanský via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 155ac333945d7af507bb28dc6f2539300a4c0666
      https://github.com/llvm/llvm-project/commit/155ac333945d7af507bb28dc6f2539300a4c0666
  Author: Dávid Bolvanský <david.bolvansky at gmail.com>
  Date:   2020-09-27 (Sun, 27 Sep 2020)

  Changed paths:
    M llvm/lib/Transforms/Utils/BuildLibCalls.cpp
    M llvm/test/Transforms/InferFunctionAttrs/annotate.ll

  Log Message:
  -----------
  [BuildLibCalls] Add noalias for strcat and stpcpy

strcat:
destination and source shall not overlap. (http://www.cplusplus.com/reference/cstring/strcat/)

stpcpy:
The strings may not overlap, and the destination string dest must be  large enough to receive the copy. (https://man7.org/linux/man-pages/man3/stpcpy.3.html)

Reviewed By: jdoerfert

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