C++: Add comment explaining buggy value number

2026-04-29 18:55:14 +02:00 · 2020-02-05 23:07:28 +01:00
parent 4f2775012a
commit cfcf087d3c
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/test.cpp
+++ b/cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/test.cpp
@@ -42,7 +42,7 @@ int test03(int p0, int p1, int* p2) {

  x = p0 + p1 + global03;
  *p2 = 0; // Might change global03
-  x = p0 + p1 + global03; // Not the same value
+  x = p0 + p1 + global03; // BUG: Not the same value, but given the same value number (this is likely due to #2696)
  y = x;
 }