\brief Test if A and B will obviously have the same value. This includes recognizing that %t0 and %t1 will have the same value in code like this: \code %t0 = getelementptr \@a, 0, 3 store i32 0, i32* %t0 %t1 = getelementptr \@a, 0, 3 %t2 = load i32* %t1 \endcode
source not stored for this graph (policy: none)
no test coverage detected