C++: More comments.

github · Apr 10, 2024 · 9c9ed13 · 9c9ed13
1 parent 1ae22d0
commit 9c9ed13
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Iterator.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Iterator.qll
@@ -573,6 +573,8 @@ private class IteratorAssignmentMemberOperatorModel extends IteratorAssignmentMe
   override predicate hasOnlySpecificWriteSideEffects() { any() }
 
   override predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
+    // See the comment on `IteratorCrementMemberOperatorModel::hasSpecificWriteSideEffect`
+    // for an explanation of these values.
     i = -1 and buffer = false and mustWrite = false
   }