More on attributes and type qualifiers

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
paulmckrcu · Aug 16, 2016 · b52e41f · b52e41f
1 parent ed19e6a
commit b52e41f
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/markobjattr.tex b/markobjattr.tex
@@ -4,3 +4,12 @@
 return values, and class members.
 This paper further modifies this proposed attribute so as to also restrict
 it to pointer-like objects.
+
+There have been some objections to attributes on the grounds that
+attributes are not supposed to change program semantics, but no
+consensus as to whether or not this objection is substantive.
+
+The changes to the examples from
+Section~\ref{sec:Representative Use Cases}
+are similar to those shown in
+Section~\ref{sec:Object Modifier}.
diff --git a/markobjtypeq.tex b/markobjtypeq.tex
@@ -2,3 +2,8 @@
 Linus Torvalds's spirited criticisms of the current C11 and C++11
 wording, introduces a new \co{value_dep_preserving} type qualifier.
 Objects marked with this type qualifier carry dependencies.
+
+Again, the changes to the examples from
+Section~\ref{sec:Representative Use Cases}
+are similar to those shown in
+Section~\ref{sec:Object Modifier}.