C++: Fix comment.

MathiasVP · MathiasVP · commit 2c2f9b9e1713 · 2023-07-12T11:59:29.000+01:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -421,7 +421,7 @@ predicate invalidPointerToDerefSource(
 }
 
 newtype TMergedPathNode =
-  // The path nodes computed by the first projection of `AllocToInvalidPointerConfig`
+  // The path from the allocation to the address of the store/load.
   TFinalPathNode(FinalFlow::PathNode p) or
   // The read/write that uses the invalid pointer identified by `InvalidPointerToDerefConfig`.
   // This one is needed because the sink identified by `InvalidPointerToDerefConfig` is the

Original file line number	Diff line number	Diff line change
`@@ -421,7 +421,7 @@ predicate invalidPointerToDerefSource(`
`421`	`421`	`}`
`422`	`422`
`423`	`423`	`newtype TMergedPathNode =`
`424`		- // The path nodes computed by the first projection of `AllocToInvalidPointerConfig`
	`424`	`+ // The path from the allocation to the address of the store/load.`
`425`	`425`	`TFinalPathNode(FinalFlow::PathNode p) or`
`426`	`426`	// The read/write that uses the invalid pointer identified by `InvalidPointerToDerefConfig`.
`427`	`427`	// This one is needed because the sink identified by `InvalidPointerToDerefConfig` is the