[Attributor][FIX] NoCapture is not a subsuming property
authorJohannes Doerfert <johannes@jdoerfert.de>
Fri, 1 Nov 2019 01:03:13 +0000 (20:03 -0500)
committerJohannes Doerfert <johannes@jdoerfert.de>
Sat, 2 Nov 2019 05:26:15 +0000 (00:26 -0500)
commit0437bfcc8338ec79f1d209daf975b9555e51e4b1
tree27f5f978273b07223d87c58e7b687da9a70f3ff9
parent0c7d4d7f3e26bed39ee4e2817ca5078ab111c05c
[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.
llvm/lib/Transforms/IPO/Attributor.cpp
llvm/test/Transforms/FunctionAttrs/arg_nocapture.ll