[all-commits] [llvm/llvm-project] 0437bf: [Attributor][FIX] NoCapture is not a subsuming pro...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0437bfcc8338ec79f1d209daf975b9555e51e4b1
      https://github.com/llvm/llvm-project/commit/0437bfcc8338ec79f1d209daf975b9555e51e4b1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2019-11-02 (Sat, 02 Nov 2019)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/FunctionAttrs/arg_nocapture.ll

  Log Message:
  -----------
  [Attributor][FIX] NoCapture is not a subsuming property

We cannot look at the subsuming positions and take their nocapture bit
as shown with the two tests for which we derived nocapture on the call
site argument and readonly on the argument of the second before.