C++/C#: Sync identical files.

MathiasVP · MathiasVP · commit b399246d7f1b · 2021-03-04T16:34:35.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
@@ -178,6 +178,11 @@ private module Cached {
     )
   }
 
+  /**
+   * Holds if the `ChiPartialOperand` totally, but not exactly, overlaps with the `ChiTotalOperand`.
+   * This means that the `ChiPartialOperand` will not override the entire memory associated with the
+   * `ChiTotalOperand`.
+   */
   cached
   predicate chiOnlyPartiallyUpdatesLocation(ChiInstruction chi) {
     exists(Alias::MemoryLocation location, OldInstruction oldInstruction |
diff --git a/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll b/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
@@ -178,6 +178,11 @@ private module Cached {
     )
   }
 
+  /**
+   * Holds if the `ChiPartialOperand` totally, but not exactly, overlaps with the `ChiTotalOperand`.
+   * This means that the `ChiPartialOperand` will not override the entire memory associated with the
+   * `ChiTotalOperand`.
+   */
   cached
   predicate chiOnlyPartiallyUpdatesLocation(ChiInstruction chi) {
     exists(Alias::MemoryLocation location, OldInstruction oldInstruction |

Original file line number	Diff line number	Diff line change
`@@ -178,6 +178,11 @@ private module Cached {`
`178`	`178`	`)`
`179`	`179`	`}`
`180`	`180`
	`181`	`+ /**`
	`182`	+ * Holds if the `ChiPartialOperand` totally, but not exactly, overlaps with the `ChiTotalOperand`.
	`183`	+ * This means that the `ChiPartialOperand` will not override the entire memory associated with the
	`184`	+ * `ChiTotalOperand`.
	`185`	`+ */`
`181`	`186`	`cached`
`182`	`187`	`predicate chiOnlyPartiallyUpdatesLocation(ChiInstruction chi) {`
`183`	`188`	`exists(Alias::MemoryLocation location, OldInstruction oldInstruction \|`