diff --git a/rust/ql/test/library-tests/dataflow/global/main.rs b/rust/ql/test/library-tests/dataflow/global/main.rs index 170857eec45c6..1896e3eb25d65 100644 --- a/rust/ql/test/library-tests/dataflow/global/main.rs +++ b/rust/ql/test/library-tests/dataflow/global/main.rs @@ -101,6 +101,7 @@ impl Add for MyInt { type Output = MyInt; fn add(self, other: MyInt) -> MyInt { + // Ignore `other` to get value flow for `self.value` MyInt { value: self.value } } } @@ -111,9 +112,9 @@ pub fn test_operator_overloading() { let c = a + b; sink(c.value); // $ MISSING: hasValueFlow=5 - let a = MyInt { value: source(6) }; - let b = MyInt { value: 2 }; - let d = b + a; + let a = MyInt { value: 2 }; + let b = MyInt { value: source(6) }; + let d = a + b; sink(d.value); let a = MyInt { value: source(7) };