Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7485cc7 commit 9b89602Copy full SHA for 9b89602
1 file changed
cpp/ql/src/Likely Bugs/Arithmetic/SignedOverflowCheck.qhelp
@@ -78,7 +78,7 @@ hold true, which likely is not what the programmer intended. (see also the
78
<sample src="SignedOverflowCheck-bad2.cpp" />
79
<p>
80
The next example provides a solution to the previous one. Even though
81
-<code>i + delta</code> does not overflow, casting it to an
+<code>n1 + delta</code> does not overflow, casting it to an
82
<code>unsigned short</code> truncates the addition modulo 2^16,
83
so that <code>unsigned short</code> "wrap around" may now be observed.
84
Furthermore, since the left-hand side is now of type <code>unsigned short</code>,
0 commit comments