diff --git a/appendices/spirvenv.adoc b/appendices/spirvenv.adoc
index 375915101..7ee191b27 100644
--- a/appendices/spirvenv.adoc
+++ b/appendices/spirvenv.adoc
@@ -246,6 +246,9 @@ or knowledge of runtime information, such as enabled features.
     code:AcquireRelease, or code:SequentiallyConsistent memory semantics
   * [[VUID-{refpage}-OpMemoryBarrier-04733]]
     code:OpMemoryBarrier must: include at least one {StorageClass}
+  * If the semantics for code:OpControlBarrier includes at least one {StorageClass},
+    then it must: include one of code:Acquire, code:Release, code:AcquireRelease,
+    or code:SequentiallyConsistent memory semantics
   * [[VUID-{refpage}-OpControlBarrier-04650]]
     If the semantics for code:OpControlBarrier includes one of code:Acquire,
     code:Release, code:AcquireRelease, or code:SequentiallyConsistent memory