https://bugs.kde.org/show_bug.cgi?id=381326
--- Comment #11 from John Reiser <jrei...@bitwagon.com> --- This comment is to confirm that the bug still exists today 2024-06-24, 7 years after original filing. Actually there are two bugs: 1) In the True branch after a test for Equality (==) then the Defined bits propagate in both directions. Some bits which previously were Uninit may become dynamically Defined because they are equal to a Defined bit in the other operand. Thus dynamic Equality is NOT necessarily a Read-Only operation with respect to the Defined bits for each operand. (Of course if all input bits in both operands are Defined then there is no issue, and no accounting bits change.) 2) When control-flow paths converge at run time, then the Defined bits after the Join become equal to the AND of the corresponding Defined bits for each variable along any path that enters the Join. -- You are receiving this mail because: You are watching all bug changes.
