[PATCH] D18714: Add writeonly IR attribute

[Matt Arsenault via llvm-commits]

arsenm added a subscriber: arsenm.

================
Comment at: lib/IR/Verifier.cpp:1485-1487
@@ +1484,5 @@
+  Assert(
+      !(Attrs.hasAttribute(AttributeSet::FunctionIndex, Attribute::ReadOnly) &&
+        Attrs.hasAttribute(AttributeSet::FunctionIndex, Attribute::WriteOnly)),
+      "Attributes 'readonly and writeonly' are incompatible!", V);
+
----------------
I don't see a verifier test for this


http://reviews.llvm.org/D18714