Skip to content

Commit b912918

Browse files
committed
C++: Fix QLDoc.
1 parent 322fa36 commit b912918

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -770,7 +770,7 @@ private predicate adjustForPointerArith(PostUpdateNode pun, SourceVariable sv, I
770770
* block `bb1`.
771771
*
772772
* `uncertain` is `true` if `(bb1, i1)` is a definition, and that definition
773-
* is guaranteed to overwrite the entire allocation.
773+
* is _not_ guaranteed to overwrite the entire allocation.
774774
*/
775775
private predicate ssaFlowImpl(
776776
IRBlock bb1, int i1, SourceVariable sv, Node nodeFrom, Node nodeTo, boolean uncertain

0 commit comments

Comments
 (0)